A Python library for quantum programming using Quil
Cross-platform Open-source 2D CAD
An interactive viewer for three-dimensional chemical structures.
A circuit simulator with graphical user interface (GUI)
Model Railway CAD program
SUMO is a microscopic, multi-modal traffic simulation.
An object relational-mapping (ORM) library for Java
Toolkit for working with and mapping geospatial data
Open source finite element software for multiphysical problems
Tool support for the Z formal notation
Digital Circuits Design and Simulation
Agena is an interpreted procedural programming language.