mingodad / plgh
Programming Languages Grammar House (BNF like grammars)
☆23Updated 4 months ago
Alternatives and similar repositories for plgh:
Users that are interested in plgh are comparing it to the libraries listed below
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 2 years ago
- An optimizing Brainfuck interpreter.☆13Updated 5 years ago
- Convert an EBNF grammar to the tree-sitter dsl☆25Updated last year
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆31Updated 6 months 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, …☆42Updated 9 years ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- ☆14Updated last year
- Clean extensible language for describing code, and human-language.☆9Updated 2 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 6 years ago
- Platform-independent space-efficient tagged pointers in Rust☆18Updated last month
- ☆15Updated 10 months ago
- Helps import tree-sitter grammars☆26Updated last year
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- McLulang: The message is the language☆10Updated 4 months ago
- Modular generated command line interfaces using the same technology as the NixOS module system.☆43Updated last year
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Pijul <-> Git proxy☆19Updated 5 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- One-pass Code Generation in V8 (Archive)☆19Updated 2 years ago
- The Flix Programming Book☆17Updated this week
- Minimal Prolog implemented in Rust☆43Updated 3 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- An open-source database inspired by Datomic☆30Updated last year
- An experimental language with compile time bounds checking☆14Updated 5 years ago
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆36Updated this week
- A decentralized linux distribution.☆11Updated 2 years ago
- A programming language with first-class modules and algebraic effects.☆15Updated 2 years ago
- A Lean 4 formalization of partial combinatory algebras.☆12Updated last week
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆33Updated this week