Software to control and analyze Tausand Tempico TP1004 timing data
Smart Thermodynamic Modeling with Graph Neural Networks
Best in class SoC Integration Platform, IP-XACT, Verilog VHDL, UPF
console tools, batch scripts, shell scripts, shell tools, utilities
Precision Trigonometry: Advanced Calculator for Complex Math
A versatile building control system using ESP32 type controllers.
Modern, privacy-friendly, and detailed web analytics
ARGO is a program for analysis of electronic structure calculations
A textbook on informal homotopy type theory
Python tool for section property evaluation and stress calculation
Management and Analyzis of VASP calculations
Paddle Quantum
Quantum Computer Library for Everyone
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
Scanning Probe Microscopy Controller and Data Visualization Software
Computer Assisted Proofs in Dynamics