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☆54Updated 8 years ago
- Guile with tracing JIT VM.☆15Updated 8 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- ProjecturEd is a generic purpose projectional editor.☆142Updated 2 years ago
- Probabilistic miniKanren☆63Updated 9 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- A library for intelligently plotting functions from the MIT Scheme REPL.☆21Updated 12 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 last month
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆17Updated 5 years ago
- Canonical miniKanren implementation in Racket☆86Updated 3 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- Guile numerical arrays and tensor extension☆54Updated 5 months ago
- Visual SH, GRAph SH - simple visual (diagrammatic) shell☆29Updated 2 years ago
- A programming argot☆58Updated last year
- Prolog implementation of microKanren☆43Updated 10 years ago
- ☆34Updated 4 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- Data Structure Optimization for Functional Programs☆34Updated 6 years ago
- Dependently-typed language with Iverson-style implicit lifting☆124Updated 5 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- combined object/lambda architcture☆25Updated 16 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆158Updated 5 months ago
- An Inference Engine based on Propositional Calculus written in Common Lisp☆45Updated this week
- The propagator system☆41Updated 9 years ago
- Racket-based implementation of Adapton☆22Updated 6 years ago
- Kanren with databases☆43Updated 11 months ago
- The Pascal-F Verifier☆49Updated 7 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago