The classic Micropolis (Sim City 1) game rewritten in Rust and React, with WebAssembly support.

ScummVM main repository

The Disco Discus Compiler

Software U2F authenticator for macOS

Cogent Project

Home of the informal PLS reading group

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!

Sequences of bits and common operations on them

Multithreaded python IRC socket bot.

Public bug tracker for the private chocolat project

Code to hack your Tamagotchi!

Falling sand game in cellular automata style.

Formalisation of The GHC Team's OutsideIn(X) in Agda.

High level, generic library for interrogative user interfaces in Haskell

Port of CorsixTH to Android

Learn you an Agda (and achieve enlightenment)

operational transforms based collaborative editing server written all in literate haskell

composable monadic random value generators

Combinators for drawing 2D shapes and images in Haskell (using SDL)

2d game creation library for Haskell

Haskell port of the SFont Library

SDL Primitive Generator bindings to Haskell

Generate command-line completions using a simple DSL.

crappy pong clone written in haskell

Bridge from Ruby to Haskell

A simple 2D game development library for Ruby.

Server for GameUpdater