Programming Languages Grammar House (BNF like grammars)
☆33May 4, 2026Updated 3 weeks 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
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 9 months 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated last year
- Simple, existential optics library for OCaml☆17Sep 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
- Tron Legacy colorscheme for common editors and terminal emulators☆11Feb 18, 2021Updated 5 years ago
- The implementation of tic-tac-toe using an operadic comonad☆11Mar 7, 2021Updated 5 years ago
- 💾 The hub for getting a VS Code Tree Sitter working☆18Sep 1, 2021Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆13Jan 23, 2022Updated 4 years ago
- 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
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago
- A Design by contract library for Haxe.☆44Aug 9, 2022Updated 3 years ago
- A Python Interpreter written in Zig☆64Dec 31, 2024Updated last year
- Haskell phonology library.☆10Jan 23, 2012Updated 14 years ago
- Function Merging & Branch Fusion☆19Apr 5, 2019Updated 7 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.
- ☆10Mar 2, 2021Updated 5 years ago
- Nix + Lean = Nale☆12Jul 16, 2023Updated 2 years ago
- A tree sitter implementation for COBOL☆12Aug 2, 2020Updated 5 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
- ☆14Apr 24, 2024Updated 2 years ago
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Wren-lang parser implemented in Haxe☆12Nov 1, 2020Updated 5 years ago
- Benchmarking algebraic effect handler implementations☆27Jun 6, 2021Updated 4 years ago
- ☆10May 12, 2022Updated 4 years ago
- perl web interface to OpenBSD's sqlports☆10Apr 22, 2026Updated last month
- 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 last year