lkuper / lvar-examplesLinks
Programming with LVars, by example
☆36Updated 10 years ago
Alternatives and similar repositories for lvar-examples
Users that are interested in lvar-examples are comparing it to the libraries listed below
Sorting:
- System POSIX bindings for Idris.☆36Updated 6 years ago
- ☆29Updated 10 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Experiments in abstracting definitional interpreters☆16Updated 8 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Updated last year
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 5 months ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- SC Mini is a "minimal" positive supercompiler☆46Updated 4 years ago
- Invertible parsing for S-expressions☆34Updated 6 months ago
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- Dealing with Flags and Options☆13Updated 4 years ago
- machine fusion☆16Updated 7 years ago
- A Dependently Typed Programming Language☆27Updated 5 years ago
- Morte IDE☆29Updated 6 months ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Updated 10 months ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Updated 7 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Updated 3 years ago
- ☆62Updated 6 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 9 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 11 months ago
- Abstactions and concrete implementations of mutable containers☆14Updated 9 years ago