Stars
Lean 4 programming language and theorem prover
Rofi: A window switcher, application launcher and dmenu replacement
StatsHouse is a highly available, scalable, multitenant monitoring system
ALIEN is a CUDA-powered artificial life simulation program.
A simple, fast and user-friendly alternative to 'find'
Distributed reliable key-value store for the most critical data of a distributed system
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.
Freeware notebook interface for Wolfram Language written in Javascript
😎 Awesome lists about all kinds of interesting topics
A cross-platform, OpenGL terminal emulator.
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 book-in-progress about the Linux kernel and its insides.
A framework for distributed systems verification, with fault injection
Modular visual interface for GDB in Python
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 curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
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.