A library for implementing distributed systems with commmunicating fibers.
Verifies behavior for distributed systems implemented with the Fibril library.
Core types for the Fibril library.
Organ physics substrate — cardiac and respiratory simulation with autonomic modulation, respiratory sinus arrhythmia, integer-only ion channel dynamics, and real-time vital sign diagnostics