cfredric / NumberTheoryLinks
A Haskell number theory library.
☆15Updated 8 years ago
Alternatives and similar repositories for NumberTheory
Users that are interested in NumberTheory are comparing it to the libraries listed below
Sorting:
- simple interface to ghc's simd vector support☆23Updated 10 years ago
- A message-passing library, intended for simplifying network applications☆44Updated 7 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Updated 7 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- phantom types☆38Updated 3 weeks ago
- The prelude.☆16Updated 6 years ago
- Succinct vectors☆20Updated 6 years ago
- A Monte Carlo monad and transformer for Haskell.☆40Updated 6 years ago
- A categorical framework for circuit construction☆31Updated 9 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 9 years ago
- Parse/unparse JSON with roundtrip invertible syntax descriptions.☆17Updated 6 years ago
- playing with hyperfunctions☆16Updated 4 years ago
- List monad transformer☆60Updated last year
- A nullary type class for partial functions☆15Updated 7 years ago
- ☆33Updated 10 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 7 months ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22Updated last year
- A compatibility layer for base☆21Updated last month
- Units of measure as a GHC typechecker plugin☆31Updated 3 years ago
- Haskell 98 semigroups☆62Updated 3 weeks ago
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 9 years ago
- Monad morphisms☆51Updated 2 weeks ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 3 years ago
- ☆40Updated 7 years ago
- A Haskell library to pretty print data in a tabular format☆11Updated 7 years ago
- Experiments in abstracting definitional interpreters☆16Updated 8 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated 2 years ago
- QuickCheck extras.☆29Updated 6 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆34Updated 7 months ago
- ☆20Updated 6 years ago