Popular repositories Loading

1. ultan ultan Public

   Personal markdown memory for coding agents — brain-modelled curator, three retrieval tiers, lives on your disk.

   Python 4 1

2. TurboGears2Frozen TurboGears2Frozen Public

   TurboGears2Frozen

   Python 1

3. tgext.djangoforms tgext.djangoforms Public

   Python

4. perspective perspective Public

   Forked from perspective-dev/perspective

   Streaming pivot visualization via WebAssembly

   JavaScript

5. esp32-s2-sunset esp32-s2-sunset Public

   Python

6. timed-kt timed-kt Public

   Machine-checked formalization of Levin's time-bounded Kolmogorov complexity (Kt) in Lean 4 — to our knowledge the first in any proof assistant. Time-side invariance, conditioning at constant zero, …

   Lean