Earley parsing algorithm implementation in Haskell including a CFG definition API
☆13Sep 26, 2011Updated 15 years ago
Alternatives and similar repositories for haskell-earley
Users that are interested in haskell-earley are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Staged multi-result supercompilation (a model in Agda)☆12May 2, 2018Updated 8 years ago
- A curated list of awesome Haskell tutorial modules☆14Apr 7, 2026Updated 7 months ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 6 years ago
- Script to download all of Hackage☆19Jul 14, 2019Updated 7 years ago
- being the introduction to co-de-Bruijn metasyntax☆23Apr 29, 2022Updated 4 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.
- Text-based interactive GHC .prof viewer☆49Jun 19, 2023Updated 3 years ago
- A dependent type theory with user defined data types☆48Oct 1, 2021Updated 5 years ago
- being a thing I build on a Saturday☆28Mar 5, 2018Updated 8 years ago
- Library for generating Elm syntax from Haskell in a scope-safe way☆24Dec 2, 2023Updated 2 years ago
- Untyped Multistack Concatenative Calculus☆11Feb 25, 2022Updated 4 years ago
- Deep Learning in Audio processing☆17Feb 2, 2023Updated 3 years ago
- A datalog prover, written in haskell.☆12Apr 13, 2014Updated 12 years ago
- ☆26Nov 19, 2020Updated 5 years ago
- Tiling window manager for wayland☆16Sep 1, 2016Updated 10 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.
- Command-line Github issues client☆11Dec 22, 2015Updated 10 years ago
- Generate realistic looking fake data☆11Feb 24, 2018Updated 8 years ago
- Type Theory with Indexed Equality☆27Apr 7, 2017Updated 9 years ago
- Build custom maps for Bomb Rush Cyberfunk, play with friends on All-City Network and SlopCrew.☆11May 6, 2026Updated 6 months ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 4 years ago
- This is a reference implementation of GLL and its variants written by Adrian Johnstone and tested by Elizabeth Scott; we are the authors …☆11May 29, 2024Updated 2 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- ☆18Oct 27, 2026Updated 2 weeks ago
- A framework for hosting simple multiplayer games written in Java.☆10May 24, 2013Updated 13 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Specification of Agda.☆25Jan 13, 2019Updated 7 years ago
- a self-hosting lambda calculus compiler☆36Mar 31, 2025Updated last year
- Dependent hash maps☆15Jan 31, 2026Updated 9 months ago
- ☆28Mar 2, 2018Updated 8 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 9 years ago
- WebSharper bindings for D3 (http://d3js.org)☆10Updated this week
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- 📐Reason/OCaml rules and tools for Bazel☆19Sep 26, 2018Updated 8 years ago
- Multi-stage Programming in F#☆12Mar 30, 2016Updated 10 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.
- ops5 production rule system (lisp)☆12Jun 29, 2013Updated 13 years ago
- what I did on my holidays☆12Jul 9, 2018Updated 8 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆73May 25, 2025Updated last year
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆39Oct 25, 2024Updated 2 years ago
- A family of type systems for JavaScript☆12Mar 25, 2013Updated 13 years ago
- A [ functional stack ] based language.☆31Oct 30, 2023Updated 3 years ago
- Haskell Join-calculus DSL☆24Jan 5, 2019Updated 7 years ago
Are these results useful?