Programming Languages Grammar House (BNF like grammars)
☆34May 4, 2026Updated 2 months ago
Alternatives and similar repositories for plgh
Users that are interested in plgh are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Convert an EBNF grammar to the tree-sitter dsl☆28Nov 28, 2023Updated 2 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- ETC☆15Aug 27, 2021Updated 4 years ago
- Parse objdump files using tree-sitter☆13Nov 22, 2023Updated 2 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Apr 21, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- GO GO PARSE YOUR CODE GO GO☆13May 29, 2026Updated last month
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- The Elm programming language in the Spoofax language workbench☆10Jul 10, 2015Updated 10 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated 2 years ago
- Tron Legacy colorscheme for common editors and terminal emulators☆11Feb 18, 2021Updated 5 years ago
- Go, with the features it's missing.☆89Jun 22, 2026Updated last week
- 💾 The hub for getting a VS Code Tree Sitter working☆18Sep 1, 2021Updated 4 years ago
- malloc for memory-mapped files☆15Jun 25, 2020Updated 6 years ago
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Mar 31, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 2022Updated 4 years ago
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago
- A Python Interpreter written in Zig☆63Dec 31, 2024Updated last year
- Open bounties for various tasks Lars needs to delegate to others☆10Feb 20, 2020Updated 6 years ago
- Haskell phonology library.☆10Jan 23, 2012Updated 14 years ago
- Function Merging & Branch Fusion☆19Apr 5, 2019Updated 7 years ago
- Nix + Lean = Nale☆12Jul 16, 2023Updated 2 years ago
- Swap it like it's hot.☆10Jul 6, 2020Updated 5 years ago
- Context switch for XMonad: switch between sets of workspaces☆11Apr 9, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆14Apr 24, 2024Updated 2 years ago
- Including Haskell, R, Julia,Python and Jupyter Kernels generated by Nix☆13Mar 6, 2023Updated 3 years ago
- Syntax tree visualizer for tree-sitter☆21Apr 20, 2023Updated 3 years ago
- Source HTML for the Tree-sitter organization site☆26Sep 11, 2025Updated 9 months ago
- generate synthetic data for training finite state machines/pushdown automata/turing machines☆17Apr 26, 2024Updated 2 years ago
- ☆10Jan 16, 2020Updated 6 years ago
- Wren-lang parser implemented in Haxe☆12Nov 1, 2020Updated 5 years ago
- perl web interface to OpenBSD's sqlports☆10Apr 22, 2026Updated 2 months ago
- ☆10May 12, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- a cool IDE trick for haxe developers☆13Oct 14, 2020Updated 5 years ago
- Simple library for manipulating strings using OpenFST☆12Sep 26, 2021Updated 4 years ago
- HTML externs for Haxe☆16May 26, 2024Updated 2 years ago
- Testing an android app built with the genjvm target of haxe.☆10May 11, 2019Updated 7 years ago
- Pure haxe implemention of the BSON spec☆13Nov 24, 2020Updated 5 years ago
- A customized build of CKEditor, a rich text editor.☆10Jan 24, 2024Updated 2 years ago
- RSS and Atom parser. [copy of git://git.codemadness.org/sfeed master, 05/19/2019]☆12May 20, 2019Updated 7 years ago