Programming Languages Grammar House (BNF like grammars)
☆32Mar 23, 2026Updated 2 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:
- Haskell-like STM for Swift☆45Dec 29, 2015Updated 10 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 9 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 last year
- Simple, existential optics library for OCaml☆17Sep 24, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated last year
- The implementation of tic-tac-toe using an operadic comonad☆11Mar 7, 2021Updated 5 years ago
- malloc for memory-mapped files☆14Jun 25, 2020Updated 5 years ago
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Mar 31, 2021Updated 5 years ago
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago
- A Python Interpreter written in Zig☆61Dec 31, 2024Updated last year
- Open bounties for various tasks Lars needs to delegate to others☆10Feb 20, 2020Updated 6 years ago
- Function Merging & Branch Fusion☆19Apr 5, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- Swap it like it's hot.☆10Jul 6, 2020Updated 5 years ago
- ☆34Dec 19, 2025Updated 3 months ago
- ☆14Apr 24, 2024Updated last year
- Including Haskell, R, Julia,Python and Jupyter Kernels generated by Nix☆13Mar 6, 2023Updated 3 years ago
- generate synthetic data for training finite state machines/pushdown automata/turing machines☆17Apr 26, 2024Updated last year
- ☆10Jan 16, 2020Updated 6 years ago
- Wren-lang parser implemented in Haxe☆12Nov 1, 2020Updated 5 years ago
- Benchmarking algebraic effect handler implementations☆27Jun 6, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- perl web interface to OpenBSD's sqlports☆10Jun 28, 2023Updated 2 years ago
- ☆10May 12, 2022Updated 3 years ago
- a cool IDE trick for haxe developers☆13Oct 14, 2020Updated 5 years ago
- HTML externs for Haxe☆16May 26, 2024Updated last year
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆25Mar 7, 2016Updated 10 years ago
- Testing an android app built with the genjvm target of haxe.☆10May 11, 2019Updated 6 years ago
- RSS and Atom parser. [copy of git://git.codemadness.org/sfeed master, 05/19/2019]☆11May 20, 2019Updated 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
- 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.
- Syntax highlighting for Fennel☆15Feb 1, 2024Updated 2 years ago
- Web development framework☆23Aug 15, 2016Updated 9 years ago
- Fennel Language Support for Sublime Text 3 & 4☆15May 18, 2023Updated 2 years ago
- Units of Measurement☆11Feb 8, 2022Updated 4 years ago
- A BMP decoder in JS for the HTML5 Canvas element☆14Aug 6, 2011Updated 14 years ago
- Native-friendly API for Haxe targets☆11Aug 24, 2018Updated 7 years ago
- Resources for "One Monad to Prove Them All"☆29Dec 31, 2018Updated 7 years ago