mingodad / plgh
Programming Languages Grammar House (BNF like grammars)
☆19Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for plgh
- Convert an EBNF grammar to the tree-sitter dsl☆24Updated 11 months ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- Helps import tree-sitter grammars☆25Updated last year
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- A decentralized linux distribution.☆11Updated 2 years ago
- An implementation of yacc for the janet programming language.☆11Updated 3 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 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, …☆41Updated 9 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆11Updated 6 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- A functional scripting language.☆17Updated last month
- A programming language somewhat resembling cellular processes.☆33Updated 2 years ago
- ☆10Updated 3 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Pijul <-> Git proxy☆19Updated 5 years ago
- The Codebase UI that ships with UCM☆14Updated last week
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆29Updated 2 months ago
- An experimental language server for SomewhatML☆24Updated last year
- One-pass Code Generation in V8 (Archive)☆19Updated 2 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 2 years ago
- A general purpose relational language☆20Updated 4 years ago
- ☆11Updated 3 weeks ago
- A minimal language inspired by Lisp and Haskell☆21Updated 4 years ago
- Category Theory & Cobordism Categories in Lean 4☆14Updated 4 months ago