Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- static-analysis
- software-verification
- abstract-interpretation
- program-analysis
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
Header-Only C++ Library for Graph Representation and Algorithms
- search-algorithm
- dijkstra-algorithm
- graph
- graph-algorithms
TTK - Topological Data Analysis and Visualization - Source Code
- topological-data-analysis
- visualization
- python
- paraview
This repo contains code to natively run iDrive 6 on the J29 Toyota Supra. This in theory should be portable across iDrive versions. This was written entirely with AI because it's well beyond my skillset.
Music theory engine for embedded systems. Build musical instruments and controllers that interact with people and speak MIDI 1.0 and 2.0.