martijnbastiaan / sprockellLinks
Simple processor in Haskell
☆11Updated 9 years ago
Alternatives and similar repositories for sprockell
Users that are interested in sprockell are comparing it to the libraries listed below
Sorting:
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 12 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 6 months ago
- ☆21Updated 9 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- An Assembly-like programming language and interpreter in Haskell☆16Updated 9 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 12 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- ☆29Updated 9 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A minimalist implementation of type theory, suitable for experimentation☆15Updated 7 months ago
- xmonad in Coq☆46Updated 12 years ago
- Compiler for IMP programming language implemented in Haskell☆16Updated 4 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 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
- Dependently typed elimination functions using singletons☆28Updated 5 months ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 6 months ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Semantics for Cryptol☆16Updated 7 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆15Updated 6 years ago
- A tiny 32 bit kernel written in ATS☆26Updated 11 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Updated 4 years ago