carlssonia / adaptiveLinks
☆10Updated 12 years ago
Alternatives and similar repositories for adaptive
Users that are interested in adaptive are comparing it to the libraries listed below
Sorting:
- A hip inductive theorem prover!☆89Updated 3 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 months ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Updated 7 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- ☆59Updated 11 months ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- Build tool for ATS.☆41Updated 3 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago
- An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"☆23Updated 12 years ago
- Succinct vectors☆20Updated 6 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- Simple lambda prover☆24Updated 9 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- ☆17Updated 2 years ago
- Haskell distributed parallel Haskell☆37Updated 7 years ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- Combinators for bidirectional JSON parsing☆21Updated 11 years ago
- Model of baysig language in Haskell (minus estimate)☆15Updated 9 years ago
- The Prettiest Printer☆35Updated last year
- ☆23Updated 7 years ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- TODO☆23Updated 9 years ago
- Martin-Löf Extensible Specification and Simulator☆29Updated 9 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- A well-typed Directed Acyclic Graph in Haskell☆14Updated 10 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago