The Go programming language

Empowering everyone to build reliable and efficient software.

A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

A good looking terminal emulator which mimics the old cathode display...

Fluent SQL generation for golang

A command-line based markdown presentation tool.

Fast JSON serializer for golang.

Next generation vim support for atom

A standalone library of the Fraunhofer FDK AAC code from Android.

Liquid Types For Haskell

V2 of Real World OCaml

Package management tool for FreeBSD. Help at #pkg on Libera Chat or pkg@FreeBSD.org

A framework for making 2D DOS games in Lua

The Herd toolsuite to deal with .cat memory models (version 7.xx)

A modern tool for literate programming

Armada is a tool for writing, and proving correct, high-performance concurrent programs.

Official MegaZeux git repository

Types for Python

An automated deductive program verifier.

A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety

Memory consistency modelling using Alloy

🍱 yet another collection of go utilities & tools

Legacy official MegaZeux git repository. Use http://github.com/AliceLR/megazeux instead.

Minimal C++ audio player

Porting a variant of rely-guarantee references to Liquid Haskell

console-driver-xkb package development for Arch Hurd.

[DEAD] University of York timetable parser

A small MU*-like game written in python as an educational excercise.

Free software monster-battling role playing game.

Textual plugin and CSP generator for RoboCert