mingodad / plghLinks
Programming Languages Grammar House (BNF like grammars)
☆31Updated 2 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
- A PEG parsing machine with support for incremental parsing.☆92Updated 7 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 8 months ago
- A collection of lambda calculus interpreters and development tools☆16Updated 2 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆150Updated 2 months ago
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆41Updated 2 years ago
- Parse objdump files using tree-sitter☆12Updated last year
- An implementation of interaction nets as a forth-like language.☆38Updated last month
- The Daedalus data description language☆80Updated 5 months ago
- A web based playground for parsertl/lexertl☆27Updated 2 weeks ago
- an interactive programming language☆48Updated this week
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆72Updated 3 years ago
- A notional machine for the SMoL languages☆22Updated 2 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Prototypes: Object Orientation, Functionally☆46Updated last month
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 4 years ago
- A formally verified compiler of untyped lambda calculus to brainfuck☆14Updated 8 years ago
- Haskell parser for the djot light markup language☆27Updated 11 months ago
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆32Updated last month
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆60Updated last month
- 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, …☆50Updated 9 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆36Updated 8 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆55Updated last month
- A custom parser/auto-formatter for Standard ML☆79Updated last month
- Hindley–Milner Type inferencing in C☆48Updated 3 years ago
- Fir programming language☆72Updated this week
- An experimental Racket implementation using LLVM/MLIR☆62Updated 2 years ago
- Minimal Prolog implemented in Rust☆44Updated 11 months ago