lkuper / lvar-examples
Programming with LVars, by example
☆35Updated 9 years ago
Alternatives and similar repositories for lvar-examples:
Users that are interested in lvar-examples are comparing it to the libraries listed below
- Accepted papers for ICFP 2014☆119Updated 8 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago
- ☆23Updated 7 years ago
- Try Idris☆35Updated 9 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- generalize counter-examples of property-based testing☆13Updated 2 months ago
- an example airship app☆14Updated 8 years ago
- Morte IDE☆29Updated last year
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- An attempt to formalize unix cat in fiat☆12Updated 7 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- The Alms Programming Language☆44Updated 6 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- ☆29Updated 9 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Backtracking monad in Haskell☆14Updated 3 years ago
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- ☆23Updated 7 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- Fixed length vector for haskell☆21Updated 2 months ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 7 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Updated 7 years ago