Popular repositories Loading

1. fungll-combinators fungll-combinators Public

   Purely functional GLL parser combinators for Haskell

   Haskell 5 2

2. uuag-vim uuag-vim Public

   Syntax highlighting for UUAG in VIM

   Vim Script 1

3. lambda-security-tags lambda-security-tags Public

   Haskell 1

4. gll-combinator-experiments gll-combinator-experiments Public

   OCaml 1

5. INFODTP INFODTP Public

   Verification of the algorithm described in "On building trees of minimal height" by Richard S. Bird, using Coq

   Coq

6. FPcourse FPcourse Public

   How to explain the benefits Functional Programming to your imperative co-worker

   Haskell