Programming Languages Grammar House (BNF like grammars)
☆33May 4, 2026Updated last month
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-like STM for Swift☆45Dec 29, 2015Updated 10 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Tools to create filesystem images from an fspec filesystem specification.☆16Apr 21, 2024Updated 2 years ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated last year
- GO GO PARSE YOUR CODE GO GO☆13May 29, 2026Updated 2 weeks ago
- Simple, existential optics library for OCaml☆18Sep 24, 2022Updated 3 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 last year
- malloc for memory-mapped files☆15Jun 25, 2020Updated 5 years ago
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Mar 31, 2021Updated 5 years ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated last year
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago
- A Python Interpreter written in Zig☆63Dec 31, 2024Updated last year
- Function Merging & Branch Fusion☆19Apr 5, 2019Updated 7 years ago
- Nix + Lean = Nale☆12Jul 16, 2023Updated 2 years ago
- Haskell Profunctor Optics experiments☆15Sep 23, 2021Updated 4 years ago
- A statistics-based benchmarking tool for Haxe, inspired by criterion☆11Feb 18, 2020Updated 6 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
- 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.
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 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 last month
- ☆10May 12, 2022Updated 4 years ago
- Simple library for manipulating strings using OpenFST☆12Sep 26, 2021Updated 4 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.
- 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
- NTI IRS 2019-2020 "y combinator" team repository☆10Mar 21, 2020Updated 6 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
- Old Coq plugin for parametricity [maintainer=@ppedrot]☆44Jun 2, 2026Updated last week
- RSS and Atom parser. [copy of git://git.codemadness.org/sfeed master, 05/19/2019]☆12May 20, 2019Updated 7 years ago