NASA-SW-VnV / ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
See what the GitHub community is most excited about this week.
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
This is the official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.
Making it easier to work with shaders
🦊 Anti-detect browser
Bitcoin Core integration/staging tree
C++ implementation of the Google logging module
Modified source engine (2017) developed by valve and leaked in 2020. Not for commercial purporses
Fast C++ logging library.
A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)
MLX: An array framework for Apple silicon
GoogleTest - Google Testing and Mocking Framework
OpenVINO™ is an open-source toolkit for optimizing and deploying AI inference
ArduPlane, ArduCopter, ArduRover, ArduSub source
Build cross-platform desktop apps with JavaScript, HTML, and CSS
ncnn is a high-performance neural network inference framework optimized for the mobile platform
Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research
Solidity, the Smart Contract Programming Language
Static reflection for enums (to string, from string, iteration) for modern C++, work with any enum type without any macro or boilerplate code
Open Source alternative to Algolia + Pinecone and an Easier-to-Use alternative to ElasticSearch ⚡ 🔍 ✨ Fast, typo tolerant, in-memory fuzzy Search Engine for building delightful search experiences
Seer - a gui frontend to gdb
Vulkan-based implementation of D3D8, 9, 10 and 11 for Linux / Wine