CasADi is a symbolic framework for numeric optimization
The DB Browser for SQLite
TensorFlow is an open source library for machine learning
A GPU-accelerated library containing highly optimized building blocks
Audio server, programming language, and IDE for sound synthesis
Instant Kubernetes-Native Application Observability
A lightweight header-only library for using Keras (TensorFlow) models
Draws signalling charts, block diagrams and graphs from text input.
Data structures and Algorithms library
Please go to the GitHub page for more information
HiPS tool features to design and analyze hierarchical Petri nets
Export disassemblies into Protocol Buffers
FuzzBench - Fuzzer benchmarking as a service
RetDec is a retargetable machine-code decompiler based on LLVM
LeetCode Problems' Solutions
A robust sensor fusion library for online localization
A distributed graph deep learning framework.
An useful tool to analize header dependendencies via graphs
Total Order Labeling for Reachability Queries on Large Dynamic Graphs
A simple, easy-to-retarget, C compiler