12 projects
pintrs
Fast Rust-based Python extension for physical unit manipulation
bcrnnoise
Stochastic simulation of biochemical reaction networks with noise
solve_ivp_pint
ODE solver processing pint (using 'solve_ivp' function)
paper-badger
Automate theorem extraction, Lean formalization runs, and verified badge insertion for research papers.
mobspy
A Query-Based Language for Chemical Reaction Networks
logicsponge-core
A real-time data processing pipeline
logicsponge-processmining
A real-time data processing pipeline
logicsponge-monitoring
A real-time data processing pipeline
logicsponge
A real-time data processing pipeline
datasponge-monitoring
A real-time data processing pipeline
datasponge-core
A real-time data processing pipeline
datasponge
A real-time data processing pipeline
