The open source taint analysis engine for the AI era

AirPods liberated from Apple's ecosystem.

Run frontier AI locally.

Circuit IR Compilers and Tools

💀💀💀 The former home of clangir incubator, now part of the official llvm-project.

Programs to process GoPro MP4 & Generic GPX/FIT files and create video dashboards & maps

Library and command-line tool to control the Steinberg UR44C Mixer and DSP

Universal Symbolic Virtual Machine

Library for lifting machine code to LLVM bitcode

Source code (C,C++,Java) static analysis tool

Bear is a tool that generates a compilation database for clang tooling.

A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Flipper Zero firmware source code

KLEEF Symbolic Execution Engine

Symbolic execution tool for Sail ISA specifications

Sail RISC-V model

Automated unit test generation and precise code analysis for Java

C++ Tip Of The Week

Sail architecture definition language

KLEE Symbolic Execution Engine

Video stabilization using gyroscope data

Marlin is a firmware for RepRap 3D printers optimized for both 8 and 32 bit microcontrollers. Marlin supports all common platforms. Many commercial 3D printers come with Marlin installed. Check wit…

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

Access private members and statics of a C++ class

Open Machine Learning Course

ITMO course of operating systems

Main diyHue software repo