eBPF verifier based on abstract interpretation
- abstract-interpretation
- static-analyzer
- ebpf
- ebpf-verifier
Repository Index
82,588 visible repositories in the index
625–648 of 821 · Most stars
A library for creating and sending .pcap files for Wireshark and other programms.
A ROS wrapper of the AprilTag 3 visual fiducial detector
- apriltags
- ros
- wrapper
- vision
This is an open source, all-in-one, static recompilation project that I built from the ground up for the Xbox 360 Gears of War series. All 4 games have been personally recompiled for use with a fully native renderer by me.
- decomp
- decompilation
- pc
- port
ESP8266 Arduino library with built in reconnect functionality
CUDA Visual Library by RPG
A C++14-compatible physical units library with no dependencies and a single-file delivery option. Emphasis on safety, accessibility, performance, and developer experience.
- cpp
- cpp14
- cpp14-library
- dimensional-analysis
This is a header only C++ version of inih.
TFLite Support is a toolkit that helps users to develop ML and deploy TFLite models onto mobile / ioT devices.
Utility to browse the Qt object tree of a running Qt application and edit object properties on the fly.
Mobile robot simulator
Call of Duty 3 (Xbox 360) static recompilation: host runtime, tools and notes
A header-only and easy to use Ini file parser for C++.
- ini-parser
- inifile
- cpp
- cpp-library
Static recompilation of Need for Speed Underground 2 (SPEED2.EXE x86-32 -> C) with pcrecomp. Bring your own game; no game code or data included.
Universal cheminformatics toolkit, utilities and database search tools
- indigo
- bingo
- cheminformatics
- chemistry
An experimental embedded SQL engine in C++20. Query Parquet, CSV, JSON, Arrow, Avro, SQLite, and Excel files directly with SQL, in-process. Early-stage.
A C++ header-only parser for the PLY file format. Parse .ply happily!
Speech synthesis, speech recognition and voice activity detection for voice conversation, in C++ on ggml: Qwen3-TTS, Irodori-TTS, Qwen3-ASR, ReazonSpeech, parakeet and Silero VAD on Metal, Vulkan and the CPU, with an OpenAI-compatible server and live transcription.
- cpp
- ggml
- gguf
- metal
Boomerang Decompiler - Fighting the code-rot :)
- c-plus-plus
- qt5
- reverse-engineering
- decompiler
Event loop friendly C++ actor micro-framework, supervisable
- cpp17
- actor-framework
- actor
- boost
RecompStore: the free homebrew app store for jailbroken PS5. Installs and updates recompiled game ports, emulators, apps and tools from the console. Bring your own disc.
- app-store
- homebrew
- homebrew-store
- jailbreak
QCTools (Quality Control Tools for Video Preservation) is a free and open source software tool that helps users analyze and understand their digitized video files through use of audiovisual analytics and filtering. QCTools is funded by the National Endowment for the Humanities and the Knight Foundation, and is developed by the Bay Area Video Coalition.
- video
- preservation
- quality-control
A High Scalability Solution for MySQL Clustering and High Availability
- pxc
GUI for Fancontrol. It uses the KAuth module of the KDE Frameworks 5 to write the generated config file. Furthermore it communicates with systemd via dbus to control the fancontrol service. If you want to compile without systemd support set the -DNO_SYSTEMD option.