Faust code for ambisonic and multi-channel mixed music
A formalization of graded rings in Lean, corresponding to a CICM 2022 submission
Tested Python library of 367 quantitative human physiology equations (Feher, 3rd ed.) as importable, dependency-tracked AtomicEquation objects for CICM/ANZCA Primary Exam reasoning — with an integrative equation graph you seed and propagate. Full (qp) and minimal-runtime (qpm) tiers.
Add a description, image, and links to the cicm topic page so that developers can more easily learn about it.
To associate your repository with the cicm topic, visit your repo's landing page and select "manage topics."