cartazio / numbers
☆30Updated last year
Alternatives and similar repositories for numbers:
Users that are interested in numbers are comparing it to the libraries listed below
- Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds☆22Updated last year
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- do-notation for Category and "Arrow without arr"☆63Updated 7 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Updated 6 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- parser for config files, shell variables, command line args.☆22Updated 8 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 5 years ago
- categories from category-extras☆34Updated 5 years ago
- Haskell library for semigroup actions and torsors☆60Updated last month
- ☆21Updated 2 years ago
- Monad Transformers and Classes☆77Updated 5 years ago
- Generic random generators☆81Updated last year
- Codo notation for programming with comonads in Haskell☆26Updated 4 years ago
- ☆45Updated 5 years ago
- An experimental intermediate language for GHC☆36Updated 7 years ago
- Slides for my Haskell Symposium 2015 lighting talk☆12Updated 9 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 7 months ago
- A library for generic programming that aims to be easy to understand☆26Updated 3 years ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆14Updated 6 years ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- Haskell library for PDF generation (graphics and typesetting)☆26Updated 5 years ago
- ☆45Updated 3 years ago
- multiset haskell package☆19Updated last year
- This is not the Git repo you're looking for...☆25Updated 5 years ago
- Generic representation and manipulation of abstract syntax☆25Updated 2 years ago
- A preprocessor for GHC for alternate Haskell syntaxes☆38Updated 9 years ago
- A port of Google's word2vec to Haskell☆26Updated 8 years ago
- This is the place where (more or less) stable releases of my RW library will be published.☆16Updated 4 years ago
- ☆30Updated 10 years ago