Accelerated libraries for quantum-classical computing built on CUDA-Q
Quantum assembly language for extended quantum circuits
Advanced mathematical types and functions for Swift
A Portable General-Purpose Computer Algebra System
SCADA HMI for substations, IoT and automation applications
A language for making art using mathematics
Compilation and optimization framework for the Scaffold language
Penthode simulates, draw and plot electrical power distributions
A framework for implementing real-time control systems
Multi-platform API for Image Processing systems in Life Sciences
Neural Network Engineering Platform
NEVESIM is an event-driven neural simulation tool.
Ready-to-use appliance for GIS, Data Mining and Analysis, Modelling...
Chronos
Fast C library for relation algebra using binary decision diagrams.
ETHNOS - Expert Tribe in a Hybrid Network Operating System