GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
- haskell
- haskell-application
- cqrs-application
- frp
47,133 repositories indexed
25–30 of 30 · Most stars
GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
L-system generators and visualizers
Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
Haskell library implementing OpenFlow protocol versions 1.0 and 1.3
Implementation of Ripple client protocol in Haskell