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 implementation of yacc for the janet programming language.☆11Updated 3 years ago
- A decentralized linux distribution.☆11Updated 2 years ago
- An optimizing Brainfuck interpreter.☆13Updated 5 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 2 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- 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☆28Updated 4 months ago
- A general purpose relational language☆20Updated 4 years ago
- ☆10Updated 2 years ago
- A tree-sitter grammar parser for Janet☆16Updated 2 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Helps import tree-sitter grammars☆25Updated last year
- The Codebase UI that ships with UCM☆14Updated last month
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- End to end declarative web programming with no JS using htmx and SWI-Prolog☆13Updated 4 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- Alternate Indenter for Janet☆11Updated 2 months ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 5 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- Superposition prover☆16Updated last year
- A high availability distributed filesystem built on FoundationDB and fuse.☆15Updated last year
- Your happy place for learning APL☆16Updated last year
- Clean extensible language for describing code, and human-language.☆9Updated last year
- An experimental language with compile time bounds checking☆14Updated 5 years ago
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 3 weeks ago
- An Implementation of Raft in Janet☆18Updated 4 years ago