Packages tagged with "bsd3"


Total Packages: 7,044


Popular "bsd3" Packages See more »

bench
Think of this as a more powerful alternative to the time command. Use this command-line tool to ...
Latest release 1.0.9 - Updated - 403 stars
free
Free monads are useful for many tree-like structures and domain specific languages. If f is a Fu...
Latest release 5.0.1 - Updated - 95 stars
criterion
This library provides a powerful but simple way to measure software performance. It provides bot...
Latest release 1.4.1.0 - Updated - 336 stars
dns
A thread-safe DNS library for both clients and servers written in pure Haskell.
Latest release 3.0.2 - Updated - 43 stars
cryptol
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implemen...
Latest release 2.5.0 - Updated - 677 stars

New "bsd3" Packages See more »

AlgoRhythm
A library consisting of several mini-DSLs for representing, manipulating and automatically genera...
Latest release 0.1.0.0 - Published - 1 stars
armor
Protect against backwards-incompatible serializations
Latest release 0.1 - Published - 13 stars
poly-cont
Latest release 0.1.0.0 - Published
sv-cassava
Latest release 0.1 - Published
gh-labeler
Please see the README on Github at https://github.com/vincenthz/gh-labeler#readme
Latest release 0.1.0 - Published - 2 stars

Updated "bsd3" Packages See more »

integer-gmp
This package provides the low-level implementation of the standard Integer type based on the GNU ...
Latest release 1.0.2.0 - Updated
ats-pkg
A collection of scripts to simplify building ATS projects.
Latest release 2.10.0.11 - Updated - 17 stars
iproute
IP Routing Table is a tree of IP ranges to search one of them on the longest match base. It is a ...
Latest release 1.7.4 - Updated - 35 stars
bv-sized
This module defines a width-parameterized BitVector type and various associated operations that a...
Latest release 0.4.0 - Updated - 1 stars
hs2ats
This package enables scanning Haskell source files for data types and then generating ATS types f...
Latest release 0.3.0.1 - Updated

Most Watched "bsd3" Packages

purescript
A small strongly, statically typed programming language with expressive types, inspired by Haskel...
Latest release 0.11.7 - Updated - 4.63K stars
elm-compiler
Elm aims to make client-side web-development pleasant. It is a statically/strongly typed, functio...
Latest release 0.15 - Updated - 4.46K stars
fay
Fay is a proper subset of Haskell which is type-checked with GHC, and compiled to JavaScript. It ...
Latest release 0.24.0.0 - Updated - 1.16K stars
grid
Provides tools for working with regular arrangements of tiles, such as might be used in a board g...
Latest release 7.8.9 - Updated - 71 stars
elerea
Elerea (Eventless reactivity) is a tiny discrete time FRP implementation without the notion of ev...
Latest release 2.9.0 - Updated

Most Used "bsd3" Packages

bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-...
Latest release 0.10.8.2 - Updated - 84 stars
containers
This package contains efficient general-purpose implementations of various basic immutable contai...
Latest release 0.5.11.0 - Updated - 156 stars
attoparsec
A fast parser combinator library, aimed particularly at dealing efficiently with network protocol...
Latest release 0.13.2.2 - Updated - 323 stars
blaze-builder
This library provides an implementation of the older blaze-builder interface in terms of the new ...
Latest release 0.4.1.0 - Updated - 8 stars
adjunctions
Adjunctions and representable functors.
Latest release 4.4 - Updated - 19 stars

Top "bsd3" Languages

Haskell 4.11K projects

C 53 projects

HTML 19 projects

Shell 15 projects

C++ 11 projects

JavaScript 11 projects

TeX 7 projects

Nix 6 projects

Coq 4 projects

Python 3 projects

Top "bsd3" Package Managers

Hackage 7.05K projects

NuGet 1 project

Top "bsd3" Licenses

BSD-3-Clause 7.04K projects

Multics 7 projects

MIT 1 project