Popular "bsd3" Projects
See more »
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implemen...
Latest release 2.5.0 -
- 618 stars
X.509 Certificate and CRL validation
Latest release 1.6.9 -
- 41 stars
Uses protocol-buffers package
Latest release 2.4.3 -
- 47 stars
This utility converts and sends Haskell projects hpc code coverage to
Latest release 1.0.10 -
- 53 stars
The Haskell Common Architecture for Building Applications and
Libraries: a framework defining a c...
Latest release 188.8.131.52 -
- 736 stars
Most Watched "bsd3" Projects
Elm aims to make client-side web-development pleasant. It is a
statically/strongly typed, functio...
Latest release 0.15 -
- 3.86K stars
Provides tools for working with regular arrangements
of tiles, such as might be used in a board g...
Latest release 7.8.9 -
- 63 stars
A family of combinators for defining webservices APIs and serving them
You can learn about the ...
Latest release 0.11 -
- 787 stars
An efficient compact, immutable byte string type (both strict and lazy)
suitable for binary or 8-...
Latest release 0.10.8.2 -
- 63 stars
Please see the README.md for usage information, and
the wiki on Github for more details. Also, n...
Latest release 9.9.9 -
- 2.33K stars