Stars
Exploit Development and Reverse Engineering with GDB & LLDB Made Easy
Open Source real-time strategy game engine for early Westwood games such as Command & Conquer: Red Alert written in C# using SDL and OpenGL. Runs on Windows, Linux, *BSD and Mac OS X.
Lean 4 programming language and theorem prover
StatsHouse is a highly available, scalable, multitenant monitoring system
Distributed reliable key-value store for the most critical data of a distributed system
ALIEN is a CUDA-powered artificial life simulation program.
Shadow is a discrete-event network simulator that directly executes real application code, enabling you to simulate distributed systems with thousands of network-connected processes in realistic an…
A framework for distributed systems verification, with fault injection
A concise ChartPlotter/Navigator. A cross-platform ship-borne GUI application supporting * GPS/GPDS Postition Input * BSB Raster Chart Display * S57 Vector ENChart Display * AIS Input Decoding * Wa…
A cross-platform, OpenGL terminal emulator.
Freeware notebook interface for Wolfram Language written in Javascript
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
A simple, fast and user-friendly alternative to 'find'
MiniFB is a small cross platform library to create a frame buffer that you can draw pixels in
Curated list of resources on testing distributed systems
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
Static reflection for enums (to string, from string, iteration) for modern C++, work with any enum type without any macro or boilerplate code
Rofi: A window switcher, application launcher and dmenu replacement
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
A General-purpose Task-parallel Programming System using Modern C++