IEEE LRM compliant System Verilog Parser in Java with Python, Tcl API
Queueing Theory Algorithms
The BMRB library
A web platform for the MC simulation of realistic brain PET data
A Dassault Aviation project to simplify the building of prototypes
Modern, privacy-friendly, and detailed web analytics
ARGO is a program for analysis of electronic structure calculations
Universal modeling and simulation of fluid mechanics upon ML
A textbook on informal homotopy type theory
Python tool for section property evaluation and stress calculation
Paddle Quantum
Integrated Development Environment (IDE) for learning HDL
Quantum Computer Library for Everyone
Implementations for the Revised Report language
An interactive GUI for WhiteboxTools in a Jupyter-based environment
A python project for analysis of codon usage for gene or genome analys
Circuit simulator for power electronics
Computation and Visualization environment