An awesome list of e-graph resources

A C program for visualizing continuous time dynamical systems in a 3D space.

lizard wizard

A little program for playing around with Turing Machines and Busy Beavers.

A small program for investigating the phase shift in k-SAT problems.

Brain/out is a multiplayer shooter with a nostalgic post-soviet feel

A Z80 Sandbox Competition Game

Automated integer hash function discovery

SSH tarpit that slowly sends an endless banner

A comprehensive collection of intrusive, thread-safe data structures implemented in C89.

Hunt down social media accounts by username across social networks

Reinforcement learning with unsupervised auxiliary tasks

Bologna Optimal Higher-Order Machine, Version 1.1

List of resources about programming practices for writing safety-critical software.

Teaching a machine to play tic-tac-toe

A pomodoro timer written in pure C.

Hashed Lookup Table based Matrix Multiplication (halutmatmul) - Stella Nera accelerator

The Vampire Theorem Prover

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

Arbitrary precision, automatic re-computing real numbers in Common Lisp.

Set of macros that guard against buffer overflows. Based on C99 VLA feature.

UCLID5: formal modeling, verification, and synthesis of computational systems

blingful character graphics/TUI library. definitely not curses.

create a read-eval-print loop out of any command

An open-source, customizable intermediate logic textbook

A curated list of resources for learning about application security

A modular C++ IRC server (ircd).

Google's Engineering Practices documentation

bash online connect 4, using netcat