cfredric / NumberTheory
A Haskell number theory library.
☆14Updated 7 years ago
Alternatives and similar repositories for NumberTheory:
Users that are interested in NumberTheory are comparing it to the libraries listed below
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- A constant-memory approximation of set membership☆24Updated last month
- ☆23Updated 7 years ago
- A fast globally unique variable supply with a pure API☆16Updated last year
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- An attempt to formalize unix cat in fiat☆12Updated 7 years ago
- List monad transformer☆60Updated 9 months ago
- A nullary type class for partial functions☆15Updated 7 years ago
- An implementation of the Core language☆30Updated 9 years ago
- simple interface to ghc's simd vector support☆23Updated 9 years ago
- phantom types☆38Updated 3 weeks ago
- ☆18Updated last year
- Dependently typed elimination functions using singletons☆28Updated 2 months ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Haskell Join-calculus DSL☆22Updated 6 years ago
- ☆23Updated 7 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 8 months ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 3 months ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- Functional Vector Graphics☆15Updated 7 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆31Updated 3 weeks ago
- Agda-style equational reasoning in Haskell☆52Updated last month
- A categorical framework for circuit construction☆31Updated 8 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Try Idris☆35Updated 9 years ago
- playing with hyperfunctions☆16Updated 3 years ago
- ☆15Updated 2 years ago
- Miscellaneous constructions on monoids☆18Updated this week