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 an optimized firmware for RepRap 3D printers based on the Arduino platform. Many commercial 3D printers come with Marlin installed. Check with your vendor if you need source code for your…

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

SIRIUS project for antibody sequences correction

A simple blog engine for Django with multilingual capabilities