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
- Indentation-based Racket Syntax☆37Updated 3 years ago
- Canonical miniKanren implementation in Racket☆86Updated 3 years ago
- Disassembler for Racket☆79Updated 3 weeks ago
- Mocking library for Racket☆22Updated 4 years ago
- Constraint programming language embedded in Racket☆153Updated 3 years ago
- A programming argot☆58Updated last year
- Data Structure Optimization for Functional Programs☆34Updated 6 years ago
- a racket lang-extension for debugging, and a macro for inserting a debug-repl☆36Updated 3 years ago
- Don't Lisp, Talk!☆57Updated last year
- A Racket GUI Widget to display maps based on OpenStreetMap tiles☆40Updated last year
- The PGG Partial Evaluation System for Scheme 48☆18Updated 12 years ago
- experimental computational medium and supporting tools☆23Updated this week
- Bindings for llvm in racket☆66Updated 10 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- An environment variable manager for Racket applications☆17Updated 2 years ago
- the 7 gui project☆56Updated last year
- remix - a revised version of Racket☆33Updated 2 years ago
- Manipulating racket bytecode☆25Updated 3 years ago
- lux - a simple library for creating real-time graphical apps☆30Updated 3 years ago
- adqc - A version of C with verification and resource bounds☆23Updated 3 years ago
- ☆58Updated 8 years ago
- Racket parser combinators inspired by parsack and megaparsec☆81Updated 9 months ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆54Updated 8 years ago
- A port of sweet expressions to Racket☆48Updated 2 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- A basic Parsec-like monadic parser combinator library implementation in Racket.☆49Updated 2 years ago
- a library to assist in the design of geometric designs☆24Updated 5 years ago
- 3-dimensional picts☆114Updated 2 years ago
- Exploration of the inner workings of Racket☆19Updated 8 years ago