cfredric / NumberTheory
A Haskell number theory library.
☆13Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for NumberTheory
- A nullary type class for partial functions☆15Updated 6 years ago
- Source location helpers☆9Updated 8 years ago
- A constant-memory approximation of set membership☆24Updated 4 months ago
- ☆23Updated 7 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 9 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- Type-level assertion operators☆16Updated 6 years ago
- Compiler for IMP programming language implemented in Haskell☆16Updated 4 years ago
- The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.☆2Updated 8 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Proof checker for propositional logic☆16Updated 7 years ago
- An attempt to formalize unix cat in fiat☆12Updated 7 years ago
- playing with hyperfunctions☆16Updated 3 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Updated 3 years ago
- 🌋 Idris implementation of patricia tree☆22Updated 4 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆15Updated last month
- Haskell routes using dependent types☆10Updated 8 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 6 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated last week
- Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.☆7Updated 9 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- ☆34Updated 9 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- A small NuPRL style proof assistant☆32Updated 5 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