Pinned Repositories
cci-website
FPcourse
How to explain the benefits Functional Programming to your imperative co-worker
fungll-combinators
Purely functional GLL parser combinators for Haskell
gll-combinator-experiments
gll-combinators
The package gll provides generalised top-down parsing according to the (R)GLL parsing algorithm and with a combinator interface
imsos-iml
Implicitly Modular Intermediate Meta-Language for writing small-step and big-step transition system semantics
INFODTP
Verification of the algorithm described in "On building trees of minimal height" by Richard S. Bird, using Coq
lambda-security-tags
uuag-vim
Syntax highlighting for UUAG in VIM
ltbinsbe's Repositories
ltbinsbe/fungll-combinators
Purely functional GLL parser combinators for Haskell
ltbinsbe/gll-combinator-experiments
ltbinsbe/lambda-security-tags
ltbinsbe/uuag-vim
Syntax highlighting for UUAG in VIM
ltbinsbe/cci-website
ltbinsbe/FPcourse
How to explain the benefits Functional Programming to your imperative co-worker
ltbinsbe/gll-combinators
The package gll provides generalised top-down parsing according to the (R)GLL parsing algorithm and with a combinator interface
ltbinsbe/imsos-iml
Implicitly Modular Intermediate Meta-Language for writing small-step and big-step transition system semantics
ltbinsbe/INFODTP
Verification of the algorithm described in "On building trees of minimal height" by Richard S. Bird, using Coq
ltbinsbe/uu-cco
Tools for the CCO (Compiler Construction) course at the UU (Utrecht University)