intoverflow / Potential
x86-64 assembly as a Haskell EDSL
☆36Updated 14 years ago
Related projects ⓘ
Alternatives and complementary repositories for Potential
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- Runtime code generation for x86 machine code☆25Updated last year
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 2 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 5 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 4 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 5 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- Automatically exported from code.google.com/p/trellys☆46Updated 5 years ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆17Updated 8 years ago
- Compositional type checking for a Hindley-Milner type system☆11Updated 7 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆16Updated 8 years ago
- "Programs that explain their effects" talk material☆17Updated 6 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- being the beginnings of at least zero typecheckers☆31Updated 7 years ago
- A Self-Interpreter for F-omega☆16Updated 8 years ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago