grammarware / bx-parsingLinks
Bidirectional Megamodel of Parsing, Tokenising, Stripping, Concatenating, Imploding, Exploding, Unparsing, Printing, Pretty-printing, Formatting, Visualising, Rendering and Recognising
☆18Updated 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
Sorting:
- Probabilistic miniKanren☆63Updated 9 years ago
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆54Updated 8 years ago
- ProjecturEd is a generic purpose projectional editor.☆142Updated 2 years ago
- Guile with tracing JIT VM.☆15Updated 8 years ago
- Bindings for llvm in racket☆66Updated 10 years ago
- Data Structure Optimization for Functional Programs☆34Updated 6 years ago
- A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…☆16Updated 11 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆31Updated 2 months ago
- ☆34Updated 4 years ago
- Probabilistic Programming☆42Updated 2 weeks ago
- ☆25Updated 2 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- Prolog stuff☆28Updated 5 years ago
- Racket parser combinators inspired by parsack and megaparsec☆81Updated 9 months ago
- experimental computational medium and supporting tools☆23Updated 3 weeks ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.☆19Updated last year
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- Kanren with databases☆44Updated last year
- Guile numerical arrays and tensor extension☆54Updated 6 months ago
- Art of Prolog Code☆36Updated 5 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 4 months ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Canonical miniKanren implementation in Racket☆86Updated 3 years ago
- The Aldor Programming Language☆35Updated 5 months ago