A textbook on informal homotopy type theory
For exploring cellular automata like Conway's Game of Life.
DXF2GCODE: converting 2D dxf drawings to CNC machine compatible G-Code
IEC 104 Source code Library for Linux c c++ posix arm
Data Analysis, Simulations and Visualization on the Sphere
SUMO is a microscopic, multi-modal traffic simulation.
IEEE VHDL-93 LRM supported parser implemented in Java, APIs Python/Tcl
DNP3 Outstation and client simulator, Source code Library, win, Linux
Cross-platform DICOM implementation
Free and open source pattern design software
2D & 3D TeX-Aware Vector Graphics Language
X-Ray and Neutron Reflectivity Modeling
Software tools for processing taxonomic descriptions in DELTA format
Python program for Geiger counters and Environmental Sensors
Processing and analysis of Small Angle X-ray Scattering (SAXS) data.
A library for scientific data visualization
Routines for wavefront propagation in IDL, Matlab, and Python
RNA coding potential assessment tool