Stars
The classic Micropolis (Sim City 1) game rewritten in Rust and React, with WebAssembly support.
dreammaster / scummvm
Forked from scummvm/scummvmScummVM main repository
A Coq IDE build on top of Proof General's Coq mode
A recreation of the Desktop Adventures engine in C
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Public bug tracker for the private chocolat project
Falling sand game in cellular automata style.
High level, generic library for interrogative user interfaces in Haskell
Learn you an Agda (and achieve enlightenment)
operational transforms based collaborative editing server written all in literate haskell
Combinators for drawing 2D shapes and images in Haskell (using SDL)
Generate command-line completions using a simple DSL.