Pinned Loading

1. axtell-zipf-susb axtell-zipf-susb Public

   Axtell (2001) 'Zipf Distribution of U.S. Firm Sizes' re-estimated on public Census SUSB tables 1997-2022: discrete binned MLE under a frozen prereg, GoF + alternatives, OLS estimator calibration, s…

   HTML

2. crossfoot crossfoot Public

   Arithmetic-reconciled corpus of public statistical tables: transcriptions that prove themselves via the source's own cross-foots

   HTML

3. lambda-conformance-kit lambda-conformance-kit Public

   A language-agnostic conformance corpus for the untyped lambda calculus — 71 terms differentially verified by 11 independent reducers agreeing on de Bruijn canonical normal forms.

   Python

4. gakkari-ol gakkari-ol Public

   Calm, local-only terminal subscription tracker — Python + Textual + SQLite.

   Python