lkuper / lvar-examplesLinks
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
Sorting:
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- ☆23Updated 7 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 10 years ago
- The LVish Haskell library☆80Updated 2 years ago
- TODO☆10Updated 9 years ago
- an example airship app☆14Updated 8 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- Invertible parsing for S-expressions☆34Updated 2 months ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 6 months ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- Demystifying the magic of supertactics☆13Updated 3 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- 🌋 Idris implementation of patricia tree☆23Updated 4 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆13Updated 7 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- A Dependently Typed Programming Language☆27Updated 4 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Term Rewriting Systems☆17Updated 9 years ago
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Backtracking monad in Haskell☆14Updated 3 years ago
- Cloud Haskell - Asynchronous Execution☆18Updated 9 months ago
- ☆23Updated 7 years ago