Godot Engine – Multi-platform 2D and 3D game engine

📚 Modern C++ Tutorial: C++11/14/17/20 On the Fly | https://changkun.de/modern-cpp/

The Z3 Theorem Prover

OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.

A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kafel BPF language for enhanced security.

LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a reliable place for other distributed systems to store their cor…

Modern C++ order matching engine

Basic cloth simulation using Verlet integration

Malicious code that Vijos judged.

A C++ type to trace calls to special member functions.

Jupyter notebook for the Lean4 programming language