ollef / Earley
Parsing all context-free grammars using Earley's algorithm in Haskell.
☆371Updated last year
Alternatives and similar repositories for Earley:
Users that are interested in Earley are comparing it to the libraries listed below
- A bare-bones calculus-of-constructions☆378Updated 2 years ago
- ☆291Updated 4 months ago
- Runtime Haskell interpreter☆268Updated last month
- Parser combinators for Idris☆242Updated 6 years ago
- Compositional pipelines☆492Updated 2 years ago
- Anonymous records☆248Updated 6 years ago
- A lightweight (but compatible with ‘lens’) lenses library☆292Updated last month
- The home of the Glamorous Glambda interpreter☆224Updated last month
- Type safe interface for working in subcategories of Hask☆420Updated 5 years ago
- haskell ghc-illustrated☆260Updated 4 years ago
- A modern, extensible and well-documented prettyprinter.☆302Updated 5 months ago
- Generically derive traversals, lenses, and prisms.☆441Updated 3 weeks ago
- A sensible starting Prelude template.☆402Updated 11 months ago
- GHC plugin that improves Haskell code's numerical stability☆193Updated 9 years ago
- A friendly effect system for Haskell☆231Updated 11 months ago
- Fake dependent types in Haskell using singletons☆290Updated 3 weeks ago
- Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink☆299Updated 2 months ago
- Binary serialisation in the CBOR format☆199Updated this week
- Add ACID guarantees to any serializable Haskell data structure☆302Updated last month
- Empire strikes back☆464Updated last year
- Auto-generate a command-line parser for your datatype☆210Updated last year
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆207Updated 6 years ago
- An implementation of Python's doctest for Haskell☆386Updated 2 months ago
- Optics as an abstract interface☆384Updated 2 weeks ago
- Live recompiler for Haskell☆263Updated 4 years ago
- Learn you an Agda (and achieve enlightenment)☆315Updated 7 years ago
- The LLVM LHC Haskell Optimization System☆200Updated 5 years ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆253Updated this week
- The strongly hyped Haskell interpreter.☆370Updated 4 months ago
- Developer tools for Haskell☆250Updated 9 months ago