Static analyzer for C/C++ based on the theory of Abstract Interpretation.
updated at May 12, 2024, 3:55 a.m.
miniz: Single C source file zlib-replacement library, originally from code.google.com/p/miniz
updated at May 12, 2024, 3:45 a.m.
Newton Dynamics is an integrated solution for real time simulation of physics environments.
updated at May 12, 2024, 3:23 a.m.
Fast Open-Source Search & Clustering engine × for Vectors & 🔜 Strings × in C++, C, Python, JavaScript, Rust, Java, Objective-C, Swift, C#, GoLang, and Wolfram 🔍
updated at May 12, 2024, 3:21 a.m.
Remote Procedure Calls - 50x lower latency and 70x higher bandwidth than FastAPI, implementing JSON-RPC & 🔜 REST over io_uring and SIMDJSON ☎️
updated at May 12, 2024, 3:16 a.m.
Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!
updated at May 12, 2024, 3:13 a.m.
A C++ library for debugging purposes that can print any variable, even user-defined types.
updated at May 12, 2024, 2:53 a.m.
An Open Source Machine Learning Framework for Everyone
updated at May 12, 2024, 2:36 a.m.