cfredric / NumberTheory
A Haskell number theory library.
☆13Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for NumberTheory
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- TODO☆10Updated 9 years ago
- ☆23Updated 7 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- A constant-memory approximation of set membership☆24Updated 4 months ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- ☆15Updated 2 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆31Updated last month
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- More strongly typed variant of the ixset Haskell package☆23Updated 3 months ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 9 years ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- Proof checker for propositional logic☆16Updated 7 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- ☆23Updated 6 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated 3 weeks ago
- A simple XML module for Idris.☆13Updated 4 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆18Updated 5 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Updated 6 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆15Updated last month
- Talk on generic parallel scan☆14Updated 7 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- ☆17Updated 2 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago