GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
- haskell
- haskell-application
- cqrs-application
- frp
Repository Index
81,588 visible repositories in the index
49–56 of 56 · Most stars
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
L-system generators and visualizers
- lsystems
- 2d-graphics
- generative-art
- lindenmayer-systems
A discord frontend for an interactive interpreter bot
Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
Haskell library implementing OpenFlow protocol versions 1.0 and 1.3
Experiment to compile something Elm-ish to Wasm
Implementation of Ripple client protocol in Haskell