Popular repositories Loading

1. vermillion vermillion Public

   LL(1) parser generator verified in Coq

   OCaml 44 4

2. CoStar CoStar Public

   A parser based on the ALL(*) algorithm, implemented and verified in Coq.

   Python 12 4

3. AllStar AllStar Public

   Haskell 4 1

4. antlr-haskell antlr-haskell Public

   Forked from cronburg/antlr-haskell

   A language parsing quasiquoter for Haskell based heavily on ANTLR4.

   Haskell

5. Elgin Elgin Public

   Tool that uses Template Haskell to generate source code for an LL(1) parser

   Haskell

6. AllerGen AllerGen Public

   Tool that uses Template Haskell to generate source code for an ALL(*) parser

   Haskell