darius / sketchbook
Smallish programs written to learn something.
☆51Updated last year
Alternatives and similar repositories for sketchbook:
Users that are interested in sketchbook are comparing it to the libraries listed below
- A PEG that compiles itself.☆75Updated 14 years ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- ☆21Updated 12 years ago
- Python term rewriting☆29Updated 12 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 8 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- purple: compiling a reflective language☆32Updated 5 months ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆62Updated 3 years ago
- Kernel-like interpreter☆24Updated 6 months ago
- A programming language☆77Updated 11 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13Updated 8 years ago
- pacc: a compiler-compiler☆37Updated 8 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation☆21Updated 12 years ago
- A tiny CPU☆20Updated 15 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Guile with tracing JIT VM.☆15Updated 8 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- minikanren mips assembler/disassembler☆29Updated 10 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago