iu-parfunc / lvars
The LVish Haskell library
☆81Updated last year
Related projects: ⓘ
- ☆41Updated 7 years ago
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- A purely functional programming language intended for practical programming.☆28Updated 14 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- A series of implementations of a simple functional programming language.☆30Updated 8 years ago
- The Alms Programming Language☆43Updated 6 years ago
- higher order dependently typed logic programing☆164Updated 6 years ago
- Miller/pattern unification in Agda☆62Updated 10 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- ☆51Updated this week
- Higher-order optimization library☆73Updated last year
- A hip inductive theorem prover!☆87Updated 2 years ago
- Idris LLVM codegen factored out☆78Updated 7 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- An implementation of Functional Reactive Programming☆41Updated 9 years ago
- A compiler for Coq☆26Updated 11 years ago
- System POSIX bindings for Idris.☆35Updated 5 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆36Updated 11 years ago
- SC Mini is a "minimal" positive supercompiler☆47Updated 3 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- ☆37Updated this week
- A general purpose programming language with linear types☆44Updated 7 years ago
- Example row-polymorphism implementations☆59Updated 11 months ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆67Updated 9 years ago
- Automatically exported from code.google.com/p/trellys☆45Updated 5 years ago
- microkanren in sml☆26Updated 9 years ago
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- Experimental Malfunction backend for Idris☆81Updated 6 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago