Popular repositories Loading

1. williams-beer-pid williams-beer-pid Public

   Privately circulated revision of Williams & Beer (2010), "Decomposing Multivariate Information"

2. stoch_to_det stoch_to_det Public

   Forked from DLorell/stoch_to_det

   Lean

3. stoch-to-det-lower stoch-to-det-lower Public

   Lean certificate for the N=2 lower bound 1.960073002187

   Lean

4. general_stoch_to_det general_stoch_to_det Public

   Lean-certified alphabet-size-independent stochastic-to-deterministic bound for every n >= 3

   Lean

5. iliad-intensive iliad-intensive Public

   Forked from iliad-team/iliad-intensive

   Monorepo that hosts and serves the iliad intensive content

   TeX

6. m3-macos-virtualization m3-macos-virtualization Public

   Independent M3 Tahoe SPTM virtualization research: host tooling, pinned m1n1 patches, tests, and bounded experimental findings.

   Python