intoverflow / PotentialLinks
x86-64 assembly as a Haskell EDSL
☆36Updated 14 years ago
Alternatives and similar repositories for Potential
Users that are interested in Potential are comparing it to the libraries listed below
Sorting:
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 12 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 3 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- Compositional type checking for Haskell☆37Updated 14 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 9 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- Runtime code generation for x86 machine code☆26Updated last year
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.☆7Updated 9 years ago
- Deep embedding of imperative programs with code generation☆23Updated 3 years ago
- Type-safe library for generating haskell source code☆28Updated 7 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Automatically exported from code.google.com/p/trellys☆46Updated 5 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 3 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''☆10Updated 6 years ago
- Compositional type checking for a Hindley-Milner type system☆11Updated 8 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- Lazy functional language compiler targeting LLVM.☆29Updated 13 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- being the beginnings of at least zero typecheckers☆33Updated 8 years ago