Projects tagged with "bsd3"


Total Packages: 7,435


Popular "bsd3" Projects See more »

HaTeX
This library implements the LaTeX syntax and provides some useful abstractions. Some of the thin...
Latest release 3.18.0.0 - Updated - 111 stars
bench
Think of this as a more powerful alternative to the time command. Use this command-line tool to ...
Latest release 1.0.8 - Updated - 398 stars
cryptol
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implemen...
Latest release 2.5.0 - Updated - 672 stars
structured-haskell-mode
Structured editing Emacs mode for Haskell.
Latest release 1.1.0 - Updated - 429 stars
hlint
HLint gives suggestions on how to improve your source code.
Latest release 2.1 - Updated - 575 stars

New "bsd3" Projects See more »

Mobile-Legends-Hack-Cheats
Fortnite Hack Cheats Free V Bucks Generator Glitch
Latest release 1.0.1 - Published
Eight-Ball-Pool-Hack-Cheats
Fortnite Hack Cheats Free V Bucks Generator Glitch
Latest release 1.0.1 - Published
Clash-Royale-Hack-Cheats
Fortnite Hack Cheats Free V Bucks Generator Glitch
Latest release 1.0.1 - Published
Fortnite-Hack-Cheats-Free-V-Bucks-Generator
Fortnite Hack Cheats Free V Bucks Generator Glitch
Latest release 1.0.1 - Published
my-package-testing
Latest release 1.0.6 - Published

Updated "bsd3" Projects See more »

twee-lib
Twee is an experimental equational theorem prover based on Knuth-Bendix completion. Given a set ...
Latest release 2.1.2 - Updated - 1 stars
twee
Twee is an experimental equational theorem prover based on Knuth-Bendix completion. Given a set ...
Latest release 2.1.2 - Updated - 1 stars
weeder
Find redundant package dependencies or redundant module exports.
Latest release 1.0.1 - Updated - 64 stars
shake-ats
Various helper functions for building ATS with the shake library
Latest release 1.5.0.4 - Updated
fast-arithmetic
Fast functions for number theory and combinatorics with a high level of safety guaranteed by ATS....
Latest release 0.3.2.6 - Updated - 9 stars

Most Watched "bsd3" Projects

elm-compiler
Elm aims to make client-side web-development pleasant. It is a statically/strongly typed, functio...
Latest release 0.15 - Updated - 4.39K stars
purescript
A small strongly, statically typed programming language with expressive types, inspired by Haskel...
Latest release 0.11.7 - Updated - 4.47K stars
diagrams-lib
Diagrams is a flexible, extensible EDSL for creating graphics of many types. Graphics can be cre...
Latest release 1.4.2 - Updated - 73 stars
elerea
Elerea (Eventless reactivity) is a tiny discrete time FRP implementation without the notion of ev...
Latest release 2.9.0 - Updated
bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-...
Latest release 0.10.8.2 - Updated - 82 stars

Most Used "bsd3" Projects

bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-...
Latest release 0.10.8.2 - Updated - 82 stars
attoparsec
A fast parser combinator library, aimed particularly at dealing efficiently with network protocol...
Latest release 0.13.2.2 - Updated - 319 stars
mtl
Monad classes using functional dependencies, with instances for various monad transformers, inspi...
Latest release 2.2.1 - Updated - 96 stars
async
This package provides a higher-level interface over threads, in which an Async a is a concurrent ...
Latest release 2.2.1 - Updated - 183 stars
bifunctors
Bifunctors.
Latest release 5.5.2 - Updated - 34 stars

Top "bsd3" Languages

Haskell 4.41K projects

C 60 projects

HTML 20 projects

Shell 16 projects

JavaScript 14 projects

C++ 11 projects

TeX 7 projects

Nix 5 projects

Coq 4 projects

Python 3 projects

Top "bsd3" Package Managers

Hackage 7.44K projects

NuGet 1 project

Top "bsd3" Licenses

BSD-3-Clause 7.43K projects

Multics 6 projects

MIT 1 project