statistical information theory, variational/causal/active inference, formal methods, functional programming, TDA, supercollider, single cell genomics
-
ucsf
Popular repositories Loading
-
connortomaka.github.io
connortomaka.github.io Public templateGithub Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript
-
-
-
-
verified-compositional-active-inference
verified-compositional-active-inference PublicLean-verified finite Bayesian compilation and proof-carrying action governance with a Julia runtime boundary.
Lean
-
jspsych-contrib
jspsych-contrib PublicForked from abeith/jspsych-contrib
An open repository of jsPsych plugins and extensions, without any official support
TypeScript
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.