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:
- ProjecturEd is a generic purpose projectional editor.☆142Updated 3 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- Probabilistic miniKanren☆67Updated 10 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☆36Updated 13 years ago
- Bindings for llvm in racket☆66Updated 10 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆32Updated 4 months ago
- The Boomerang Bidirectional Programming Language☆76Updated 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…☆29Updated 5 months ago
- ☆34Updated 5 years ago
- Guile with tracing JIT VM.☆15Updated 9 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Emacs Does Interactive Prolog☆44Updated last year
- A library for intelligently plotting functions from the MIT Scheme REPL.☆21Updated 12 years ago
- Racket parser combinators inspired by parsack and megaparsec☆82Updated last year
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 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
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 4 years ago
- A virtual machine for the Self language, written entirely in Self, and a development environment for that VM.☆43Updated 16 years ago
- Prolog stuff☆27Updated 6 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- A programming argot☆57Updated last year
- Visual SH, GRAph SH - simple visual (diagrammatic) shell☆29Updated 2 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Updated 12 years ago