Client for public libraries
C++ libraries for manipulations in non-Euclidean geometry
Constraint Satisfaction Problem solving library for Java
A collection of machine-checkend mathematical proofs
A Python library for solving geometric constraint problems
An updated Beginners guide to FreeBASIC
Xena transforms files into open data formats
Music research software
Data structures and Algorithms library
Molecular structure navigator for Blind and Visually Impaired people
Extreem Reader for Cosmological simulation data P-Gadet2 and ART codes
A system for computer algebra and symbolic mathematics
Bachelor of Science (Informatik)
S-Match is a semantic matching framework.
Tools to generate and visualize artificial whole slide images
jchart2d is a real-time charting library written in java.
A minimalist cross-platform transcription software