For monitoring and control of distributed generation and consumption
A C++ library for AVR and NodeMCU
A powerful simulation for designing femtosecond lasers and amplifiers.
Integrated Development Environment (IDE) for learning HDL
Automates the building of VANET simulations using SUMO and OMNeT++
For building cross-platform 3D geospatial apps in Java
System safety, dependability and security analysis
Makani was developed a commercial-scale airborne wind turbine
Toolkit for agent-based & dynamic microsimulation modelling
A robocode championship manager made using JavaFx
A Processing/Java library for high performance GPU-Computing (GLSL)
Provides high performance computing power and state of the art tools
Scheduling lockages at ship locks with several parallel lock chambers
Generating PLC programs from formal specifications
Modeling and Simulation made NiCE!
Fast EXperimentation with Neural Networks
Safecap Platform for improving railway capacity via formal modelling