seagreen / llvm-in-haskellLinks
Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell
ā17Updated 6 years ago
Alternatives and similar repositories for llvm-in-haskell
Users that are interested in llvm-in-haskell are comparing it to the libraries listed below
Sorting:
- š Better Haskell documentation.ā17Updated 4 years ago
- A compiler for a simple language using llvmā35Updated 2 years ago
- Map lazy functional language constructs to LLVM IRā50Updated 6 years ago
- Austin's supercompiler workā21Updated 5 years ago
- ā40Updated 5 years ago
- A thread-safe hash table in Haskellā15Updated 5 years ago
- A tiny language for teaching and experimenting with Refinement Typesā47Updated 4 years ago
- "Programs that explain their effects" talk materialā17Updated 7 years ago
- Closure calculus implementationā12Updated 5 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...ā18Updated 8 years ago
- Dependent hash mapsā14Updated 2 months ago
- A usable type system for call by push-valueā33Updated 5 years ago
- This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.ā21Updated 3 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCamlā38Updated 5 years ago
- An append only list in a compact regionā25Updated 6 years ago
- Funny little Haskell implā18Updated 4 years ago
- van Laarhoven lenses for Idrisā20Updated 7 years ago
- System F implemented in Haskellā24Updated 13 years ago
- Less Type, more Typeable.ā14Updated 6 years ago
- A two-dimensional parser combinator library.ā41Updated 8 years ago
- Lambda Calculus with quote and unquoteā19Updated 4 years ago
- Efficient implementation of the implicit treap data structureā62Updated 3 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of sā¦ā21Updated 5 years ago
- Dependently typed elimination functions using singletonsā28Updated 5 months ago
- Automatic piecewise-mutable references for your typesā42Updated 4 years ago
- Modern compiler implementation in ML, in Haskellā16Updated 7 years ago
- Type Safe LLVM IR ( Experimental )ā49Updated 7 years ago
- higher-kinded dataā30Updated 2 years ago
- MPFR bindings for Haskellā34Updated last year
- Haskell streaming library optimized for low CPU and GC overheadā16Updated 7 years ago