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

Textual plugin and CSP generator for RoboCert

The Go programming language

🍱 yet another collection of go utilities & tools

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

Official MegaZeux git repository

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

V2 of Real World OCaml

Memory consistency modelling using Alloy

Fast JSON serializer for golang.

A tool for verifying C/C++ program transformations. Based on Alloy.

Liquid Types For Haskell

Porting a variant of rely-guarantee references to Liquid Haskell

An automated deductive program verifier.

Minimal C++ audio player

Fluent SQL generation for golang

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

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

Types for Python

A modern tool for literate programming

A command-line based markdown presentation tool.

Empowering everyone to build reliable and efficient software.

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

Augh: U)ML to G)raphviz compiler for H)askell

(obsolete) PHP library designed to deal with functionality that is common to webmasters across the University of York's societies.

Map editor for the Crystals project

A streaming program for listening to University Radio York

Proof-of-concept broadcasting and presentation system in Java

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

[DEAD] University of York timetable parser