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.

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

Empowering everyone to build reliable and efficient software.

A framework for making 2D DOS games in Lua

Next generation vim support for atom

Package management tool for FreeBSD. Help at #pkg on Libera Chat or [email protected]

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

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

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