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. omarchy omarchy Public

   Forked from omacom/omarchy

   Beautiful, Modern & Opinionated Linux

   Shell

6. omarchy-pkgs omarchy-pkgs Public

   Forked from maralcbr/omarchy-pkgs

   Shell