grammarware / bx-parsing
Bidirectional Megamodel of Parsing, Tokenising, Stripping, Concatenating, Imploding, Exploding, Unparsing, Printing, Pretty-printing, Formatting, Visualising, Rendering and Recognising
☆17Updated 4 years ago
Related projects: ⓘ
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- Metacircular evaluator for a tiny fexpr language☆45Updated 12 years ago
- Guile with tracing JIT VM.☆15Updated 7 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 5 years ago
- Data Structure Optimization for Functional Programs☆33Updated 5 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- APL parser written in Standard ML☆19Updated 8 years ago
- ECMAScript for Racket☆20Updated 2 years ago
- Probabilistic miniKanren☆60Updated 8 years ago
- Racket parser combinators inspired by parsack and megaparsec☆76Updated 2 years ago
- ProjecturEd is a generic purpose projectional editor.☆137Updated last year
- Manipulating racket bytecode☆25Updated 2 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆30Updated 2 weeks ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- The PGG Partial Evaluation System for Scheme 48☆17Updated 11 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆15Updated 4 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- Haskell Semantics with Lisp Syntax☆66Updated 10 years ago
- ☆18Updated 3 years ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 9 years ago
- Optimization Coach Plug-In for DrRacket☆20Updated last month
- The Boomerang Bidirectional Programming Language☆71Updated last year
- A compilation-friendly fexpr language. (Proof of concept.)☆20Updated 9 months ago
- Auto define Racket bindings to C by parsing header files.☆28Updated 2 years ago
- Emacs major mode for Alloy☆13Updated 6 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- a library to assist in the design of geometric designs☆25Updated 4 years ago
- Indentation-based Racket Syntax☆37Updated 3 years ago
- Meta-Interpreters in miniKanren☆31Updated last year