ABC: System for Sequential Logic Synthesis and Formal Verification
Apron Numerical Abstract Domain Library
Official Cantera Website
Plugin wrapper around VCV Rack
Audio plugin host
The Common Foreign Function Interface
A cross-platform C and C++ unit testing framework for the 21st century
CUGR, VLSI Global Routing Tool Developed by CUHK
Main gperftools repository
client for Crossref search API
Finite element methods for electronic structure calculations on small systems
Linear optimization software
Molecular dynamics and Monte Carlo soft matter simulation on GPUs.
JackTrip: multi-machine audio network performance over the Internet.
JUCE is an open-source cross-platform C++ application framework for desktop and mobile applications, including VST, VST3, AU, AUv3, RTAS and AAX audio plug-ins.
Lean Theorem Prover
Minimal mDNS resolver (and announcer) cross-platform library
MaterialX is an open standard for the exchange of rich material and look-development content across applications and renderers.
Modular computation tool chain library
NWChem: Open Source High-Performance Computational Chemistry
R package to query, list, manipulate system processes
QCAD - The Open Source 2D CAD. QCAD is a cross-platform CAD solution for Windows, macOS and Linux. It supports the DXF format and optionally the DWG format (through a proprietary plugin).
Aer is a high performance simulator for quantum circuits that includes noise models
Solidity, the Smart Contract Programming Language
Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, Visitor and Listener. Used as a compiled interchange format in between SystemVerilog tools. Compiles on Linux gcc, Windows msys2-gcc & msvc, OsX
Universal Scene Description
Hosting library for JSFX