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:
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- Guile with tracing JIT VM.☆15Updated 8 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Probabilistic miniKanren☆65Updated 9 years ago
- ☆25Updated 2 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- ProjecturEd is a generic purpose projectional editor.☆140Updated 2 years ago
- Bindings for llvm in racket☆66Updated 10 years ago
- Visual SH, GRAph SH - simple visual (diagrammatic) shell☆29Updated 2 years 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…☆28Updated 3 months ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Data Structure Optimization for Functional Programs☆34Updated 6 years ago
- A library for intelligently plotting functions from the MIT Scheme REPL.☆21Updated 12 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- A programming argot☆58Updated last year
- A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…☆16Updated 11 years ago
- the Art of the Propagator☆51Updated 12 years ago
- A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.☆44Updated 15 years ago
- Manipulating racket bytecode☆25Updated 3 years ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 10 years ago
- Canonical miniKanren implementation in Racket☆86Updated 3 years ago
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆158Updated 6 months ago
- Quickcheck Clone implemented in Racket☆31Updated last year
- Metacircular evaluator for a tiny fexpr language☆44Updated 13 years ago
- ☆34Updated 4 years ago