AI-driven neuro-symbolic solver for high-school geometry problems
Mobile manipulation research tools for roboticists
General Mission Analysis Tool
a parametric 3D CAD modeler
itom - an Open Source Measurement, Automation and Evaluation Software
LibrePLM integrates CAD editors in Odoo / LibrERP
Satellite Procedure Execution Language and Library
A GUI sorting visualizer desktop application
This repository contains the complete code and data for studying primo
irreversible encryption with time self-destruction
Random phenomena generator
Plots reflectivity response of Distributed Braggs Reflector mirrors
data analysis and Visualization with matplotlib
My super mini robotic arm robot project
PySCeS is the Python Simulator of Cellular Systems
Mutation Identification in Model Organism Genomes using Desktop PCs
Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout
Google Earth Enterprise - Open Source
iHome Smart Home System Platform
Calculates and plots Colour Magnitude Diagrams from Astronomical data
A multi-modeling and simulation environment to study complex systems
Design of specific primer combinations for bisulfite sequencing
Scripts and programs (e. g. THz-Shaker) for work in HZDR
Etchimaths(A'LEVEL) is a typical Mathematics software for A'LEVEL