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:
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- ProjecturEd is a generic purpose projectional editor.☆141Updated 3 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 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
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- Probabilistic miniKanren☆65Updated 9 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- experimental computational medium and supporting tools☆23Updated 3 weeks ago
- A programming argot☆58Updated last year
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- ☆34Updated 4 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- The Aldor Programming Language☆35Updated 7 months ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- A library for intelligently plotting functions from the MIT Scheme REPL.☆21Updated 12 years ago
- Guile numerical arrays and tensor extension☆58Updated 7 months ago
- Bindings for llvm in racket☆66Updated 10 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated last year
- The propagator system☆41Updated 9 years ago
- Guile with tracing JIT VM.☆15Updated 8 years ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 7 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 6 months ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…☆29Updated 4 months ago
- A demo exploring emacs vector capablities☆28Updated 4 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 16 years ago
- The Pascal-F Verifier☆50Updated 8 years ago
- Art of Prolog Code☆36Updated 6 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Updated 5 years ago