Projects tagged with "bsd3"


Total Packages: 6,216


Popular "bsd3" Projects See more »

cryptol
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implemen...
Latest release 2.4.0 - Updated - 598 stars
x509-validation
X.509 Certificate and CRL validation
Latest release 1.6.5 - Updated - 40 stars
hpc-coveralls
This utility converts and sends Haskell projects hpc code coverage to coverall.io. Usage Belo...
Latest release 1.0.10 - Updated - 53 stars
Cabal
The Haskell Common Architecture for Building Applications and Libraries: a framework defining a c...
Latest release 1.24.2.0 - Updated - 706 stars
x509-system
System X.509 handling
Latest release 1.6.4 - Updated - 40 stars

New "bsd3" Projects See more »

dimensions
Experimenting with Haskell type system
Latest release 0.1.0.0 - Published
cryptoconditions
Please see README.md
Latest release 0.1.0.0 - Published - 2 stars
typed-duration
Experimental
Latest release 0.1.0.0 - Published - 4 stars
quantification
Data types and type classes for universally and existentially quantified types
Latest release 0.1 - Published - 1 stars
compact-mutable
For package maintainers and hackage trustees
Latest release 0.1 - Published

Updated "bsd3" Projects See more »

pdf-slave
Please see README.md
Latest release 1.3.2.0 - Updated - 2 stars
pdf-slave-template
Please see README.md
Latest release 1.2.1.0 - Updated - 2 stars
composite-ekg
Integrations with Vinyl/Frames records.
Latest release 0.4.2.0 - Updated - 13 stars
composite-opaleye
Integrations with Vinyl/Frames records.
Latest release 0.4.2.0 - Updated - 13 stars
composite-aeson
Integrations with Vinyl/Frames records.
Latest release 0.4.2.0 - Updated - 13 stars

Most Watched "bsd3" Projects

bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-...
Latest release 0.10.8.1 - Updated - 57 stars
grid
Provides tools for working with regular arrangements of tiles, such as might be used in a board g...
Latest release 7.8.8 - Updated - 59 stars
servant-server
A family of combinators for defining webservices APIs and serving them You can learn about the ...
Latest release 0.11 - Updated - 758 stars
elm-compiler
Elm aims to make client-side web-development pleasant. It is a statically/strongly typed, functio...
Latest release 0.15 - Updated - 3.81K stars
stack
Please see the README.md for usage information, and the wiki on Github for more details. Also, n...
Latest release 9.9.9 - Updated - 2.26K stars

Top "bsd3" Languages

Haskell 3.56K projects

C 49 projects

HTML 17 projects

JavaScript 14 projects

Shell 9 projects

C++ 7 projects

Makefile 7 projects

TeX 6 projects

Coq 4 projects

Python 3 projects

Top "bsd3" Licenses

BSD-3-Clause 6.21K projects

Multics 6 projects

BSD-3-Clause-Attribution 1 project