Stars
PainterEngine is a application/game engine with software renderer,PainterEngine can be transplanted to any platform that supports C
Multiple Object Tracker, Based on Hungarian algorithm + Kalman filter.
Robust Stereo Visual Inertial Odometry for Fast Autonomous Flight
OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Benchmark comparing various data serialization libraries (thrift, protobuf etc.) for C++
Some random notes taken when reading through the Fuchsia source code
Dy-COPECA (Dynamic COverage PErcentage CAlculator) is a test case adequacy checker to measure Modified Condition / Decision Coverage (MC/DC) criterion. It is highly based on the test cases generate…
Package scripts for MinGW-w64 targets to build under MSYS2.
Customizable Windows terminal with tabs, splits, quake-style, hotkeys and more
Simple Theorem Prover, an efficient SMT solver for bitvectors
A C++ library providing various concurrent data structures and reclamation schemes.
Industry-standard navigation-mesh toolset for games
A static analyzer for Java, C, C++, and Objective-C
AddressSanitizer, ThreadSanitizer, MemorySanitizer
A portable microkernel-based multiserver operating system written from scratch.
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)