mingodad / plghLinks
Programming Languages Grammar House (BNF like grammars)
☆31Updated 3 months ago
Alternatives and similar repositories for plgh
Users that are interested in plgh are comparing it to the libraries listed below
Sorting:
- Convert an EBNF grammar to the tree-sitter dsl☆28Updated last year
- Parse objdump files using tree-sitter☆12Updated last year
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 3 years ago
- A PEG parsing machine with support for incremental parsing.☆94Updated 8 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 10 months ago
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- The Daedalus data description language☆82Updated 7 months ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …☆51Updated 10 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆150Updated 4 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆91Updated this week
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆34Updated 3 months ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆76Updated this week
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆43Updated 2 years ago
- McLulang: The message is the language☆12Updated last year
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆60Updated 4 months ago
- ☆125Updated 2 months ago
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆46Updated 9 months ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- An experimental Racket implementation using LLVM/MLIR☆61Updated 2 years ago
- Minimal Prolog implemented in Rust☆45Updated 3 weeks ago
- an interactive programming language☆50Updated this week
- An implementation of interaction nets as a forth-like language.☆37Updated 2 months ago
- A summary of ideas about transpilation -- work in progress☆23Updated 2 years ago
- A tool for editing files according to the rules of a provided Turing Machine☆30Updated 2 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- CHR2 to SQL conversion☆14Updated 10 years ago
- A web based playground for parsertl/lexertl☆28Updated 2 months ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆40Updated this week