Euler Yet another proof Engine
Queueing Theory Algorithms
An easy to use GUI for creating team rotas and scheduling absences.
ASALI is an open-source code for chemical engineers
Open-Source Framework for Distributed Constraint Optimization (DCOP)
Autoplot is an interactive browser for data on the web
Musician-oriented Linux distro
Smart GUI/Commandline tools to create IP-XACT( 2009/2014) files
LIXA, LIbre XA, is a free and open source XA transaction manager
3D platform action adventure with momentum-based flying
Satellite Procedure Execution Language and Library
Cross-platform C++ library for use as a default application framework.
A Dassault Aviation project to simplify the building of prototypes
AI-powered PC monitoring that explains. Not shows numbers/spikes.
Precision Trigonometry: Advanced Calculator for Complex Math
java bean / database driven zero code application framework
Free Lock Manager
Conductor is a microservices orchestration engine