carlssonia / adaptive
☆10Updated 11 years ago
Related projects: ⓘ
- A type theory based theorem proving library☆25Updated 13 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- ☆17Updated 2 years ago
- Model of baysig language in Haskell (minus estimate)☆15Updated 8 years ago
- System POSIX bindings for Idris.☆35Updated 5 years ago
- Type-safe library for generating haskell source code☆28Updated 6 years ago
- Combinators for bidirectional JSON parsing☆21Updated 10 years ago
- Haskell distributed parallel Haskell☆38Updated 7 years ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Updated 9 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.☆19Updated 8 years ago
- A hip inductive theorem prover!☆87Updated 2 years ago
- LambdaConf 2017 Fusion Presentation☆10Updated 7 years ago
- TODO☆23Updated 8 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- Snap integration for the websockets library☆33Updated 5 months ago
- Invertible parsing for S-expressions☆33Updated last week
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Parser and type analysis for the Go programming language☆12Updated last year
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- simple interface to ghc's simd vector support☆23Updated 9 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- An attempt to formalize unix cat in fiat☆12Updated 7 years ago
- Make presentations for data types☆25Updated 2 years ago