martijnbastiaan / sprockell
Simple processor in Haskell
☆11Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for sprockell
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 11 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 2 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- A Self-Interpreter for F-omega☆16Updated 8 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 9 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- ☆22Updated 8 years ago
- ☆16Updated 6 years ago
- The Alms Programming Language☆44Updated 6 years ago
- ☆29Updated 9 years ago
- My Own Linear Lisp☆36Updated 6 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- Dependently typed Algorithm M and friends☆25Updated 6 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- Austin's supercompiler work☆21Updated 4 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Pure relational SKI combinator calculus interpreter.☆10Updated 7 years ago
- Logic for story telling!☆32Updated 6 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 8 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- A small NuPRL style proof assistant☆32Updated 5 years ago
- Semantics for Cryptol☆16Updated 6 years ago
- ☆18Updated 7 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
- A bare-bones LCF-style proof assistant☆21Updated 5 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆30Updated 11 months ago
- A general purpose programming language with linear types☆44Updated 7 years ago