A minimalistic digital logic simulator
Leading open-source visualization and observability platform
A self-hosted digital asset manager for 3d print files
QPanda 2 is an open source quantum computing framework
Operating Layer for LabOS (Stanford-Princeton AI Co-Scientists)
An advanced network simulator to design and configure virtual networks
Robocode is a programming tank game for Java
Tool support for the Z formal notation
A shared memory parallel sparse matrix library including Sparse BLAS.
Components for IEC61375 standardised communication
Scientific Visualisation Made Easy
Virtual X-Ray Imaging Library on GPU
Dynamical systems research tool
GPU/MIC accelerated radio interferometric calibration program
JASI - Java Event-Based Simulation Framework
Arduino Focuser, fully ASCOM complaint
A python based control system
Interactive geometry software for Euclidean and non-Euclidean spaces
Tool to work on map data, to check the data and generate your own maps
HP-41cx Emulator
A library for creating decision tables written in Java.
The free and open-source rule-based machine translation platform