liamoc

SoftU2F

Software U2F authenticator for macOS

servant

Servat is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

compleat

Generate command-line completions using a simple DSL.

Tamagotchi-Hack

Code to hack your Tamagotchi!

company-coq

A Coq IDE build on top of Proof General's Coq mode

learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

Hubris

Bridge from Ruby to Haskell

chocolat-public

Public bug tracker for the private chocolat project

ddc

The Disco Discus Compiler

cogent

Cogent Project

CorsixTH-Android

Port of CorsixTH to Android

falling-turnip

falling sand game with regular parallel arrays.

DesktopAdventures

A recreation of the Desktop Adventures engine in C

wizards

High level, generic library for interrogative user interfaces in Haskell

micropolis-rs

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

Karkat

Multithreaded python IRC socket bot.

scummvm

ScummVM main repository

pongell

crappy pong clone written in haskell

tea

A simple 2D game development library for Ruby.

outside-in

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

bitvector

Sequences of bits and common operations on them

opardum-server

operational transforms based collaborative editing server written all in literate haskell

tea-hs

2d game creation library for Haskell

vscode-agda-interactive

gameupdater_server

Server for GameUpdater

generators

composable monadic random value generators

sfont-hs

Haskell port of the SFont Library

sprig-hs

SDL Primitive Generator bindings to Haskell

pls-reading-group

Home of the informal PLS reading group

graphics-drawingcombinators

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