grammarware / bx-parsing
Bidirectional Megamodel of Parsing, Tokenising, Stripping, Concatenating, Imploding, Exploding, Unparsing, Printing, Pretty-printing, Formatting, Visualising, Rendering and Recognising
☆17Updated 5 years ago
Alternatives and similar repositories for bx-parsing:
Users that are interested in bx-parsing are comparing it to the libraries listed below
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 5 months ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- Guile with tracing JIT VM.☆15Updated 8 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- A compilation-friendly fexpr language. (Proof of concept.)☆21Updated last month
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 8 months ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 6 years ago
- The propagator system☆41Updated 9 years ago
- Concatenative relational interpreter in miniKanren☆22Updated 9 years ago
- Probabilistic miniKanren☆61Updated 9 years ago
- Kanren with databases☆43Updated 7 months ago
- Guile numerical arrays and tensor extension☆54Updated last month
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 4 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- SWI-Prolog dynamic C interface☆17Updated 5 months ago
- Data Structure Optimization for Functional Programs☆33Updated 6 years ago
- software archaeology of reflective towers of interpreters☆15Updated 5 months ago
- A Scheme TCP/IP Stack Targeting Small Embedded Applications☆25Updated 11 years ago
- APL parser written in Standard ML☆19Updated 8 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated 11 months ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Visual SH, GRAph SH - simple visual (diagrammatic) shell☆29Updated last year
- ProjecturEd is a generic purpose projectional editor.☆142Updated 2 years ago