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 ⓘ
Alternatives and complementary repositories for bx-parsing
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 5 years ago
- Data Structure Optimization for Functional Programs☆33Updated 5 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- Kanren with databases☆43Updated 3 months ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 5 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- Higher Order Prolog with Extensional Semantics☆51Updated 4 years ago
- Racket parser combinators inspired by parsack and megaparsec☆76Updated last month
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆15Updated 4 years ago
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆39Updated 7 months ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- a minimal implementation of incremental computation in Scheme☆35Updated 7 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- First-order temporal logic programming with microKanren☆15Updated 7 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- Emacs major mode for Alloy☆13Updated 6 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- purple: compiling a reflective language☆29Updated last month
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.☆26Updated 2 years ago
- The (very) small kernel of the LaTTe proof assistant☆11Updated last year
- Logic for story telling!☆32Updated 6 years ago
- Guile with tracing JIT VM.☆15Updated 8 years ago
- A prototype of soft contract verification for an untyped functional language☆34Updated 3 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆30Updated 3 weeks ago