This dataset code generates mathematical question and answer pairs
AI-driven neuro-symbolic solver for high-school geometry problems
An open-source, GPU-accelerated physics simulation engine
Quantum assembly language for extended quantum circuits
A collection of python3 modules for Algorithmic Decision Theory
NOTICE OF CONSOLIDATION & PARTNERSHIP PENDING As of April 2026, the 20
Best in class SoC Integration Platform, IP-XACT, Verilog VHDL, UPF
PLC Technology!
A logic gate simulator for linux developed with Gtk and python.
StreamAlert is a serverless, realtime data analysis framework
iHome Smart Home System Platform
A novel transcription factor complex prediction algorithm.
Small factory simulator for control logic test purpose
MAN in Taiwan, MiT
NEVESIM is an event-driven neural simulation tool.