carlssonia / adaptive
☆10Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for adaptive
- ☆58Updated 4 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- A hip inductive theorem prover!☆88Updated 3 years ago
- Combinators for bidirectional JSON parsing☆21Updated 10 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 5 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- ☆17Updated 2 years ago
- Succinct vectors☆20Updated 5 years ago
- Church-encoding of the Freer monad☆29Updated 8 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Codo notation for programming with comonads in Haskell☆26Updated 3 years ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆17Updated 8 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆70Updated 2 years ago
- Haskell's Core in K.☆20Updated 7 years ago
- playground for working with succinct data structures☆94Updated 9 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆45Updated 6 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- being the beginnings of at least zero typecheckers☆31Updated 7 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- Scrap Your Boilerplate generic programming library in Haskell☆44Updated last year
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆25Updated 6 years ago
- Symbolic logic expressions☆14Updated 4 years ago
- handouts and notes from the 2017 edition of the summer school☆39Updated 7 years ago