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☆120Updated 8 years ago
- an example airship app☆14Updated 8 years ago
- The LVish Haskell library☆80Updated 2 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 5 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Try Idris☆35Updated 9 years ago
- A simple implementation of linear type theory☆38Updated 7 years ago
- An extended typed Lambda Calculus☆21Updated 6 months ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- OCaml back end for Idris☆22Updated 7 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 8 months ago
- Haskell Join-calculus DSL☆22Updated 6 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- ☆23Updated 7 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆12Updated 6 years ago
- ☆23Updated 7 years ago
- JVM implementation in Haskell☆44Updated 5 months ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- ☆29Updated 9 years ago
- a logic-based trust-management system☆19Updated 12 years ago