mattmight / derp2Links
A parser tool for Racket with an expressive grammar notation
☆20Updated 10 years ago
Alternatives and similar repositories for derp2
Users that are interested in derp2 are comparing it to the libraries listed below
Sorting:
- Generic collections API for Racket☆52Updated 3 years ago
- ☆58Updated 8 years ago
- Embedding of some of SQL into Racket☆34Updated 3 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆40Updated 4 years ago
- a racket lang-extension for debugging, and a macro for inserting a debug-repl☆36Updated 2 months ago
- the 7 gui project☆57Updated last year
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆63Updated 7 years ago
- A microKanren framework for implementing constraints.☆19Updated 7 years ago
- experimental computational medium and supporting tools☆23Updated this week
- nqthm - the original Boyer-Moore theorem prover, from 1992☆57Updated 9 years ago
- Don't Lisp, Talk!☆57Updated last year
- Racket parser combinators inspired by parsack and megaparsec☆82Updated last year
- Constraint programming language embedded in Racket☆154Updated 4 years ago
- lux - a simple library for creating real-time graphical apps☆30Updated 4 years ago
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆40Updated last year
- ProjecturEd is a generic purpose projectional editor.☆142Updated 3 years ago
- Bindings for llvm in racket☆66Updated 10 years ago
- An EMACS written in Racket. Runs in ANSI-compatible terminals. -- MOVED TO https://git.leastfixedpoint.com/tonyg/rmacs☆75Updated 7 years ago
- Data Structure Optimization for Functional Programs☆34Updated 6 years ago
- Canonical miniKanren implementation in Racket☆87Updated 4 years ago
- Collapsing Towers of Interpreters (in Scheme)☆59Updated 7 years ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆23Updated 4 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Updated 13 years ago
- Concatenative relational interpreter in miniKanren☆22Updated 10 years ago
- Probabilistic miniKanren☆67Updated 10 years ago
- A programming argot☆57Updated last year
- Emacs style editor written in Racket☆63Updated 6 years ago
- Terminal emulator in racket☆42Updated 2 years ago
- Manipulating racket bytecode☆26Updated 4 years ago
- A Scala-style magic function application form☆43Updated 3 years ago