mingodad / plghLinks
Programming Languages Grammar House (BNF like grammars)
☆32Updated 5 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 2 years ago
- Parse objdump files using tree-sitter☆12Updated 2 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 11 months ago
- The Daedalus data description language☆84Updated 8 months ago
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆43Updated 2 years ago
- A web based playground for parsertl/lexertl☆28Updated 3 months ago
- A PEG parsing machine with support for incremental parsing.☆96Updated 10 months ago
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- An implementation of interaction nets as a forth-like language.☆43Updated last month
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 3 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
- A summary of ideas about transpilation -- work in progress☆23Updated 2 years ago
- Haskell parser for the djot light markup language☆27Updated 2 weeks ago
- Hindley–Milner Type inferencing in C☆48Updated 3 years ago
- McLulang: The message is the language☆12Updated last year
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 5 months ago
- Tree sitter grammar for S-expressions☆26Updated 5 years ago
- The Nox programming language☆31Updated 2 years ago
- a language for building system dynamic models☆168Updated this week
- Forge: A Tool and Language for Teaching Formal Methods☆93Updated last week
- Extra minimal TypeScript implementation of Hindley-Milner type inference☆34Updated this week
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆79Updated 2 weeks ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 5 years ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆33Updated last year
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆40Updated last week
- A high-level programming language☆40Updated 10 months ago