From be9978b7dd6288272ef4fa8ca89b0d66c9770f93 Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 26 Oct 2026 18:19:26 +0000 Subject: [PATCH] perf: store census data as single JSON arrays The proven-suite bench gate failed: ijson_jcs ran 63x its baseline. The checker spawns one runtime process per JSON Lines line (~15 ms each), and this PR added ~750 lines. repos, unreachable and catalogue-rows are now one JCS array per file (.json), so the checker spawns three times: check-ijson-jcs --enforce over the whole repo drops from ~11.5 s to ~0.3 s locally, all 15 files canonical. The per-line spawning itself is a template checker issue and is left for a separate fix upstream. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_019a95kk88TZ1iegsBK3kox3 --- Justfile | 2 +- README.adoc | 6 +- docs/catalogue/census/catalogue-rows.json | 1 + docs/catalogue/census/catalogue-rows.jsonl | 239 ----------- docs/catalogue/census/repos.json | 1 + docs/catalogue/census/repos.jsonl | 476 --------------------- docs/catalogue/census/unreachable.json | 1 + docs/catalogue/census/unreachable.jsonl | 37 -- scripts/census/build-rows.sh | 5 +- scripts/census/render-catalogue.sh | 12 +- scripts/census/run-census.sh | 10 +- 11 files changed, 21 insertions(+), 769 deletions(-) create mode 100644 docs/catalogue/census/catalogue-rows.json delete mode 100644 docs/catalogue/census/catalogue-rows.jsonl create mode 100644 docs/catalogue/census/repos.json delete mode 100644 docs/catalogue/census/repos.jsonl create mode 100644 docs/catalogue/census/unreachable.json delete mode 100644 docs/catalogue/census/unreachable.jsonl diff --git a/Justfile b/Justfile index 9b0f128f..3b820210 100644 --- a/Justfile +++ b/Justfile @@ -716,7 +716,7 @@ uncloak: # ── mathesis: estate maths catalogue ────────────────────────────────────── -# Re-run the proof census over docs/catalogue/census/repos.jsonl and regenerate the catalogue +# Re-run the proof census over docs/catalogue/census/repos.json and regenerate the catalogue census: bash scripts/census/run-census.sh diff --git a/README.adoc b/README.adoc index f8cbdc03..19b238e6 100644 --- a/README.adoc +++ b/README.adoc @@ -20,14 +20,14 @@ in Rocq and Lean). The working method is the proof-craft skill. [cols="1,3"] |=== |`docs/catalogue/catalogue.adoc` |The catalogue: one row per repository with proof files of its own, split into theory and engineering. Generated; do not edit by hand. -|`docs/catalogue/census/` |What the catalogue is rendered from: `catalogue-rows.jsonl` (one row of counts per repository, no file paths), `repos.jsonl` (the census input), `unreachable.jsonl` and `template-paths.txt`. Each JSONL file is I-JSON/JCS, one object per line. +|`docs/catalogue/census/` |What the catalogue is rendered from: `catalogue-rows.json` (one row of counts per repository, no file paths), `repos.json` (the census input), `unreachable.json` and `template-paths.txt`. Each `.json` file is one I-JSON/JCS array. |`scripts/census/` |`run-census.sh` (whole census), `census-repo.sh` (one repo), `summarise.sh`, `build-rows.sh` (raw census to rows), `render-catalogue.sh` (rows to catalogue), and proof-craft's `proof-holes.sh`. |`Justfile` |`just census`, `just catalogue`, `just catalogue-check` (the committed catalogue matches the committed data). |=== == How the census works -. *List repositories.* `docs/catalogue/census/repos.jsonl` is the input. Agent sessions build +. *List repositories.* `docs/catalogue/census/repos.json` is the input. Agent sessions build it with the Claude Code remote `list_repos` tool, because the GitHub API is not reachable from them. . *List proof files cheaply.* Each repository is cloned blobless with @@ -54,7 +54,7 @@ The first census covered 476 repositories: the end of the catalogue, among them `cut-calculus`. * *Possibly missing:* the listing returned only repositories pushed since 2026-09-15, so older, untouched repos may be absent. Add them to - `docs/catalogue/census/repos.jsonl` and rerun. + `docs/catalogue/census/repos.json` and rerun. * *Theory or engineering* is a heuristic: more Agda, Lean, Rocq or Isabelle files than Idris2 or SPARK files reads as theory. Confirm each row against PROOF-POLICY. diff --git a/docs/catalogue/census/catalogue-rows.json b/docs/catalogue/census/catalogue-rows.json new file mode 100644 index 00000000..32bf2eec --- /dev/null +++ b/docs/catalogue/census/catalogue-rows.json @@ -0,0 +1 @@ +[{"axioms":0,"class":"engineering","declarations":120,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"catachresis-colloquium/IDApTIK","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":36,"fixture_files":0,"holes":0,"own_files":5,"policy":0,"provers":"idris2 5","repo":"catachresis-colloquium/befunge93-vault-cracker","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":95,"fixture_files":3,"holes":0,"own_files":6,"policy":0,"provers":"idris2 6","repo":"catachresis-colloquium/enaction-engine","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":13,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"catachresis-colloquium/enterglide-ncc-137-k","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":124,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"catachresis-colloquium/evil-weevil","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":212,"fixture_files":0,"holes":0,"own_files":7,"policy":0,"provers":"idris2 7","repo":"catachresis-colloquium/game-server-admin","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"theory","declarations":25,"fixture_files":0,"holes":0,"own_files":3,"policy":3,"provers":"lean 3","repo":"catachresis-colloquium/megadog","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":13,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"catachresis-colloquium/planer-1","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":13,"fixture_files":0,"holes":0,"own_files":2,"policy":0,"provers":"idris2 2","repo":"catachresis-colloquium/pong-ping","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":14,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"catachresis-colloquium/pow-the-game","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"catachresis-colloquium/project-ovine","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":46,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"catachresis-colloquium/proof-of-work","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":21,"fixture_files":0,"holes":0,"own_files":2,"policy":0,"provers":"idris2 2","repo":"catachresis-colloquium/sr71-blackglider","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":13,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"catachresis-colloquium/stealth-glider-ecosystem","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":13,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"catachresis-colloquium/tardis-rule-disruption","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":59,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"catachresis-colloquium/the-nash-equilibrium","status_doc":"docs/proof-debt.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":6,"policy":0,"provers":"spark 5, other 1","repo":"catachresis-colloquium/thejeffparadox","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":254,"fixture_files":0,"holes":0,"own_files":29,"policy":0,"provers":"idris2 25, spark 3, other 1","repo":"catachresis-colloquium/universal-modding-studio","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":13,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"catachresis-colloquium/x15-rocket-glider","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":23,"fixture_files":0,"holes":0,"own_files":8,"policy":0,"provers":"idris2 2, spark 5, other 1","repo":"hyperpolymath/0patch-lsa-sentinel","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":131,"fixture_files":0,"holes":3,"own_files":11,"policy":0,"provers":"idris2 11","repo":"hyperpolymath/Axiom.jl","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/BowtieRisk.jl","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/Cliodynamics.jl","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/Cliometrics.jl","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":184,"fixture_files":0,"holes":0,"own_files":10,"policy":0,"provers":"agda 10","repo":"hyperpolymath/CompositionalCounts.jl","status_doc":"","unsafe":0},{"axioms":1,"class":"theory","declarations":51,"fixture_files":0,"holes":0,"own_files":11,"policy":0,"provers":"agda 11","repo":"hyperpolymath/CompositionalDA.jl","status_doc":"proofs/PROOF-STATUS.md","unsafe":0},{"axioms":1,"class":"theory","declarations":236,"fixture_files":0,"holes":0,"own_files":15,"policy":6,"provers":"agda 15","repo":"hyperpolymath/ExactCounts.jl","status_doc":"proofs/PROOF-STATUS.md","unsafe":0},{"axioms":1,"class":"theory","declarations":44,"fixture_files":0,"holes":0,"own_files":9,"policy":1,"provers":"agda 9","repo":"hyperpolymath/ExactTests.jl","status_doc":"","unsafe":0},{"axioms":1,"class":"theory","declarations":83,"fixture_files":12,"holes":1,"own_files":17,"policy":1,"provers":"agda 17","repo":"hyperpolymath/JuliaPackageSpitter.jl","status_doc":"PROOF-NEEDS.adoc","unsafe":1},{"axioms":0,"class":"theory","declarations":1,"fixture_files":1,"holes":0,"own_files":1,"policy":0,"provers":"agda 1","repo":"hyperpolymath/ResidualEvidenceTypes.jl","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/SMTLib.jl","status_doc":"","unsafe":0},{"axioms":89,"class":"theory","declarations":950,"fixture_files":0,"holes":7,"own_files":40,"policy":4,"provers":"agda 5, lean 11, rocq 16, isabelle 2, idris2 5, smt-atp 1","repo":"hyperpolymath/absolute-zero","status_doc":"PROOF-STATUS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":128,"fixture_files":2,"holes":1,"own_files":8,"policy":0,"provers":"idris2 8","repo":"hyperpolymath/aerie","status_doc":"PROOF-NEEDS.md","unsafe":0},{"axioms":1,"class":"theory","declarations":568,"fixture_files":0,"holes":9,"own_files":54,"policy":0,"provers":"agda 23, lean 1, rocq 21, idris2 9","repo":"hyperpolymath/affinescript","status_doc":"docs/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":32,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/affinescript-vite","status_doc":".machine_readable/compliance/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":147,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/affinescriptiser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":139,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/alloyiser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":777,"fixture_files":1,"holes":39,"own_files":102,"policy":0,"provers":"idris2 39, spark 58, other 5","repo":"hyperpolymath/ambientops","status_doc":"PROOF-NEEDS.adoc","unsafe":8},{"axioms":0,"class":"engineering","declarations":140,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/anvomidaviser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":80,"fixture_files":1,"holes":0,"own_files":14,"policy":0,"provers":"idris2 14","repo":"hyperpolymath/anytype","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"theory","declarations":15,"fixture_files":32,"holes":0,"own_files":32,"policy":0,"provers":"agda 13, lean 2, rocq 4, isabelle 4, idris2 7, smt-atp 2","repo":"hyperpolymath/arghda-core","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":11340,"fixture_files":0,"holes":567,"own_files":567,"policy":0,"provers":"idris2 567","repo":"hyperpolymath/asdf-tool-plugins","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":127,"fixture_files":0,"holes":0,"own_files":21,"policy":4,"provers":"agda 4, idris2 3, smt-atp 14","repo":"hyperpolymath/atoma","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":137,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/atsiser","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":7,"fixture_files":1,"holes":0,"own_files":4,"policy":0,"provers":"agda 4","repo":"hyperpolymath/autoformal-fidelity","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":29,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/bebop-ffi","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":95,"fixture_files":9,"holes":0,"own_files":14,"policy":0,"provers":"lean 3, idris2 11","repo":"hyperpolymath/betlang","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":173,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/betlangiser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":39,"policy":0,"provers":"spark 37, other 2","repo":"hyperpolymath/bitfuckit","status_doc":"","unsafe":2},{"axioms":0,"class":"engineering","declarations":166,"fixture_files":0,"holes":0,"own_files":7,"policy":0,"provers":"idris2 7","repo":"hyperpolymath/bofig","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":46,"fixture_files":0,"holes":1,"own_files":8,"policy":0,"provers":"lean 8","repo":"hyperpolymath/boinc-boinc","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":421,"fixture_files":0,"holes":4,"own_files":26,"policy":0,"provers":"idris2 19, tla 6, alloy 1","repo":"hyperpolymath/boj-server","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":1500,"fixture_files":0,"holes":0,"own_files":184,"policy":0,"provers":"idris2 184","repo":"hyperpolymath/boj-server-cartridges","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":132,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/bqniser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":5,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"hyperpolymath/candy-crash","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":136,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/chapeliser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":33,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/checky-monkey","status_doc":"","unsafe":0},{"axioms":1,"class":"theory","declarations":178,"fixture_files":6,"holes":0,"own_files":25,"policy":1,"provers":"agda 25","repo":"hyperpolymath/choreographic-types","status_doc":"PROOF-STATUS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"spark 2, other 1","repo":"hyperpolymath/cicd-squabbler","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":46,"fixture_files":0,"holes":0,"own_files":13,"policy":0,"provers":"idris2 4, spark 8, other 1","repo":"hyperpolymath/civic-connect","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":2,"holes":0,"own_files":4,"policy":0,"provers":"spark 3, other 1","repo":"hyperpolymath/cloud-sync-tuner","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/cloudguard-cli","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/cloudguard-server","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":23,"fixture_files":0,"holes":3,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/conative-gating","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":8,"fixture_files":0,"holes":0,"own_files":6,"policy":0,"provers":"tla 6","repo":"hyperpolymath/conflow","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":15,"fixture_files":0,"holes":0,"own_files":5,"policy":0,"provers":"idris2 5","repo":"hyperpolymath/continuation-mesh","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":36,"policy":0,"provers":"spark 34, other 2","repo":"hyperpolymath/contractiles","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":83,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/cookie-rebound","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"spark 2, other 1","repo":"hyperpolymath/czech-file-knife","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":146,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/dafniser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":118,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/ddraig-ssg","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":161,"fixture_files":0,"holes":0,"own_files":18,"policy":0,"provers":"idris2 15, spark 3","repo":"hyperpolymath/deed-core","status_doc":"","unsafe":10},{"axioms":0,"class":"engineering","declarations":99,"fixture_files":3,"holes":0,"own_files":8,"policy":0,"provers":"idris2 8","repo":"hyperpolymath/deed-ecosystem","status_doc":"deno/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":4024,"fixture_files":41,"holes":91,"own_files":722,"policy":2,"provers":"agda 2, lean 3, rocq 274, idris2 347, spark 91, tla 2, other 3","repo":"hyperpolymath/developer-ecosystem","status_doc":"PROOF-NEEDS.adoc","unsafe":61},{"axioms":0,"class":"engineering","declarations":17,"fixture_files":0,"holes":2,"own_files":1,"policy":0,"provers":"idris2 1","repo":"hyperpolymath/dictask","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":11,"policy":0,"provers":"spark 10, other 1","repo":"hyperpolymath/docmatrix","status_doc":"PROOF-NEEDS.md","unsafe":0},{"axioms":0,"class":"engineering","declarations":223,"fixture_files":0,"holes":0,"own_files":13,"policy":0,"provers":"idris2 7, spark 5, other 1","repo":"hyperpolymath/docudactyl","status_doc":"","unsafe":0},{"axioms":1,"class":"engineering","declarations":1885,"fixture_files":21,"holes":4,"own_files":167,"policy":23,"provers":"agda 24, lean 17, rocq 9, isabelle 6, idris2 49, spark 18, smt-atp 31, why3 1, fstar 6, dafny 1, alloy 1, other 4","repo":"hyperpolymath/echidna","status_doc":"docs/PROOF-NEEDS.adoc","unsafe":4},{"axioms":0,"class":"theory","declarations":63,"fixture_files":0,"holes":6,"own_files":7,"policy":0,"provers":"lean 2, rocq 2, idris2 3","repo":"hyperpolymath/echidnabot","status_doc":"docs/proof-debt.adoc","unsafe":0},{"axioms":1,"class":"theory","declarations":1467,"fixture_files":0,"holes":0,"own_files":148,"policy":1,"provers":"agda 148","repo":"hyperpolymath/echo-types","status_doc":"PROOF-STATUS.adoc","unsafe":0},{"axioms":5,"class":"theory","declarations":218,"fixture_files":0,"holes":0,"own_files":11,"policy":1,"provers":"agda 1, rocq 6, idris2 4","repo":"hyperpolymath/eclexia","status_doc":"docs/proof-debt.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":121,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/eclexiaiser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":635,"fixture_files":0,"holes":15,"own_files":43,"policy":0,"provers":"rocq 19, idris2 24","repo":"hyperpolymath/ephapax","status_doc":"PROOF-NEEDS.adoc","unsafe":1},{"axioms":0,"class":"engineering","declarations":133,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/ephapaxiser","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":320,"fixture_files":14,"holes":0,"own_files":37,"policy":0,"provers":"agda 37","repo":"hyperpolymath/epistemic-types","status_doc":"PROOF-STATUS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":57,"fixture_files":0,"holes":0,"own_files":5,"policy":0,"provers":"idris2 5","repo":"hyperpolymath/error-lang","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":47,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/explicit-trust-plane","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":38,"fixture_files":0,"holes":0,"own_files":2,"policy":0,"provers":"idris2 2","repo":"hyperpolymath/feedback-o-tron","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/ffmpeg-ffi","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":156,"fixture_files":0,"holes":0,"own_files":10,"policy":0,"provers":"idris2 10","repo":"hyperpolymath/fireflag","status_doc":"PROOF-NEEDS.md","unsafe":0},{"axioms":1,"class":"theory","declarations":409,"fixture_files":0,"holes":0,"own_files":38,"policy":0,"provers":"agda 19, lean 19","repo":"hyperpolymath/firmboot","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":47,"fixture_files":0,"holes":3,"own_files":14,"policy":0,"provers":"idris2 3, spark 9, other 2","repo":"hyperpolymath/flatracoon","status_doc":"PROOF-NEEDS.md","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":11,"policy":0,"provers":"spark 10, other 1","repo":"hyperpolymath/formatrix-docs","status_doc":"PROOF-NEEDS.md","unsafe":0},{"axioms":0,"class":"engineering","declarations":136,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/futharkiser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":10,"fixture_files":0,"holes":0,"own_files":2,"policy":0,"provers":"idris2 2","repo":"hyperpolymath/git-reticulator","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"theory","declarations":63,"fixture_files":0,"holes":6,"own_files":7,"policy":0,"provers":"lean 2, rocq 2, idris2 3","repo":"hyperpolymath/gitbot-fleet","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":53,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/glyphbase","status_doc":"","unsafe":0},{"axioms":7,"class":"theory","declarations":737,"fixture_files":8,"holes":5,"own_files":53,"policy":0,"provers":"lean 49, idris2 4","repo":"hyperpolymath/gnpl","status_doc":"docs/proof-debt.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"hyperpolymath/haec","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":161,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/halideiser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"hyperpolymath/hermeneia","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":24,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/hpm-crypto-rsr","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":28,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/hpm-github-api-rsr","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":17,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/hpm-http-client-rsr","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":26,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/hpm-json-rsr","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":59,"fixture_files":0,"holes":1,"own_files":5,"policy":0,"provers":"idris2 5","repo":"hyperpolymath/http-capability-gateway","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":66,"fixture_files":0,"holes":0,"own_files":5,"policy":0,"provers":"idris2 5","repo":"hyperpolymath/hybrid-automation-router","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":1,"class":"engineering","declarations":448,"fixture_files":11,"holes":3,"own_files":42,"policy":1,"provers":"agda 1, lean 7, rocq 1, idris2 29, spark 1, tla 2, other 1","repo":"hyperpolymath/hypatia","status_doc":"docs/proof-debt.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":47,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/i-human","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":77,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/ideas-to-alphas","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":122,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/idrisiser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":59,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/intsoc-transactor","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":8,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"agda 1","repo":"hyperpolymath/invariant-path","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":17,"fixture_files":4,"holes":0,"own_files":5,"policy":0,"provers":"idris2 5","repo":"hyperpolymath/ipfs-overlay","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":254,"fixture_files":0,"holes":0,"own_files":18,"policy":0,"provers":"idris2 18","repo":"hyperpolymath/iseriser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":142,"fixture_files":5,"holes":0,"own_files":11,"policy":0,"provers":"agda 3, idris2 8","repo":"hyperpolymath/januskey","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"theory","declarations":225,"fixture_files":0,"holes":0,"own_files":10,"policy":0,"provers":"lean 9, idris2 1","repo":"hyperpolymath/jtv-lang","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":399,"fixture_files":0,"holes":15,"own_files":25,"policy":0,"provers":"idris2 25","repo":"hyperpolymath/julia-ecosystem","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":18,"fixture_files":3,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/julia-professional-registry","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":140,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/julianiser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":76,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/k9-ecosystem","status_doc":"deno/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":27,"fixture_files":0,"holes":0,"own_files":5,"policy":0,"provers":"idris2 5","repo":"hyperpolymath/kaldor-iiot","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":105,"fixture_files":0,"holes":1,"own_files":13,"policy":0,"provers":"idris2 13","repo":"hyperpolymath/kategoria","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":4,"class":"theory","declarations":82,"fixture_files":0,"holes":0,"own_files":6,"policy":1,"provers":"agda 5, idris2 1","repo":"hyperpolymath/kitchenspeak","status_doc":"docs/proof-debt.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":61,"fixture_files":0,"holes":0,"own_files":5,"policy":0,"provers":"agda 2, idris2 3","repo":"hyperpolymath/krl","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":6,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"hyperpolymath/laminar","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":32,"fixture_files":0,"holes":0,"own_files":8,"policy":0,"provers":"idris2 7, alloy 1","repo":"hyperpolymath/laniakea","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":1,"fixture_files":2,"holes":0,"own_files":2,"policy":0,"provers":"idris2 2","repo":"hyperpolymath/launch-scaffolder","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":264,"fixture_files":0,"holes":1,"own_files":13,"policy":0,"provers":"lean 8, idris2 5","repo":"hyperpolymath/lithoglyph","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":2,"class":"engineering","declarations":314,"fixture_files":0,"holes":0,"own_files":18,"policy":2,"provers":"agda 3, idris2 15","repo":"hyperpolymath/lol","status_doc":"docs/proof-debt.md","unsafe":0},{"axioms":0,"class":"engineering","declarations":141,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/lustreiser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":11,"fixture_files":2,"holes":0,"own_files":9,"policy":2,"provers":"agda 3, spark 4, other 2","repo":"hyperpolymath/maa-framework","status_doc":"PROOF-NEEDS.adoc","unsafe":1},{"axioms":0,"class":"theory","declarations":161,"fixture_files":0,"holes":0,"own_files":15,"policy":0,"provers":"lean 15","repo":"hyperpolymath/marches","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":2,"holes":0,"own_files":12,"policy":0,"provers":"spark 9, other 3","repo":"hyperpolymath/modshells","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":26,"class":"theory","declarations":617,"fixture_files":0,"holes":0,"own_files":25,"policy":0,"provers":"rocq 16, idris2 9","repo":"hyperpolymath/my-lang","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":135,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/mylangiser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":59,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/nesy-solver","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":6,"policy":0,"provers":"spark 5, other 1","repo":"hyperpolymath/network-ambulance","status_doc":"","unsafe":1},{"axioms":0,"class":"theory","declarations":19,"fixture_files":0,"holes":0,"own_files":6,"policy":6,"provers":"lean 3, tla 2, dafny 1","repo":"hyperpolymath/neurophone","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":279,"fixture_files":3,"holes":0,"own_files":24,"policy":0,"provers":"idris2 24","repo":"hyperpolymath/nextgen-databases","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":15,"fixture_files":0,"holes":0,"own_files":2,"policy":0,"provers":"idris2 2","repo":"hyperpolymath/nextgen-language-evangeliser","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":16,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"agda 3","repo":"hyperpolymath/nextgen-typing","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":147,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/nimiser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":156,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/oblibeniser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":99,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/oblibeny","status_doc":"docs/proof-debt.adoc","unsafe":0},{"axioms":0,"class":"theory","declarations":76,"fixture_files":2,"holes":0,"own_files":19,"policy":0,"provers":"agda 8, lean 5, idris2 6","repo":"hyperpolymath/occupancy-types","status_doc":"PROOF-STATUS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":404,"fixture_files":8,"holes":0,"own_files":48,"policy":0,"provers":"idris2 48","repo":"hyperpolymath/ochrance","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":123,"fixture_files":0,"holes":0,"own_files":14,"policy":0,"provers":"idris2 14","repo":"hyperpolymath/ochrance-framework","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":41,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/odds-and-sods-package-manager","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":157,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/otpiser","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":3,"fixture_files":4,"holes":0,"own_files":5,"policy":0,"provers":"agda 5","repo":"hyperpolymath/palimpsest-license","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":46,"fixture_files":1,"holes":0,"own_files":6,"policy":0,"provers":"idris2 6","repo":"hyperpolymath/panic-attack","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":125,"fixture_files":6,"holes":0,"own_files":12,"policy":0,"provers":"idris2 12","repo":"hyperpolymath/panll","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":5,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"hyperpolymath/panoply","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":113,"fixture_files":0,"holes":6,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/patallm-gallery","status_doc":"PROOF-NEEDS.md","unsafe":0},{"axioms":0,"class":"engineering","declarations":8,"fixture_files":0,"holes":1,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/patch-bridge","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":9,"fixture_files":0,"holes":0,"own_files":2,"policy":0,"provers":"tla 2","repo":"hyperpolymath/phantom-metal-taste","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":140,"fixture_files":0,"holes":3,"own_files":12,"policy":2,"provers":"agda 3, lean 3, rocq 1, idris2 2, tla 3","repo":"hyperpolymath/phronesis","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":155,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/phronesiser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/pimcore-fortress","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":5,"fixture_files":1,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"hyperpolymath/polyglot-formalisms-elixir","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":11,"policy":0,"provers":"spark 10, other 1","repo":"hyperpolymath/polyglot-i18n","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":137,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/ponyiser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":76,"fixture_files":0,"holes":0,"own_files":6,"policy":0,"provers":"idris2 6","repo":"hyperpolymath/presswerk","status_doc":"","unsafe":0},{"axioms":2,"class":"theory","declarations":365,"fixture_files":0,"holes":2,"own_files":42,"policy":0,"provers":"agda 10, lean 4, rocq 4, isabelle 2, idris2 12, tla 6, smt-atp 4","repo":"hyperpolymath/protocol-squisher","status_doc":"provenance/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":11166,"fixture_files":61,"holes":22,"own_files":967,"policy":0,"provers":"lean 14, idris2 906, spark 42, tla 1, other 4","repo":"hyperpolymath/proven","status_doc":"PROOF-NEEDS.adoc","unsafe":10},{"axioms":0,"class":"engineering","declarations":6242,"fixture_files":0,"holes":3,"own_files":1097,"policy":0,"provers":"idris2 899, spark 197, other 1","repo":"hyperpolymath/proven-servers","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":857,"fixture_files":27,"holes":0,"own_files":72,"policy":0,"provers":"idris2 72","repo":"hyperpolymath/proven-tests-and-benches","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":36,"fixture_files":0,"holes":0,"own_files":5,"policy":0,"provers":"agda 1, idris2 1, tla 3","repo":"hyperpolymath/quandledb","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":20,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 2, tla 2","repo":"hyperpolymath/quintessence","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":59,"fixture_files":0,"holes":0,"own_files":22,"policy":0,"provers":"idris2 3, spark 18, other 1","repo":"hyperpolymath/raze-tui","status_doc":"","unsafe":2},{"axioms":0,"class":"engineering","declarations":7,"fixture_files":1,"holes":0,"own_files":16,"policy":0,"provers":"idris2 1, spark 13, other 2","repo":"hyperpolymath/reposystem","status_doc":"PROOF-NEEDS.adoc","unsafe":2},{"axioms":0,"class":"theory","declarations":328,"fixture_files":13,"holes":0,"own_files":27,"policy":0,"provers":"agda 27","repo":"hyperpolymath/residual-evidence-types","status_doc":"PROOF-STATUS.adoc","unsafe":0},{"axioms":0,"class":"theory","declarations":271,"fixture_files":12,"holes":0,"own_files":22,"policy":0,"provers":"agda 22","repo":"hyperpolymath/resource-algebra","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":32,"policy":0,"provers":"spark 31, other 1","repo":"hyperpolymath/resource-record-fluctuator","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":64,"fixture_files":0,"holes":0,"own_files":13,"policy":0,"provers":"idris2 6, spark 6, other 1","repo":"hyperpolymath/robodog-defensive-systems-lab","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":74,"fixture_files":0,"holes":0,"own_files":6,"policy":0,"provers":"idris2 6","repo":"hyperpolymath/rpa-elysium","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"theory","declarations":67,"fixture_files":3,"holes":0,"own_files":16,"policy":0,"provers":"agda 16","repo":"hyperpolymath/secret-types","status_doc":"PROOF-STATUS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":117,"fixture_files":0,"holes":3,"own_files":6,"policy":0,"provers":"idris2 6","repo":"hyperpolymath/session-sentinel","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":101,"fixture_files":0,"holes":0,"own_files":6,"policy":0,"provers":"idris2 6","repo":"hyperpolymath/smtp-notify-action","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":43,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"agda 2, idris2 1","repo":"hyperpolymath/snifs","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":7,"policy":0,"provers":"spark 6, other 1","repo":"hyperpolymath/somethings-fishy","status_doc":"PROOF-NEEDS.adoc","unsafe":2},{"axioms":0,"class":"engineering","declarations":108,"fixture_files":0,"holes":3,"own_files":23,"policy":0,"provers":"lean 1, idris2 6, spark 13, other 3","repo":"hyperpolymath/ssg-collection","status_doc":"PROOF-NEEDS.adoc","unsafe":4},{"axioms":0,"class":"engineering","declarations":23,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 2, tla 2","repo":"hyperpolymath/stateful-artefacts","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"theory","declarations":22,"fixture_files":0,"holes":0,"own_files":4,"policy":3,"provers":"agda 4","repo":"hyperpolymath/statistikles","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"theory","declarations":164,"fixture_files":0,"holes":0,"own_files":21,"policy":0,"provers":"lean 21","repo":"hyperpolymath/system-et","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"theory","declarations":61,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"lean 3","repo":"hyperpolymath/tangle","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":74,"fixture_files":9,"holes":0,"own_files":10,"policy":0,"provers":"idris2 10","repo":"hyperpolymath/thunderbird-template-reloaded","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":181,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/tlaiser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":16,"policy":0,"provers":"spark 15, other 1","repo":"hyperpolymath/tree-navigator","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":13,"class":"engineering","declarations":165,"fixture_files":20,"holes":0,"own_files":64,"policy":0,"provers":"agda 2, idris2 5, spark 56, other 1","repo":"hyperpolymath/trigger","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":492,"fixture_files":0,"holes":10,"own_files":37,"policy":1,"provers":"agda 10, lean 11, idris2 16","repo":"hyperpolymath/trope-checker","status_doc":"docs/proof-debt.adoc","unsafe":0},{"axioms":0,"class":"theory","declarations":540,"fixture_files":0,"holes":5,"own_files":28,"policy":0,"provers":"lean 19, isabelle 9","repo":"hyperpolymath/tropical-types","status_doc":"PROOF-STATUS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":850,"fixture_files":12,"holes":0,"own_files":46,"policy":0,"provers":"idris2 46","repo":"hyperpolymath/typed-wasm","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":155,"fixture_files":0,"holes":0,"own_files":11,"policy":0,"provers":"idris2 11","repo":"hyperpolymath/typedqliser","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":159,"fixture_files":0,"holes":3,"own_files":6,"policy":0,"provers":"idris2 6","repo":"hyperpolymath/typell","status_doc":"PROOF-STATUS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":76,"fixture_files":6,"holes":0,"own_files":7,"policy":0,"provers":"idris2 7","repo":"hyperpolymath/ubicity","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/unified-dataset-vocab","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":110,"fixture_files":9,"holes":0,"own_files":12,"policy":0,"provers":"idris2 12","repo":"hyperpolymath/universal-chat-extractor","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/universal-extension-format","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":47,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/universal-project-manager","status_doc":"","unsafe":0},{"axioms":1,"class":"theory","declarations":960,"fixture_files":0,"holes":5,"own_files":64,"policy":9,"provers":"agda 10, lean 16, rocq 12, isabelle 9, idris2 12, smt-atp 5","repo":"hyperpolymath/valence-shell","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":953,"fixture_files":15,"holes":0,"own_files":36,"policy":0,"provers":"idris2 36","repo":"hyperpolymath/vcl-ut","status_doc":"docs/proof-debt.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":51,"fixture_files":0,"holes":0,"own_files":7,"policy":0,"provers":"idris2 7","repo":"hyperpolymath/veridical-simulation-core","status_doc":"","unsafe":0},{"axioms":43,"class":"engineering","declarations":365,"fixture_files":0,"holes":3,"own_files":20,"policy":0,"provers":"rocq 9, idris2 11","repo":"hyperpolymath/verisimdb","status_doc":"docs/proof-debt.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":208,"fixture_files":0,"holes":0,"own_files":12,"policy":0,"provers":"idris2 12","repo":"hyperpolymath/verisimiser","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":104,"fixture_files":6,"holes":3,"own_files":42,"policy":0,"provers":"idris2 10, spark 29, other 3","repo":"hyperpolymath/vexometer","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":58,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/volumod","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":33,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/voyage-enterprise-decision-system","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":418,"fixture_files":0,"holes":0,"own_files":18,"policy":0,"provers":"lean 7, rocq 3, idris2 8","repo":"hyperpolymath/wokelang","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":143,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/wokelangiser","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":16,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"isabelle 1","repo":"hyperpolymath/zerostep","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":110,"fixture_files":8,"holes":3,"own_files":12,"policy":0,"provers":"idris2 12","repo":"hyperpolymath/zerotier-k8s-link","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":94,"fixture_files":0,"holes":0,"own_files":15,"policy":0,"provers":"lean 9, idris2 3, tla 3","repo":"hyperpolymath/zotero-tools","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"theory","declarations":70,"fixture_files":0,"holes":0,"own_files":13,"policy":0,"provers":"agda 13","repo":"metadatastician/MetaManifold-Evidence","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":53,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"agda 3","repo":"metadatastician/ZenodoDeposits.jl","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":70,"fixture_files":0,"holes":3,"own_files":34,"policy":0,"provers":"idris2 5, spark 25, other 4","repo":"metadatastician/_pathroot","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":13,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"metadatastician/authority-watch","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"metadatastician/bowtie-workbench","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":127,"fixture_files":0,"holes":0,"own_files":12,"policy":0,"provers":"idris2 12","repo":"metadatastician/burble","status_doc":"PROOF-NEEDS.md","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"metadatastician/cadastra","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":91,"fixture_files":1,"holes":18,"own_files":85,"policy":0,"provers":"idris2 8, spark 75, other 2","repo":"metadatastician/cerro-torre","status_doc":"","unsafe":69},{"axioms":0,"class":"engineering","declarations":38,"fixture_files":3,"holes":0,"own_files":12,"policy":0,"provers":"idris2 12","repo":"metadatastician/cleave","status_doc":"docs/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"metadatastician/common-signal","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"metadatastician/first-post","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":1868,"fixture_files":10,"holes":0,"own_files":62,"policy":0,"provers":"idris2 53, tla 9","repo":"metadatastician/gossamer","status_doc":"PROOF-NEEDS.md","unsafe":8},{"axioms":0,"class":"engineering","declarations":185,"fixture_files":3,"holes":0,"own_files":19,"policy":0,"provers":"idris2 19","repo":"metadatastician/groove","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":108,"fixture_files":3,"holes":0,"own_files":9,"policy":0,"provers":"agda 5, idris2 1, tla 3","repo":"metadatastician/hvn-dehallucinator","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":25,"fixture_files":0,"holes":0,"own_files":6,"policy":0,"provers":"idris2 6","repo":"metadatastician/insolvency-tycoon","status_doc":"","unsafe":0},{"axioms":0,"class":"theory","declarations":58,"fixture_files":4,"holes":0,"own_files":6,"policy":0,"provers":"agda 6","repo":"metadatastician/lintel","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"metadatastician/marid","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":991,"fixture_files":8,"holes":4,"own_files":51,"policy":2,"provers":"agda 2, lean 1, idris2 42, tla 6","repo":"metadatastician/paint-type","status_doc":"PROOF-NEEDS.adoc","unsafe":8},{"axioms":4,"class":"engineering","declarations":199,"fixture_files":0,"holes":0,"own_files":11,"policy":0,"provers":"lean 5, idris2 6","repo":"metadatastician/phi-LAM","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":1,"fixture_files":1,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"metadatastician/proglanging-languages","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":23,"fixture_files":0,"holes":4,"own_files":2,"policy":0,"provers":"idris2 2","repo":"metadatastician/selur","status_doc":"","unsafe":0},{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"metadatastician/sim-public-relations","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":22,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"metadatastician/standards","status_doc":"3-practice/PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":294,"fixture_files":8,"holes":0,"own_files":19,"policy":0,"provers":"idris2 18, alloy 1","repo":"metadatastician/stapeln","status_doc":"PROOF-NEEDS.adoc","unsafe":0},{"axioms":0,"class":"engineering","declarations":122,"fixture_files":2,"holes":0,"own_files":23,"policy":0,"provers":"idris2 10, spark 12, other 1","repo":"metadatastician/vordr","status_doc":"","unsafe":4}] diff --git a/docs/catalogue/census/catalogue-rows.jsonl b/docs/catalogue/census/catalogue-rows.jsonl deleted file mode 100644 index 6bc76e5e..00000000 --- a/docs/catalogue/census/catalogue-rows.jsonl +++ /dev/null @@ -1,239 +0,0 @@ -{"axioms":0,"class":"engineering","declarations":120,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"catachresis-colloquium/IDApTIK","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":36,"fixture_files":0,"holes":0,"own_files":5,"policy":0,"provers":"idris2 5","repo":"catachresis-colloquium/befunge93-vault-cracker","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":95,"fixture_files":3,"holes":0,"own_files":6,"policy":0,"provers":"idris2 6","repo":"catachresis-colloquium/enaction-engine","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":13,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"catachresis-colloquium/enterglide-ncc-137-k","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":124,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"catachresis-colloquium/evil-weevil","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":212,"fixture_files":0,"holes":0,"own_files":7,"policy":0,"provers":"idris2 7","repo":"catachresis-colloquium/game-server-admin","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"theory","declarations":25,"fixture_files":0,"holes":0,"own_files":3,"policy":3,"provers":"lean 3","repo":"catachresis-colloquium/megadog","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":13,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"catachresis-colloquium/planer-1","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":13,"fixture_files":0,"holes":0,"own_files":2,"policy":0,"provers":"idris2 2","repo":"catachresis-colloquium/pong-ping","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":14,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"catachresis-colloquium/pow-the-game","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"catachresis-colloquium/project-ovine","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":46,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"catachresis-colloquium/proof-of-work","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":21,"fixture_files":0,"holes":0,"own_files":2,"policy":0,"provers":"idris2 2","repo":"catachresis-colloquium/sr71-blackglider","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":13,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"catachresis-colloquium/stealth-glider-ecosystem","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":13,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"catachresis-colloquium/tardis-rule-disruption","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":59,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"catachresis-colloquium/the-nash-equilibrium","status_doc":"docs/proof-debt.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":6,"policy":0,"provers":"spark 5, other 1","repo":"catachresis-colloquium/thejeffparadox","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":254,"fixture_files":0,"holes":0,"own_files":29,"policy":0,"provers":"idris2 25, spark 3, other 1","repo":"catachresis-colloquium/universal-modding-studio","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":13,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"catachresis-colloquium/x15-rocket-glider","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":23,"fixture_files":0,"holes":0,"own_files":8,"policy":0,"provers":"idris2 2, spark 5, other 1","repo":"hyperpolymath/0patch-lsa-sentinel","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":131,"fixture_files":0,"holes":3,"own_files":11,"policy":0,"provers":"idris2 11","repo":"hyperpolymath/Axiom.jl","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/BowtieRisk.jl","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/Cliodynamics.jl","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/Cliometrics.jl","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":184,"fixture_files":0,"holes":0,"own_files":10,"policy":0,"provers":"agda 10","repo":"hyperpolymath/CompositionalCounts.jl","status_doc":"","unsafe":0} -{"axioms":1,"class":"theory","declarations":51,"fixture_files":0,"holes":0,"own_files":11,"policy":0,"provers":"agda 11","repo":"hyperpolymath/CompositionalDA.jl","status_doc":"proofs/PROOF-STATUS.md","unsafe":0} -{"axioms":1,"class":"theory","declarations":236,"fixture_files":0,"holes":0,"own_files":15,"policy":6,"provers":"agda 15","repo":"hyperpolymath/ExactCounts.jl","status_doc":"proofs/PROOF-STATUS.md","unsafe":0} -{"axioms":1,"class":"theory","declarations":44,"fixture_files":0,"holes":0,"own_files":9,"policy":1,"provers":"agda 9","repo":"hyperpolymath/ExactTests.jl","status_doc":"","unsafe":0} -{"axioms":1,"class":"theory","declarations":83,"fixture_files":12,"holes":1,"own_files":17,"policy":1,"provers":"agda 17","repo":"hyperpolymath/JuliaPackageSpitter.jl","status_doc":"PROOF-NEEDS.adoc","unsafe":1} -{"axioms":0,"class":"theory","declarations":1,"fixture_files":1,"holes":0,"own_files":1,"policy":0,"provers":"agda 1","repo":"hyperpolymath/ResidualEvidenceTypes.jl","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/SMTLib.jl","status_doc":"","unsafe":0} -{"axioms":89,"class":"theory","declarations":950,"fixture_files":0,"holes":7,"own_files":40,"policy":4,"provers":"agda 5, lean 11, rocq 16, isabelle 2, idris2 5, smt-atp 1","repo":"hyperpolymath/absolute-zero","status_doc":"PROOF-STATUS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":128,"fixture_files":2,"holes":1,"own_files":8,"policy":0,"provers":"idris2 8","repo":"hyperpolymath/aerie","status_doc":"PROOF-NEEDS.md","unsafe":0} -{"axioms":1,"class":"theory","declarations":568,"fixture_files":0,"holes":9,"own_files":54,"policy":0,"provers":"agda 23, lean 1, rocq 21, idris2 9","repo":"hyperpolymath/affinescript","status_doc":"docs/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":32,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/affinescript-vite","status_doc":".machine_readable/compliance/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":147,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/affinescriptiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":139,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/alloyiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":777,"fixture_files":1,"holes":39,"own_files":102,"policy":0,"provers":"idris2 39, spark 58, other 5","repo":"hyperpolymath/ambientops","status_doc":"PROOF-NEEDS.adoc","unsafe":8} -{"axioms":0,"class":"engineering","declarations":140,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/anvomidaviser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":80,"fixture_files":1,"holes":0,"own_files":14,"policy":0,"provers":"idris2 14","repo":"hyperpolymath/anytype","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"theory","declarations":15,"fixture_files":32,"holes":0,"own_files":32,"policy":0,"provers":"agda 13, lean 2, rocq 4, isabelle 4, idris2 7, smt-atp 2","repo":"hyperpolymath/arghda-core","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":11340,"fixture_files":0,"holes":567,"own_files":567,"policy":0,"provers":"idris2 567","repo":"hyperpolymath/asdf-tool-plugins","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":127,"fixture_files":0,"holes":0,"own_files":21,"policy":4,"provers":"agda 4, idris2 3, smt-atp 14","repo":"hyperpolymath/atoma","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":137,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/atsiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":7,"fixture_files":1,"holes":0,"own_files":4,"policy":0,"provers":"agda 4","repo":"hyperpolymath/autoformal-fidelity","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":29,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/bebop-ffi","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":95,"fixture_files":9,"holes":0,"own_files":14,"policy":0,"provers":"lean 3, idris2 11","repo":"hyperpolymath/betlang","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":173,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/betlangiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":39,"policy":0,"provers":"spark 37, other 2","repo":"hyperpolymath/bitfuckit","status_doc":"","unsafe":2} -{"axioms":0,"class":"engineering","declarations":166,"fixture_files":0,"holes":0,"own_files":7,"policy":0,"provers":"idris2 7","repo":"hyperpolymath/bofig","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":46,"fixture_files":0,"holes":1,"own_files":8,"policy":0,"provers":"lean 8","repo":"hyperpolymath/boinc-boinc","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":421,"fixture_files":0,"holes":4,"own_files":26,"policy":0,"provers":"idris2 19, tla 6, alloy 1","repo":"hyperpolymath/boj-server","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":1500,"fixture_files":0,"holes":0,"own_files":184,"policy":0,"provers":"idris2 184","repo":"hyperpolymath/boj-server-cartridges","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":132,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/bqniser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":5,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"hyperpolymath/candy-crash","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":136,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/chapeliser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":33,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/checky-monkey","status_doc":"","unsafe":0} -{"axioms":1,"class":"theory","declarations":178,"fixture_files":6,"holes":0,"own_files":25,"policy":1,"provers":"agda 25","repo":"hyperpolymath/choreographic-types","status_doc":"PROOF-STATUS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"spark 2, other 1","repo":"hyperpolymath/cicd-squabbler","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":46,"fixture_files":0,"holes":0,"own_files":13,"policy":0,"provers":"idris2 4, spark 8, other 1","repo":"hyperpolymath/civic-connect","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":2,"holes":0,"own_files":4,"policy":0,"provers":"spark 3, other 1","repo":"hyperpolymath/cloud-sync-tuner","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/cloudguard-cli","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/cloudguard-server","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":23,"fixture_files":0,"holes":3,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/conative-gating","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":8,"fixture_files":0,"holes":0,"own_files":6,"policy":0,"provers":"tla 6","repo":"hyperpolymath/conflow","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":15,"fixture_files":0,"holes":0,"own_files":5,"policy":0,"provers":"idris2 5","repo":"hyperpolymath/continuation-mesh","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":36,"policy":0,"provers":"spark 34, other 2","repo":"hyperpolymath/contractiles","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":83,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/cookie-rebound","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"spark 2, other 1","repo":"hyperpolymath/czech-file-knife","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":146,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/dafniser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":118,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/ddraig-ssg","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":161,"fixture_files":0,"holes":0,"own_files":18,"policy":0,"provers":"idris2 15, spark 3","repo":"hyperpolymath/deed-core","status_doc":"","unsafe":10} -{"axioms":0,"class":"engineering","declarations":99,"fixture_files":3,"holes":0,"own_files":8,"policy":0,"provers":"idris2 8","repo":"hyperpolymath/deed-ecosystem","status_doc":"deno/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":4024,"fixture_files":41,"holes":91,"own_files":722,"policy":2,"provers":"agda 2, lean 3, rocq 274, idris2 347, spark 91, tla 2, other 3","repo":"hyperpolymath/developer-ecosystem","status_doc":"PROOF-NEEDS.adoc","unsafe":61} -{"axioms":0,"class":"engineering","declarations":17,"fixture_files":0,"holes":2,"own_files":1,"policy":0,"provers":"idris2 1","repo":"hyperpolymath/dictask","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":11,"policy":0,"provers":"spark 10, other 1","repo":"hyperpolymath/docmatrix","status_doc":"PROOF-NEEDS.md","unsafe":0} -{"axioms":0,"class":"engineering","declarations":223,"fixture_files":0,"holes":0,"own_files":13,"policy":0,"provers":"idris2 7, spark 5, other 1","repo":"hyperpolymath/docudactyl","status_doc":"","unsafe":0} -{"axioms":1,"class":"engineering","declarations":1885,"fixture_files":21,"holes":4,"own_files":167,"policy":23,"provers":"agda 24, lean 17, rocq 9, isabelle 6, idris2 49, spark 18, smt-atp 31, why3 1, fstar 6, dafny 1, alloy 1, other 4","repo":"hyperpolymath/echidna","status_doc":"docs/PROOF-NEEDS.adoc","unsafe":4} -{"axioms":0,"class":"theory","declarations":63,"fixture_files":0,"holes":6,"own_files":7,"policy":0,"provers":"lean 2, rocq 2, idris2 3","repo":"hyperpolymath/echidnabot","status_doc":"docs/proof-debt.adoc","unsafe":0} -{"axioms":1,"class":"theory","declarations":1467,"fixture_files":0,"holes":0,"own_files":148,"policy":1,"provers":"agda 148","repo":"hyperpolymath/echo-types","status_doc":"PROOF-STATUS.adoc","unsafe":0} -{"axioms":5,"class":"theory","declarations":218,"fixture_files":0,"holes":0,"own_files":11,"policy":1,"provers":"agda 1, rocq 6, idris2 4","repo":"hyperpolymath/eclexia","status_doc":"docs/proof-debt.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":121,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/eclexiaiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":635,"fixture_files":0,"holes":15,"own_files":43,"policy":0,"provers":"rocq 19, idris2 24","repo":"hyperpolymath/ephapax","status_doc":"PROOF-NEEDS.adoc","unsafe":1} -{"axioms":0,"class":"engineering","declarations":133,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/ephapaxiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":320,"fixture_files":14,"holes":0,"own_files":37,"policy":0,"provers":"agda 37","repo":"hyperpolymath/epistemic-types","status_doc":"PROOF-STATUS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":57,"fixture_files":0,"holes":0,"own_files":5,"policy":0,"provers":"idris2 5","repo":"hyperpolymath/error-lang","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":47,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/explicit-trust-plane","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":38,"fixture_files":0,"holes":0,"own_files":2,"policy":0,"provers":"idris2 2","repo":"hyperpolymath/feedback-o-tron","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/ffmpeg-ffi","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":156,"fixture_files":0,"holes":0,"own_files":10,"policy":0,"provers":"idris2 10","repo":"hyperpolymath/fireflag","status_doc":"PROOF-NEEDS.md","unsafe":0} -{"axioms":1,"class":"theory","declarations":409,"fixture_files":0,"holes":0,"own_files":38,"policy":0,"provers":"agda 19, lean 19","repo":"hyperpolymath/firmboot","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":47,"fixture_files":0,"holes":3,"own_files":14,"policy":0,"provers":"idris2 3, spark 9, other 2","repo":"hyperpolymath/flatracoon","status_doc":"PROOF-NEEDS.md","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":11,"policy":0,"provers":"spark 10, other 1","repo":"hyperpolymath/formatrix-docs","status_doc":"PROOF-NEEDS.md","unsafe":0} -{"axioms":0,"class":"engineering","declarations":136,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/futharkiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":10,"fixture_files":0,"holes":0,"own_files":2,"policy":0,"provers":"idris2 2","repo":"hyperpolymath/git-reticulator","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"theory","declarations":63,"fixture_files":0,"holes":6,"own_files":7,"policy":0,"provers":"lean 2, rocq 2, idris2 3","repo":"hyperpolymath/gitbot-fleet","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":53,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/glyphbase","status_doc":"","unsafe":0} -{"axioms":7,"class":"theory","declarations":737,"fixture_files":8,"holes":5,"own_files":53,"policy":0,"provers":"lean 49, idris2 4","repo":"hyperpolymath/gnpl","status_doc":"docs/proof-debt.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"hyperpolymath/haec","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":161,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/halideiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"hyperpolymath/hermeneia","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":24,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/hpm-crypto-rsr","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":28,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/hpm-github-api-rsr","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":17,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/hpm-http-client-rsr","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":26,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/hpm-json-rsr","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":59,"fixture_files":0,"holes":1,"own_files":5,"policy":0,"provers":"idris2 5","repo":"hyperpolymath/http-capability-gateway","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":66,"fixture_files":0,"holes":0,"own_files":5,"policy":0,"provers":"idris2 5","repo":"hyperpolymath/hybrid-automation-router","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":1,"class":"engineering","declarations":448,"fixture_files":11,"holes":3,"own_files":42,"policy":1,"provers":"agda 1, lean 7, rocq 1, idris2 29, spark 1, tla 2, other 1","repo":"hyperpolymath/hypatia","status_doc":"docs/proof-debt.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":47,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/i-human","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":77,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/ideas-to-alphas","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":122,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/idrisiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":59,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/intsoc-transactor","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":8,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"agda 1","repo":"hyperpolymath/invariant-path","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":17,"fixture_files":4,"holes":0,"own_files":5,"policy":0,"provers":"idris2 5","repo":"hyperpolymath/ipfs-overlay","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":254,"fixture_files":0,"holes":0,"own_files":18,"policy":0,"provers":"idris2 18","repo":"hyperpolymath/iseriser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":142,"fixture_files":5,"holes":0,"own_files":11,"policy":0,"provers":"agda 3, idris2 8","repo":"hyperpolymath/januskey","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"theory","declarations":225,"fixture_files":0,"holes":0,"own_files":10,"policy":0,"provers":"lean 9, idris2 1","repo":"hyperpolymath/jtv-lang","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":399,"fixture_files":0,"holes":15,"own_files":25,"policy":0,"provers":"idris2 25","repo":"hyperpolymath/julia-ecosystem","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":18,"fixture_files":3,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/julia-professional-registry","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":140,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/julianiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":76,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/k9-ecosystem","status_doc":"deno/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":27,"fixture_files":0,"holes":0,"own_files":5,"policy":0,"provers":"idris2 5","repo":"hyperpolymath/kaldor-iiot","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":105,"fixture_files":0,"holes":1,"own_files":13,"policy":0,"provers":"idris2 13","repo":"hyperpolymath/kategoria","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":4,"class":"theory","declarations":82,"fixture_files":0,"holes":0,"own_files":6,"policy":1,"provers":"agda 5, idris2 1","repo":"hyperpolymath/kitchenspeak","status_doc":"docs/proof-debt.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":61,"fixture_files":0,"holes":0,"own_files":5,"policy":0,"provers":"agda 2, idris2 3","repo":"hyperpolymath/krl","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":6,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"hyperpolymath/laminar","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":32,"fixture_files":0,"holes":0,"own_files":8,"policy":0,"provers":"idris2 7, alloy 1","repo":"hyperpolymath/laniakea","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":1,"fixture_files":2,"holes":0,"own_files":2,"policy":0,"provers":"idris2 2","repo":"hyperpolymath/launch-scaffolder","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":264,"fixture_files":0,"holes":1,"own_files":13,"policy":0,"provers":"lean 8, idris2 5","repo":"hyperpolymath/lithoglyph","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":2,"class":"engineering","declarations":314,"fixture_files":0,"holes":0,"own_files":18,"policy":2,"provers":"agda 3, idris2 15","repo":"hyperpolymath/lol","status_doc":"docs/proof-debt.md","unsafe":0} -{"axioms":0,"class":"engineering","declarations":141,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/lustreiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":11,"fixture_files":2,"holes":0,"own_files":9,"policy":2,"provers":"agda 3, spark 4, other 2","repo":"hyperpolymath/maa-framework","status_doc":"PROOF-NEEDS.adoc","unsafe":1} -{"axioms":0,"class":"theory","declarations":161,"fixture_files":0,"holes":0,"own_files":15,"policy":0,"provers":"lean 15","repo":"hyperpolymath/marches","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":2,"holes":0,"own_files":12,"policy":0,"provers":"spark 9, other 3","repo":"hyperpolymath/modshells","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":26,"class":"theory","declarations":617,"fixture_files":0,"holes":0,"own_files":25,"policy":0,"provers":"rocq 16, idris2 9","repo":"hyperpolymath/my-lang","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":135,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/mylangiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":59,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/nesy-solver","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":6,"policy":0,"provers":"spark 5, other 1","repo":"hyperpolymath/network-ambulance","status_doc":"","unsafe":1} -{"axioms":0,"class":"theory","declarations":19,"fixture_files":0,"holes":0,"own_files":6,"policy":6,"provers":"lean 3, tla 2, dafny 1","repo":"hyperpolymath/neurophone","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":279,"fixture_files":3,"holes":0,"own_files":24,"policy":0,"provers":"idris2 24","repo":"hyperpolymath/nextgen-databases","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":15,"fixture_files":0,"holes":0,"own_files":2,"policy":0,"provers":"idris2 2","repo":"hyperpolymath/nextgen-language-evangeliser","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":16,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"agda 3","repo":"hyperpolymath/nextgen-typing","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":147,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/nimiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":156,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/oblibeniser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":99,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/oblibeny","status_doc":"docs/proof-debt.adoc","unsafe":0} -{"axioms":0,"class":"theory","declarations":76,"fixture_files":2,"holes":0,"own_files":19,"policy":0,"provers":"agda 8, lean 5, idris2 6","repo":"hyperpolymath/occupancy-types","status_doc":"PROOF-STATUS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":404,"fixture_files":8,"holes":0,"own_files":48,"policy":0,"provers":"idris2 48","repo":"hyperpolymath/ochrance","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":123,"fixture_files":0,"holes":0,"own_files":14,"policy":0,"provers":"idris2 14","repo":"hyperpolymath/ochrance-framework","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":41,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/odds-and-sods-package-manager","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":157,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/otpiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":3,"fixture_files":4,"holes":0,"own_files":5,"policy":0,"provers":"agda 5","repo":"hyperpolymath/palimpsest-license","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":46,"fixture_files":1,"holes":0,"own_files":6,"policy":0,"provers":"idris2 6","repo":"hyperpolymath/panic-attack","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":125,"fixture_files":6,"holes":0,"own_files":12,"policy":0,"provers":"idris2 12","repo":"hyperpolymath/panll","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":5,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"hyperpolymath/panoply","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":113,"fixture_files":0,"holes":6,"own_files":4,"policy":0,"provers":"idris2 4","repo":"hyperpolymath/patallm-gallery","status_doc":"PROOF-NEEDS.md","unsafe":0} -{"axioms":0,"class":"engineering","declarations":8,"fixture_files":0,"holes":1,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/patch-bridge","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":9,"fixture_files":0,"holes":0,"own_files":2,"policy":0,"provers":"tla 2","repo":"hyperpolymath/phantom-metal-taste","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":140,"fixture_files":0,"holes":3,"own_files":12,"policy":2,"provers":"agda 3, lean 3, rocq 1, idris2 2, tla 3","repo":"hyperpolymath/phronesis","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":155,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/phronesiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/pimcore-fortress","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":5,"fixture_files":1,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"hyperpolymath/polyglot-formalisms-elixir","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":11,"policy":0,"provers":"spark 10, other 1","repo":"hyperpolymath/polyglot-i18n","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":137,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/ponyiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":76,"fixture_files":0,"holes":0,"own_files":6,"policy":0,"provers":"idris2 6","repo":"hyperpolymath/presswerk","status_doc":"","unsafe":0} -{"axioms":2,"class":"theory","declarations":365,"fixture_files":0,"holes":2,"own_files":42,"policy":0,"provers":"agda 10, lean 4, rocq 4, isabelle 2, idris2 12, tla 6, smt-atp 4","repo":"hyperpolymath/protocol-squisher","status_doc":"provenance/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":11166,"fixture_files":61,"holes":22,"own_files":967,"policy":0,"provers":"lean 14, idris2 906, spark 42, tla 1, other 4","repo":"hyperpolymath/proven","status_doc":"PROOF-NEEDS.adoc","unsafe":10} -{"axioms":0,"class":"engineering","declarations":6242,"fixture_files":0,"holes":3,"own_files":1097,"policy":0,"provers":"idris2 899, spark 197, other 1","repo":"hyperpolymath/proven-servers","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":857,"fixture_files":27,"holes":0,"own_files":72,"policy":0,"provers":"idris2 72","repo":"hyperpolymath/proven-tests-and-benches","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":36,"fixture_files":0,"holes":0,"own_files":5,"policy":0,"provers":"agda 1, idris2 1, tla 3","repo":"hyperpolymath/quandledb","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":20,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 2, tla 2","repo":"hyperpolymath/quintessence","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":59,"fixture_files":0,"holes":0,"own_files":22,"policy":0,"provers":"idris2 3, spark 18, other 1","repo":"hyperpolymath/raze-tui","status_doc":"","unsafe":2} -{"axioms":0,"class":"engineering","declarations":7,"fixture_files":1,"holes":0,"own_files":16,"policy":0,"provers":"idris2 1, spark 13, other 2","repo":"hyperpolymath/reposystem","status_doc":"PROOF-NEEDS.adoc","unsafe":2} -{"axioms":0,"class":"theory","declarations":328,"fixture_files":13,"holes":0,"own_files":27,"policy":0,"provers":"agda 27","repo":"hyperpolymath/residual-evidence-types","status_doc":"PROOF-STATUS.adoc","unsafe":0} -{"axioms":0,"class":"theory","declarations":271,"fixture_files":12,"holes":0,"own_files":22,"policy":0,"provers":"agda 22","repo":"hyperpolymath/resource-algebra","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":32,"policy":0,"provers":"spark 31, other 1","repo":"hyperpolymath/resource-record-fluctuator","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":64,"fixture_files":0,"holes":0,"own_files":13,"policy":0,"provers":"idris2 6, spark 6, other 1","repo":"hyperpolymath/robodog-defensive-systems-lab","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":74,"fixture_files":0,"holes":0,"own_files":6,"policy":0,"provers":"idris2 6","repo":"hyperpolymath/rpa-elysium","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"theory","declarations":67,"fixture_files":3,"holes":0,"own_files":16,"policy":0,"provers":"agda 16","repo":"hyperpolymath/secret-types","status_doc":"PROOF-STATUS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":117,"fixture_files":0,"holes":3,"own_files":6,"policy":0,"provers":"idris2 6","repo":"hyperpolymath/session-sentinel","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":101,"fixture_files":0,"holes":0,"own_files":6,"policy":0,"provers":"idris2 6","repo":"hyperpolymath/smtp-notify-action","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":43,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"agda 2, idris2 1","repo":"hyperpolymath/snifs","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":7,"policy":0,"provers":"spark 6, other 1","repo":"hyperpolymath/somethings-fishy","status_doc":"PROOF-NEEDS.adoc","unsafe":2} -{"axioms":0,"class":"engineering","declarations":108,"fixture_files":0,"holes":3,"own_files":23,"policy":0,"provers":"lean 1, idris2 6, spark 13, other 3","repo":"hyperpolymath/ssg-collection","status_doc":"PROOF-NEEDS.adoc","unsafe":4} -{"axioms":0,"class":"engineering","declarations":23,"fixture_files":0,"holes":0,"own_files":4,"policy":0,"provers":"idris2 2, tla 2","repo":"hyperpolymath/stateful-artefacts","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"theory","declarations":22,"fixture_files":0,"holes":0,"own_files":4,"policy":3,"provers":"agda 4","repo":"hyperpolymath/statistikles","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"theory","declarations":164,"fixture_files":0,"holes":0,"own_files":21,"policy":0,"provers":"lean 21","repo":"hyperpolymath/system-et","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"theory","declarations":61,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"lean 3","repo":"hyperpolymath/tangle","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":74,"fixture_files":9,"holes":0,"own_files":10,"policy":0,"provers":"idris2 10","repo":"hyperpolymath/thunderbird-template-reloaded","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":181,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/tlaiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":16,"policy":0,"provers":"spark 15, other 1","repo":"hyperpolymath/tree-navigator","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":13,"class":"engineering","declarations":165,"fixture_files":20,"holes":0,"own_files":64,"policy":0,"provers":"agda 2, idris2 5, spark 56, other 1","repo":"hyperpolymath/trigger","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":492,"fixture_files":0,"holes":10,"own_files":37,"policy":1,"provers":"agda 10, lean 11, idris2 16","repo":"hyperpolymath/trope-checker","status_doc":"docs/proof-debt.adoc","unsafe":0} -{"axioms":0,"class":"theory","declarations":540,"fixture_files":0,"holes":5,"own_files":28,"policy":0,"provers":"lean 19, isabelle 9","repo":"hyperpolymath/tropical-types","status_doc":"PROOF-STATUS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":850,"fixture_files":12,"holes":0,"own_files":46,"policy":0,"provers":"idris2 46","repo":"hyperpolymath/typed-wasm","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":155,"fixture_files":0,"holes":0,"own_files":11,"policy":0,"provers":"idris2 11","repo":"hyperpolymath/typedqliser","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":159,"fixture_files":0,"holes":3,"own_files":6,"policy":0,"provers":"idris2 6","repo":"hyperpolymath/typell","status_doc":"PROOF-STATUS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":76,"fixture_files":6,"holes":0,"own_files":7,"policy":0,"provers":"idris2 7","repo":"hyperpolymath/ubicity","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/unified-dataset-vocab","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":110,"fixture_files":9,"holes":0,"own_files":12,"policy":0,"provers":"idris2 12","repo":"hyperpolymath/universal-chat-extractor","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":60,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/universal-extension-format","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":47,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/universal-project-manager","status_doc":"","unsafe":0} -{"axioms":1,"class":"theory","declarations":960,"fixture_files":0,"holes":5,"own_files":64,"policy":9,"provers":"agda 10, lean 16, rocq 12, isabelle 9, idris2 12, smt-atp 5","repo":"hyperpolymath/valence-shell","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":953,"fixture_files":15,"holes":0,"own_files":36,"policy":0,"provers":"idris2 36","repo":"hyperpolymath/vcl-ut","status_doc":"docs/proof-debt.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":51,"fixture_files":0,"holes":0,"own_files":7,"policy":0,"provers":"idris2 7","repo":"hyperpolymath/veridical-simulation-core","status_doc":"","unsafe":0} -{"axioms":43,"class":"engineering","declarations":365,"fixture_files":0,"holes":3,"own_files":20,"policy":0,"provers":"rocq 9, idris2 11","repo":"hyperpolymath/verisimdb","status_doc":"docs/proof-debt.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":208,"fixture_files":0,"holes":0,"own_files":12,"policy":0,"provers":"idris2 12","repo":"hyperpolymath/verisimiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":104,"fixture_files":6,"holes":3,"own_files":42,"policy":0,"provers":"idris2 10, spark 29, other 3","repo":"hyperpolymath/vexometer","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":58,"fixture_files":0,"holes":3,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/volumod","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":33,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"hyperpolymath/voyage-enterprise-decision-system","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":418,"fixture_files":0,"holes":0,"own_files":18,"policy":0,"provers":"lean 7, rocq 3, idris2 8","repo":"hyperpolymath/wokelang","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":143,"fixture_files":0,"holes":0,"own_files":9,"policy":0,"provers":"idris2 9","repo":"hyperpolymath/wokelangiser","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":16,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"isabelle 1","repo":"hyperpolymath/zerostep","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":110,"fixture_files":8,"holes":3,"own_files":12,"policy":0,"provers":"idris2 12","repo":"hyperpolymath/zerotier-k8s-link","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":94,"fixture_files":0,"holes":0,"own_files":15,"policy":0,"provers":"lean 9, idris2 3, tla 3","repo":"hyperpolymath/zotero-tools","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"theory","declarations":70,"fixture_files":0,"holes":0,"own_files":13,"policy":0,"provers":"agda 13","repo":"metadatastician/MetaManifold-Evidence","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":53,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"agda 3","repo":"metadatastician/ZenodoDeposits.jl","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":70,"fixture_files":0,"holes":3,"own_files":34,"policy":0,"provers":"idris2 5, spark 25, other 4","repo":"metadatastician/_pathroot","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":13,"fixture_files":0,"holes":0,"own_files":3,"policy":0,"provers":"idris2 3","repo":"metadatastician/authority-watch","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"metadatastician/bowtie-workbench","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":127,"fixture_files":0,"holes":0,"own_files":12,"policy":0,"provers":"idris2 12","repo":"metadatastician/burble","status_doc":"PROOF-NEEDS.md","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"metadatastician/cadastra","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":91,"fixture_files":1,"holes":18,"own_files":85,"policy":0,"provers":"idris2 8, spark 75, other 2","repo":"metadatastician/cerro-torre","status_doc":"","unsafe":69} -{"axioms":0,"class":"engineering","declarations":38,"fixture_files":3,"holes":0,"own_files":12,"policy":0,"provers":"idris2 12","repo":"metadatastician/cleave","status_doc":"docs/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"metadatastician/common-signal","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"metadatastician/first-post","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":1868,"fixture_files":10,"holes":0,"own_files":62,"policy":0,"provers":"idris2 53, tla 9","repo":"metadatastician/gossamer","status_doc":"PROOF-NEEDS.md","unsafe":8} -{"axioms":0,"class":"engineering","declarations":185,"fixture_files":3,"holes":0,"own_files":19,"policy":0,"provers":"idris2 19","repo":"metadatastician/groove","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":108,"fixture_files":3,"holes":0,"own_files":9,"policy":0,"provers":"agda 5, idris2 1, tla 3","repo":"metadatastician/hvn-dehallucinator","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":25,"fixture_files":0,"holes":0,"own_files":6,"policy":0,"provers":"idris2 6","repo":"metadatastician/insolvency-tycoon","status_doc":"","unsafe":0} -{"axioms":0,"class":"theory","declarations":58,"fixture_files":4,"holes":0,"own_files":6,"policy":0,"provers":"agda 6","repo":"metadatastician/lintel","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"metadatastician/marid","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":991,"fixture_files":8,"holes":4,"own_files":51,"policy":2,"provers":"agda 2, lean 1, idris2 42, tla 6","repo":"metadatastician/paint-type","status_doc":"PROOF-NEEDS.adoc","unsafe":8} -{"axioms":4,"class":"engineering","declarations":199,"fixture_files":0,"holes":0,"own_files":11,"policy":0,"provers":"lean 5, idris2 6","repo":"metadatastician/phi-LAM","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":1,"fixture_files":1,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"metadatastician/proglanging-languages","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":23,"fixture_files":0,"holes":4,"own_files":2,"policy":0,"provers":"idris2 2","repo":"metadatastician/selur","status_doc":"","unsafe":0} -{"axioms":0,"class":"engineering","declarations":0,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"metadatastician/sim-public-relations","status_doc":"docs/status/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":22,"fixture_files":0,"holes":0,"own_files":1,"policy":0,"provers":"idris2 1","repo":"metadatastician/standards","status_doc":"3-practice/PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":294,"fixture_files":8,"holes":0,"own_files":19,"policy":0,"provers":"idris2 18, alloy 1","repo":"metadatastician/stapeln","status_doc":"PROOF-NEEDS.adoc","unsafe":0} -{"axioms":0,"class":"engineering","declarations":122,"fixture_files":2,"holes":0,"own_files":23,"policy":0,"provers":"idris2 10, spark 12, other 1","repo":"metadatastician/vordr","status_doc":"","unsafe":4} diff --git a/docs/catalogue/census/repos.json b/docs/catalogue/census/repos.json new file mode 100644 index 00000000..a2f63a70 --- /dev/null +++ b/docs/catalogue/census/repos.json @@ -0,0 +1 @@ +[{"fork":false,"full_name":"catachresis-colloquium/688-attack-hub","pushed_at":"2026-10-12T23:21:22Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/IDApTIK","pushed_at":"2026-10-26T07:38:43Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/airborne-submarine-squadron","pushed_at":"2026-10-20T16:34:28Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/befunge93-vault-cracker","pushed_at":"2026-10-25T22:29:04Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/blue-screen-of-app","pushed_at":"2026-10-10T15:55:03Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/chronicles-of-slavia","pushed_at":"2026-10-01T13:47:25Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/dosovoi","pushed_at":"2026-10-01T14:14:49Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/enaction-engine","pushed_at":"2026-10-25T22:43:40Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/enterglide-ncc-137-k","pushed_at":"2026-10-02T15:00:59Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/evil-weevil","pushed_at":"2026-10-18T08:57:54Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/f117a-stealth-glider","pushed_at":"2026-10-12T23:21:07Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/f19-stealth-glider","pushed_at":"2026-10-12T23:23:48Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/first-post","pushed_at":"2026-10-12T23:07:04Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/game-server-admin","pushed_at":"2026-10-26T03:52:40Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/hotchocolabot","pushed_at":"2026-10-01T11:05:55Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/knot-rider","pushed_at":"2026-10-22T10:52:18Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/megadog","pushed_at":"2026-10-12T23:04:27Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/not-so-serious-software","pushed_at":"2026-10-01T21:41:47Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/planer-1","pushed_at":"2026-10-02T18:52:02Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/pong-ping","pushed_at":"2026-10-12T23:19:34Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/pow-the-game","pushed_at":"2026-10-12T23:03:55Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/project-ovine","pushed_at":"2026-10-18T02:15:04Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/proof-of-work","pushed_at":"2026-10-22T13:24:00Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/reflexive-ai-studio","pushed_at":"2026-09-15T19:36:33Z","visibility":"private"},{"fork":false,"full_name":"catachresis-colloquium/sr71-blackglider","pushed_at":"2026-10-12T23:24:28Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/stealth-glider-ecosystem","pushed_at":"2026-10-02T14:33:40Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/tardis-rule-disruption","pushed_at":"2026-10-02T14:35:24Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/the-nash-equilibrium","pushed_at":"2026-10-26T00:46:49Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/thejeffparadox","pushed_at":"2026-10-22T14:11:05Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/universal-modding-studio","pushed_at":"2026-10-25T14:02:08Z","visibility":"public"},{"fork":false,"full_name":"catachresis-colloquium/x15-rocket-glider","pushed_at":"2026-10-01T23:11:29Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/007-lang","pushed_at":"2026-10-26T07:40:03Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/0patch-lsa-sentinel","pushed_at":"2026-10-01T19:53:19Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/AcceleratorGate.jl","pushed_at":"2026-10-20T22:41:19Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/Apodeixis.jl","pushed_at":"2026-10-22T17:35:10Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/Axiology.jl","pushed_at":"2026-10-22T00:45:53Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/Axiom.jl","pushed_at":"2026-10-22T19:50:29Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/BowtieRisk.jl","pushed_at":"2026-10-20T22:20:39Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/Causals.jl","pushed_at":"2026-10-20T00:38:27Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/Cladistics.jl","pushed_at":"2026-10-24T11:19:09Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/Cliodynamics.jl","pushed_at":"2026-10-24T11:17:53Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/Cliometrics.jl","pushed_at":"2026-10-22T00:43:53Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/CompositionalCounts.jl","pushed_at":"2026-10-15T15:43:40Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/CompositionalDA.jl","pushed_at":"2026-10-15T19:51:46Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ContrastFamilies.jl","pushed_at":"2026-10-02T08:32:19Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/CoprocessorRuntime.jl","pushed_at":"2026-10-24T09:04:01Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/EchoTypes.jl","pushed_at":"2026-10-20T22:27:19Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/EpistemicTypes.jl","pushed_at":"2026-10-24T11:18:57Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ExactCounts.jl","pushed_at":"2026-10-06T17:30:52Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ExactTests.jl","pushed_at":"2026-10-06T10:13:30Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/Exnovation.jl","pushed_at":"2026-10-24T11:18:12Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/FirmwareAudit.jl","pushed_at":"2026-10-20T09:13:53Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/HOL","pushed_at":"2026-10-01T14:53:07Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/HackenbushGames.jl","pushed_at":"2026-10-25T08:10:24Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/HardwareResilience.jl","pushed_at":"2026-10-20T13:20:53Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/Hyperpolymath.jl","pushed_at":"2026-10-24T11:19:49Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/InvestigativeJournalism.jl","pushed_at":"2026-10-09T11:08:57Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/JuliaKids.jl","pushed_at":"2026-10-24T11:18:30Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/JuliaPackageSpitter.jl","pushed_at":"2026-10-22T00:46:44Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/KnotTheory.jl","pushed_at":"2026-10-20T10:07:58Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/LowLevel.jl","pushed_at":"2026-10-20T06:24:00Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/MacroPower.jl","pushed_at":"2026-10-20T01:25:08Z","visibility":"public"},{"fork":true,"full_name":"hyperpolymath/MetaManifold-WebUI","pushed_at":"2026-10-26T07:46:07Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/PRComms.jl","pushed_at":"2026-10-01T23:06:47Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/PolyglotFormalisms.jl","pushed_at":"2026-10-26T10:11:25Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/PostDisciplinary.jl","pushed_at":"2026-10-24T11:18:46Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/Protoctist.jl","pushed_at":"2026-10-21T14:57:24Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/QuantumCircuit.jl","pushed_at":"2026-10-24T11:18:35Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ResidualEvidenceTypes.jl","pushed_at":"2026-10-24T11:19:22Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/SMTLib.jl","pushed_at":"2026-10-26T11:48:36Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ShellIntegration.jl","pushed_at":"2026-10-20T22:38:08Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/SiliconCore.jl","pushed_at":"2026-10-20T08:43:56Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/Skein.jl","pushed_at":"2026-10-25T08:09:41Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/SoftwareSovereign.jl","pushed_at":"2026-10-20T04:43:58Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/TradeUnionism.jl","pushed_at":"2026-10-01T19:41:58Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ViableSystems.jl","pushed_at":"2026-10-25T08:10:03Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ZeroProb.jl","pushed_at":"2026-10-21T17:36:46Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/absolute-zero","pushed_at":"2026-10-23T22:11:46Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/academic-workflow-suite","pushed_at":"2026-10-26T06:10:19Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/accessibility-everywhere","pushed_at":"2026-10-23T07:15:34Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/achievements-lab","pushed_at":"2026-10-01T19:53:52Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/action-trust-layers","pushed_at":"2026-10-11T05:04:08Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/aerie","pushed_at":"2026-10-01T17:35:06Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/affinescript","pushed_at":"2026-10-17T16:55:08Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/affinescript-vite","pushed_at":"2026-10-01T23:41:39Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/affinescriptiser","pushed_at":"2026-10-23T13:50:07Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/aggregate-library","pushed_at":"2026-10-14T07:18:01Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ai-cli-lab","pushed_at":"2026-10-03T15:06:34Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/alloyiser","pushed_at":"2026-10-23T07:16:02Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ambientops","pushed_at":"2026-10-22T20:28:21Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/anamnesis","pushed_at":"2026-10-16T16:15:33Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/anvomidav","pushed_at":"2026-10-20T22:18:16Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/anvomidaviser","pushed_at":"2026-10-16T20:55:47Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/anytype","pushed_at":"2026-10-23T07:09:23Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/arghda-core","pushed_at":"2026-10-01T20:53:20Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/asdf-tool-plugins","pushed_at":"2026-10-25T21:44:59Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/aspasia","pushed_at":"2026-10-01T23:42:35Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/atoma","pushed_at":"2026-10-22T17:07:19Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/atsiser","pushed_at":"2026-10-24T00:48:34Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/autoformal-fidelity","pushed_at":"2026-10-19T20:24:07Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/axel-protocol","pushed_at":"2026-10-01T19:39:22Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/bactrian","pushed_at":"2026-10-22T17:49:07Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/bebop-ffi","pushed_at":"2026-10-23T10:44:47Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/betlang","pushed_at":"2026-10-26T00:51:26Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/betlangiser","pushed_at":"2026-10-23T17:52:40Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/bgp-backbone-lab","pushed_at":"2026-10-13T21:41:16Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/bitfuckit","pushed_at":"2026-10-26T06:57:22Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/blocky-writer","pushed_at":"2026-10-19T21:57:50Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/blog-drafts","pushed_at":"2026-10-01T20:10:31Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/bofig","pushed_at":"2026-10-23T06:18:19Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/bofj-kitt","pushed_at":"2026-10-19T21:28:07Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/boinc-boinc","pushed_at":"2026-10-01T20:11:11Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/boj-server","pushed_at":"2026-10-23T02:28:17Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/boj-server-cartridges","pushed_at":"2026-10-26T07:37:45Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/bqniser","pushed_at":"2026-10-23T07:15:19Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/branch-newspaper","pushed_at":"2026-10-01T23:47:14Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/bunsenite","pushed_at":"2026-10-23T17:53:54Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/cafescripto","pushed_at":"2026-10-24T20:51:23Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/candy-crash","pushed_at":"2026-10-03T10:15:37Z","visibility":"public"},{"fork":true,"full_name":"hyperpolymath/cargo-zigbuild","pushed_at":"2026-10-02T18:19:22Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/casket-ssg","pushed_at":"2026-10-13T04:17:10Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/cccp","pushed_at":"2026-10-23T15:28:10Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/chapeliser","pushed_at":"2026-10-23T23:21:43Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/checky-monkey","pushed_at":"2026-10-22T05:56:42Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/chimichanga","pushed_at":"2026-10-22T21:47:06Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/choreographic-types","pushed_at":"2026-10-19T22:14:38Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/cicd-squabbler","pushed_at":"2026-10-26T07:33:13Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/cicd-suite","pushed_at":"2026-10-19T20:23:35Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/civic-connect","pushed_at":"2026-10-02T01:05:57Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/claude-config-vault","pushed_at":"2026-10-09T13:39:04Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/claude-gecko-browser-extension","pushed_at":"2026-10-26T10:47:12Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/claude-integrations","pushed_at":"2026-10-10T10:19:41Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/claude-memory","pushed_at":"2026-10-01T19:39:00Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/cloud-sync-tuner","pushed_at":"2026-10-20T22:20:14Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/cloudflare-dns-terraform","pushed_at":"2026-10-26T07:33:39Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/cloudguard-cli","pushed_at":"2026-10-26T14:00:22Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/cloudguard-server","pushed_at":"2026-10-01T20:20:45Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/conative-gating","pushed_at":"2026-10-03T10:26:01Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/conflow","pushed_at":"2026-10-26T07:34:03Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/continuation-mesh","pushed_at":"2026-10-25T10:26:22Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/contractiles","pushed_at":"2026-10-25T10:26:41Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/contractiles-a2-lab","pushed_at":"2026-10-01T20:26:27Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/cookie-rebound","pushed_at":"2026-10-26T02:47:49Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/coord-tui","pushed_at":"2026-10-24T22:42:35Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/coq-jr","pushed_at":"2026-10-17T21:13:19Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/cut-calculus","pushed_at":"2026-10-03T14:42:44Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/cyo","pushed_at":"2026-10-17T05:45:34Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/czech-file-knife","pushed_at":"2026-10-26T07:30:33Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/dafniser","pushed_at":"2026-10-23T07:06:30Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ddraig-ssg","pushed_at":"2026-10-13T23:57:39Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/deed-core","pushed_at":"2026-10-01T20:11:53Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/deed-ecosystem","pushed_at":"2026-10-25T10:26:18Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/deed-validate-action","pushed_at":"2026-10-15T08:22:35Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/defiant","pushed_at":"2026-10-01T23:46:17Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/dev-notes","pushed_at":"2026-10-01T20:22:10Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/dev-notes-vault","pushed_at":"2026-10-11T19:47:11Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/developer-ecosystem","pushed_at":"2026-10-22T00:34:21Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/dictask","pushed_at":"2026-10-24T10:06:38Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/dicti0nary-attack","pushed_at":"2026-10-24T20:51:28Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/docmatrix","pushed_at":"2026-10-14T03:55:03Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/docudactyl","pushed_at":"2026-10-23T00:56:52Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/dotfiles","pushed_at":"2026-10-01T20:14:07Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/dotmatrix-fileprinter","pushed_at":"2026-10-22T00:48:29Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/double-track-browser","pushed_at":"2026-10-20T22:41:38Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/echidna","pushed_at":"2026-10-23T08:09:26Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/echidnabot","pushed_at":"2026-10-23T13:50:23Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/echo-types","pushed_at":"2026-10-26T16:56:17Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/echobox","pushed_at":"2026-10-01T14:00:58Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/eclexia","pushed_at":"2026-10-24T14:16:04Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/eclexiaiser","pushed_at":"2026-10-23T19:00:02Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/email-octad-experiment","pushed_at":"2026-10-01T20:14:42Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/empty-linter","pushed_at":"2026-10-20T00:26:38Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ensaid-spec","pushed_at":"2026-10-13T04:33:55Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ephapax","pushed_at":"2026-10-26T07:33:58Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ephapaxiser","pushed_at":"2026-10-23T07:06:55Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/epistemic-types","pushed_at":"2026-10-25T22:16:24Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/error-lang","pushed_at":"2026-10-01T20:15:49Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/estate-scripts","pushed_at":"2026-10-09T00:34:55Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/excel-economic-numbers-tool","pushed_at":"2026-10-24T11:20:49Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/explicit-trust-plane","pushed_at":"2026-10-25T17:25:14Z","visibility":"public"},{"fork":true,"full_name":"hyperpolymath/explore","pushed_at":"2026-10-22T00:39:08Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/feedback-o-tron","pushed_at":"2026-10-20T14:29:59Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ffmpeg-ffi","pushed_at":"2026-10-26T07:33:52Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/filesoup","pushed_at":"2026-10-25T10:26:13Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/fireflag","pushed_at":"2026-10-21T23:19:13Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/firmboot","pushed_at":"2026-10-08T19:56:42Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/flat-mate","pushed_at":"2026-10-26T10:01:59Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/flatracoon","pushed_at":"2026-10-01T20:17:48Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/formatrix-docs","pushed_at":"2026-10-26T15:30:09Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/frayed-knot-toolkit","pushed_at":"2026-10-01T20:13:18Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/fraying-model-computational-testbed","pushed_at":"2026-10-22T05:55:17Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/fumble","pushed_at":"2026-10-14T06:11:54Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/futharkiser","pushed_at":"2026-10-23T07:05:51Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/git-reticulator","pushed_at":"2026-10-20T22:38:03Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/git-scripts","pushed_at":"2026-10-22T06:58:43Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/git-seo","pushed_at":"2026-10-01T20:13:43Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/gitbot-fleet","pushed_at":"2026-10-25T08:13:47Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/glyphbase","pushed_at":"2026-10-12T22:04:13Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/gnpl","pushed_at":"2026-10-12T22:07:10Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/grim-repo","pushed_at":"2026-10-17T03:04:27Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/gsbot","pushed_at":"2026-10-23T06:08:46Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/gv-clade-index","pushed_at":"2026-10-26T16:30:06Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/haec","pushed_at":"2026-10-21T15:06:21Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/halideiser","pushed_at":"2026-10-23T21:36:03Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/hermeneia","pushed_at":"2026-10-23T13:47:28Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/heron-polyfeed-reader","pushed_at":"2026-10-20T08:10:55Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/hesiod-dns-map","pushed_at":"2026-10-05T22:28:11Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/heterogenous-mobile-computing","pushed_at":"2026-10-17T14:04:43Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/homebrew-tap","pushed_at":"2026-10-23T07:06:20Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/hottchpotch","pushed_at":"2026-10-18T02:14:51Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/hpm-crypto-rsr","pushed_at":"2026-10-01T21:22:07Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/hpm-github-api-rsr","pushed_at":"2026-10-01T19:40:18Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/hpm-http-client-rsr","pushed_at":"2026-10-01T14:02:01Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/hpm-json-rsr","pushed_at":"2026-10-01T14:02:26Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/http-capability-gateway","pushed_at":"2026-10-20T22:13:01Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/hybrid-automation-router","pushed_at":"2026-10-26T11:45:40Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/hypatia","pushed_at":"2026-10-25T21:26:07Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/hyperpolymath","pushed_at":"2026-10-12T22:09:28Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/hyperpolymath-sovereign-registry","pushed_at":"2026-10-01T20:17:42Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/hyperpolymath.github.io","pushed_at":"2026-10-13T06:43:45Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/i-human","pushed_at":"2026-10-01T21:19:30Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ideas-to-alphas","pushed_at":"2026-10-25T08:11:30Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/idrisiser","pushed_at":"2026-10-23T21:09:40Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ijson-jcs","pushed_at":"2026-10-25T20:40:28Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/im-docs","pushed_at":"2026-10-25T17:24:36Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/info","pushed_at":"2026-10-03T14:38:36Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/infrastructure-automation","pushed_at":"2026-10-14T01:57:48Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/intsoc-transactor","pushed_at":"2026-10-23T15:19:56Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/invariant-path","pushed_at":"2026-10-18T15:13:18Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ipfs-overlay","pushed_at":"2026-10-18T13:04:14Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ipv6-only","pushed_at":"2026-10-09T03:33:57Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ipv6-site-enforcer","pushed_at":"2026-10-12T23:50:50Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ipv6-tools","pushed_at":"2026-10-18T18:12:51Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/iseriser","pushed_at":"2026-10-23T07:19:18Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/jaffascript","pushed_at":"2026-10-24T08:16:02Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/januskey","pushed_at":"2026-10-22T05:55:05Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/jewell.nexus","pushed_at":"2026-10-01T19:39:16Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/jonathanjewell.dev","pushed_at":"2026-10-01T14:02:45Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/jtv-halting-islands-ct","pushed_at":"2026-10-12T18:43:21Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/jtv-lang","pushed_at":"2026-10-25T21:00:16Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/julia-ecosystem","pushed_at":"2026-10-01T21:44:49Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/julia-professional-registry","pushed_at":"2026-10-25T08:10:46Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/julianiser","pushed_at":"2026-10-23T21:12:16Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/k9-ecosystem","pushed_at":"2026-10-01T21:50:46Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/kaldor-iiot","pushed_at":"2026-10-23T17:52:30Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/kategoria","pushed_at":"2026-10-01T21:19:04Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/kea","pushed_at":"2026-10-26T07:35:14Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/kitchenspeak","pushed_at":"2026-10-20T13:20:59Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/krl","pushed_at":"2026-10-25T18:35:23Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/laminar","pushed_at":"2026-10-22T06:06:28Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/laniakea","pushed_at":"2026-10-20T13:21:21Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/launch-scaffolder","pushed_at":"2026-10-23T12:57:21Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/lcb-website","pushed_at":"2026-10-21T23:15:10Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/lfs-shared","pushed_at":"2026-10-01T21:20:44Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/linguist","pushed_at":"2026-10-01T21:20:36Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/lithoglyph","pushed_at":"2026-10-26T11:46:04Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/live-files","pushed_at":"2026-10-19T07:49:30Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/llm-grace","pushed_at":"2026-10-26T11:47:08Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/lol","pushed_at":"2026-10-15T22:39:15Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/lucidscript","pushed_at":"2026-10-24T20:52:26Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/lustreiser","pushed_at":"2026-10-23T16:47:36Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/maa-framework","pushed_at":"2026-10-22T13:40:30Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/manifesto","pushed_at":"2026-10-20T19:02:42Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/marches","pushed_at":"2026-10-26T07:47:15Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/me-dialect","pushed_at":"2026-10-01T21:36:32Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/memory-vault","pushed_at":"2026-10-09T14:30:05Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/metadata-grammar","pushed_at":"2026-10-17T03:44:46Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/methodologies","pushed_at":"2026-10-26T11:47:33Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/misinformation-defence-platform","pushed_at":"2026-10-02T00:56:31Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/modshells","pushed_at":"2026-10-26T07:31:04Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/my-lang","pushed_at":"2026-10-26T15:29:33Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/mylangiser","pushed_at":"2026-10-23T07:16:42Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/nafa-app","pushed_at":"2026-10-23T16:47:44Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/natsci-studio","pushed_at":"2026-10-24T05:30:39Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/nesy-solver","pushed_at":"2026-10-25T21:14:10Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/network-ambulance","pushed_at":"2026-10-23T22:45:33Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/network-dashboard","pushed_at":"2026-10-01T22:59:06Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/network-outpost","pushed_at":"2026-10-14T08:40:09Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/neural-foundations","pushed_at":"2026-10-01T21:38:36Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/neurophone","pushed_at":"2026-10-22T00:48:40Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/nexia-list","pushed_at":"2026-10-22T03:08:36Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/nextgen-databases","pushed_at":"2026-10-23T07:25:12Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/nextgen-language-evangeliser","pushed_at":"2026-10-23T12:46:54Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/nextgen-languages","pushed_at":"2026-10-25T08:11:06Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/nextgen-typing","pushed_at":"2026-10-25T08:11:56Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/nickel-augmentation","pushed_at":"2026-10-25T17:24:29Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/nimiser","pushed_at":"2026-10-23T13:46:11Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/no-nonsense-nntps","pushed_at":"2026-10-24T00:52:34Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/oblibeniser","pushed_at":"2026-10-23T19:22:20Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/oblibeny","pushed_at":"2026-10-12T22:06:27Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/occupancy-types","pushed_at":"2026-10-18T04:35:08Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ochrance","pushed_at":"2026-10-23T07:06:27Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ochrance-framework","pushed_at":"2026-10-20T13:18:19Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/odds-and-sods-package-manager","pushed_at":"2026-10-25T22:41:38Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/oikos-economics-accounting-dsl","pushed_at":"2026-10-24T05:31:02Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/oikosbot","pushed_at":"2026-10-23T17:44:17Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/oikosbot-estate","pushed_at":"2026-10-01T22:40:59Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ordinal-notation","pushed_at":"2026-10-26T16:52:30Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/otpiser","pushed_at":"2026-10-23T15:26:05Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/palimpsest-license","pushed_at":"2026-10-19T15:31:03Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/panic-attack","pushed_at":"2026-10-26T07:44:42Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/panll","pushed_at":"2026-10-26T12:46:44Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/panoply","pushed_at":"2026-10-25T07:53:45Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/patallm-gallery","pushed_at":"2026-10-24T15:46:09Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/patch-bridge","pushed_at":"2026-10-26T16:48:02Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/phantom-metal-taste","pushed_at":"2026-10-24T05:30:53Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/php-aegis","pushed_at":"2026-10-22T07:36:00Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/phronesis","pushed_at":"2026-10-25T17:38:34Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/phronesiser","pushed_at":"2026-10-23T13:46:49Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/pimcore-fortress","pushed_at":"2026-10-01T21:32:55Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/plasma-parser-writer","pushed_at":"2026-10-20T12:57:56Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/poly-k8s-mcp","pushed_at":"2026-10-23T14:54:59Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/poly-observability-mcp","pushed_at":"2026-10-01T15:30:39Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/polyglot-formalisms-elixir","pushed_at":"2026-10-26T07:34:23Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/polyglot-formalisms-gleam","pushed_at":"2026-10-14T04:47:55Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/polyglot-i18n","pushed_at":"2026-10-25T12:35:18Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/polysafe-gitfixer","pushed_at":"2026-10-24T05:31:19Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/polystack","pushed_at":"2026-10-01T21:31:31Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/pons-asinorum","pushed_at":"2026-10-25T22:36:43Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ponyiser","pushed_at":"2026-10-23T16:47:31Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/preference-injector","pushed_at":"2026-10-23T21:36:09Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/presswerk","pushed_at":"2026-10-23T21:07:32Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/project-wharf","pushed_at":"2026-10-22T00:37:41Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/proof-burrower","pushed_at":"2026-10-25T07:54:08Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/protocol-squisher","pushed_at":"2026-10-17T14:13:46Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/proven","pushed_at":"2026-10-07T11:15:27Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/proven-servers","pushed_at":"2026-10-25T21:16:23Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/proven-tests-and-benches","pushed_at":"2026-10-26T10:01:10Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/pseudoscript","pushed_at":"2026-10-17T07:56:00Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/quandledb","pushed_at":"2026-10-25T08:12:17Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/qubes-sdp","pushed_at":"2026-10-17T11:53:34Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/quintessence","pushed_at":"2026-10-22T17:28:45Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/rattlescript","pushed_at":"2026-10-24T02:10:41Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/raze-tui","pushed_at":"2026-10-13T06:23:55Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/reasonably-good-token-vault","pushed_at":"2026-10-26T13:55:21Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/recon-silly-ation","pushed_at":"2026-10-25T17:24:21Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/refugia","pushed_at":"2026-10-01T19:49:12Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/repo-guardian","pushed_at":"2026-10-01T14:07:35Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/reposystem","pushed_at":"2026-10-25T22:16:14Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/rescript","pushed_at":"2026-10-01T19:49:04Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/rescript-ecosystem","pushed_at":"2026-10-23T17:07:58Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/residual-evidence-types","pushed_at":"2026-10-12T20:20:21Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/resource-algebra","pushed_at":"2026-10-19T23:03:37Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/resource-record-fluctuator","pushed_at":"2026-10-23T07:35:48Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/robodog-defensive-systems-lab","pushed_at":"2026-10-23T07:55:43Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/robot-vacuum-cleaner","pushed_at":"2026-10-23T05:11:10Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/rpa-elysium","pushed_at":"2026-10-20T13:21:06Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/rrecord-verity","pushed_at":"2026-10-22T00:34:11Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/rsr-template-repo","pushed_at":"2026-10-25T22:09:40Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/safe-brute-force","pushed_at":"2026-10-24T22:18:35Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/sanctify-php","pushed_at":"2026-10-22T23:06:37Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/scaffoldia","pushed_at":"2026-10-25T21:15:09Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/scripts","pushed_at":"2026-10-26T11:46:41Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/sdp-hkdf-deployment","pushed_at":"2026-10-23T07:17:41Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/seamstress","pushed_at":"2026-10-26T07:33:32Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/secret-types","pushed_at":"2026-10-25T21:13:40Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/self-destructing-git-garbage","pushed_at":"2026-10-14T01:41:47Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/session-sentinel","pushed_at":"2026-10-20T13:17:52Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/sholes","pushed_at":"2026-10-18T13:40:57Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/sinople-theme","pushed_at":"2026-10-21T15:52:54Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/smtp-notify-action","pushed_at":"2026-10-24T08:43:07Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/snapcreate","pushed_at":"2026-10-23T00:35:40Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/snifs","pushed_at":"2026-10-01T19:46:36Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/social-media-polygraph","pushed_at":"2026-10-18T03:54:15Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/social-media-tools","pushed_at":"2026-10-11T17:34:52Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/somethings-fishy","pushed_at":"2026-10-23T08:16:17Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/squeakwell","pushed_at":"2026-10-23T07:06:07Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/squisher-corpus","pushed_at":"2026-10-01T19:46:07Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/ssg-collection","pushed_at":"2026-10-07T11:09:52Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/stateful-artefacts","pushed_at":"2026-10-25T09:14:09Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/statistikles","pushed_at":"2026-10-23T13:46:18Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/supernorma","pushed_at":"2026-10-22T05:55:10Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/system-et","pushed_at":"2026-10-23T07:14:25Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/tangle","pushed_at":"2026-10-13T06:09:22Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/technical-notes","pushed_at":"2026-10-01T19:46:46Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/tentacles-agentic-syllabus","pushed_at":"2026-10-01T19:41:13Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/the-metadatastician","pushed_at":"2026-10-13T15:56:33Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/this-ssg","pushed_at":"2026-10-01T06:00:53Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/thunderbird-template-reloaded","pushed_at":"2026-10-19T20:21:22Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/tlaiser","pushed_at":"2026-10-23T00:50:18Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/tools","pushed_at":"2026-10-08T12:09:59Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/tree-navigator","pushed_at":"2026-10-22T12:21:10Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/trigger","pushed_at":"2026-10-08T17:50:35Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/trope-checker","pushed_at":"2026-10-19T20:16:08Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/trope-particularity-workbench","pushed_at":"2026-10-06T17:01:47Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/tropical-types","pushed_at":"2026-10-12T21:12:08Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/twingate-helm-deploy","pushed_at":"2026-10-26T07:33:21Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/typed-wasm","pushed_at":"2026-10-17T10:15:40Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/typedqliser","pushed_at":"2026-10-23T00:50:02Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/typefix-zero","pushed_at":"2026-10-01T19:42:04Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/typell","pushed_at":"2026-10-25T08:25:12Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/ubicity","pushed_at":"2026-10-23T17:57:22Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/unified-api-adapter","pushed_at":"2026-10-18T07:57:05Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/unified-dataset-vocab","pushed_at":"2026-10-23T21:38:41Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/universal-chat-extractor","pushed_at":"2026-10-26T14:31:53Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/universal-extension-format","pushed_at":"2026-10-21T14:34:50Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/universal-language-server-plugin","pushed_at":"2026-10-23T21:36:19Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/universal-project-manager","pushed_at":"2026-10-01T19:38:17Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/valence-shell","pushed_at":"2026-10-25T15:46:40Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/vcl-ut","pushed_at":"2026-10-24T11:37:20Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/vcs-ircd","pushed_at":"2026-10-24T20:51:11Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/veridical-simulation-core","pushed_at":"2026-10-01T15:28:02Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/verisimdb","pushed_at":"2026-10-25T22:35:43Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/verisimdb-data","pushed_at":"2026-10-17T18:44:55Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/verisimiser","pushed_at":"2026-10-25T22:17:07Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/vex-tools","pushed_at":"2026-10-08T17:33:13Z","visibility":"private"},{"fork":false,"full_name":"hyperpolymath/vexometer","pushed_at":"2026-10-26T15:21:48Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/vext","pushed_at":"2026-10-17T02:25:06Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/vocarium","pushed_at":"2026-10-23T21:12:07Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/volumod","pushed_at":"2026-10-26T07:34:20Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/voyage-enterprise-decision-system","pushed_at":"2026-10-24T11:20:00Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/wokelang","pushed_at":"2026-10-26T07:33:45Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/wokelangiser","pushed_at":"2026-10-23T07:52:17Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/wordpress-tools","pushed_at":"2026-10-13T15:25:28Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/wsl-compute-governor-dispatcher","pushed_at":"2026-10-22T06:54:54Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/xmlpull-zig","pushed_at":"2026-10-20T22:33:12Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/zerostep","pushed_at":"2026-10-20T22:20:57Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/zerotier-k8s-link","pushed_at":"2026-10-01T19:35:18Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/zig-boringtls","pushed_at":"2026-10-20T22:24:01Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/zig-dnssec","pushed_at":"2026-10-20T22:35:05Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/zig-icu-collation","pushed_at":"2026-10-20T22:28:26Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/zig-unorm","pushed_at":"2026-10-20T22:47:54Z","visibility":"public"},{"fork":false,"full_name":"hyperpolymath/zotero-tools","pushed_at":"2026-10-26T01:17:04Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/.github","pushed_at":"2026-10-12T22:05:23Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/MetaManifold-Evidence","pushed_at":"2026-10-23T00:25:20Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/ZenodoDeposits.jl","pushed_at":"2026-10-23T08:00:12Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/ZeroInflatedCounts.jl","pushed_at":"2026-10-23T13:46:54Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/_pathroot","pushed_at":"2026-10-25T09:37:44Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/affinescript-libraries","pushed_at":"2026-10-19T22:40:39Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/authority-watch","pushed_at":"2026-10-16T05:24:49Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/berry-blocks","pushed_at":"2026-10-21T22:26:22Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/berrywiki","pushed_at":"2026-10-23T07:02:15Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/berrywiki-course-template","pushed_at":"2026-10-18T17:05:28Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/bowtie-workbench","pushed_at":"2026-10-23T22:19:45Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/burble","pushed_at":"2026-10-26T07:34:12Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/cadastra","pushed_at":"2026-10-22T18:10:14Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/cerro-torre","pushed_at":"2026-10-24T05:31:14Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/cleave","pushed_at":"2026-10-21T14:34:17Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/common-signal","pushed_at":"2026-10-26T05:59:41Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/consent-aware-web","pushed_at":"2026-10-16T20:05:13Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/first-post","pushed_at":"2026-10-22T21:09:24Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/gossamer","pushed_at":"2026-10-26T00:02:32Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/groove","pushed_at":"2026-10-22T09:26:55Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/hvn-dehallucinator","pushed_at":"2026-10-20T13:21:14Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/insolvency-tycoon","pushed_at":"2026-10-13T22:38:04Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/knot-knot","pushed_at":"2026-10-23T01:29:47Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/kyq","pushed_at":"2026-10-25T22:11:29Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/large-language-michelangelo","pushed_at":"2026-10-01T19:37:55Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/lintel","pushed_at":"2026-10-19T09:35:21Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/marid","pushed_at":"2026-10-23T21:36:14Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/metadatastician-governance","pushed_at":"2026-10-19T18:49:35Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/odraz","pushed_at":"2026-10-15T21:59:43Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/paint-type","pushed_at":"2026-10-23T16:48:06Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/phi-LAM","pushed_at":"2026-10-01T14:05:44Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/progblocks","pushed_at":"2026-10-22T13:55:19Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/proglanging-languages","pushed_at":"2026-10-26T06:28:47Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/rokur","pushed_at":"2026-10-18T13:24:54Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/selur","pushed_at":"2026-10-25T07:53:10Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/sim-public-relations","pushed_at":"2026-10-22T14:07:34Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/spline","pushed_at":"2026-10-21T17:20:19Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/standard-operating-psychopathy","pushed_at":"2026-10-18T17:21:16Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/standards","pushed_at":"2026-10-26T16:44:26Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/stapeln","pushed_at":"2026-10-25T08:03:20Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/svalinn","pushed_at":"2026-10-24T15:41:48Z","visibility":"public"},{"fork":false,"full_name":"metadatastician/vordr","pushed_at":"2026-10-24T21:38:46Z","visibility":"public"},{"fork":false,"full_name":"stuff-of-awe/awesome-agda","pushed_at":"2026-10-01T12:42:34Z","visibility":"public"},{"fork":false,"full_name":"stuff-of-awe/awesome-coq","pushed_at":"2026-10-01T20:10:43Z","visibility":"public"},{"fork":false,"full_name":"stuff-of-awe/awesome-fsharp","pushed_at":"2026-10-01T12:40:11Z","visibility":"public"},{"fork":true,"full_name":"stuff-of-awe/awesome-gleam","pushed_at":"2026-09-21T12:07:36Z","visibility":"public"},{"fork":false,"full_name":"stuff-of-awe/awesome-haskell","pushed_at":"2026-10-04T01:33:38Z","visibility":"public"},{"fork":false,"full_name":"stuff-of-awe/awesome-idris2","pushed_at":"2026-10-22T16:27:35Z","visibility":"public"},{"fork":false,"full_name":"stuff-of-awe/awesome-ipfs","pushed_at":"2026-10-01T12:39:15Z","visibility":"public"},{"fork":false,"full_name":"stuff-of-awe/awesome-nickel","pushed_at":"2026-10-12T19:53:02Z","visibility":"public"},{"fork":false,"full_name":"stuff-of-awe/awesome-ocaml","pushed_at":"2026-10-01T13:34:47Z","visibility":"public"},{"fork":false,"full_name":"stuff-of-awe/awesome-provable","pushed_at":"2026-10-01T14:00:19Z","visibility":"public"},{"fork":true,"full_name":"stuff-of-awe/awesome-zig","pushed_at":"2026-10-01T22:58:21Z","visibility":"public"}] diff --git a/docs/catalogue/census/repos.jsonl b/docs/catalogue/census/repos.jsonl deleted file mode 100644 index 6c430d6d..00000000 --- a/docs/catalogue/census/repos.jsonl +++ /dev/null @@ -1,476 +0,0 @@ -{"fork":false,"full_name":"catachresis-colloquium/688-attack-hub","pushed_at":"2026-10-12T23:21:22Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/IDApTIK","pushed_at":"2026-10-26T07:38:43Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/airborne-submarine-squadron","pushed_at":"2026-10-20T16:34:28Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/befunge93-vault-cracker","pushed_at":"2026-10-25T22:29:04Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/blue-screen-of-app","pushed_at":"2026-10-10T15:55:03Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/chronicles-of-slavia","pushed_at":"2026-10-01T13:47:25Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/dosovoi","pushed_at":"2026-10-01T14:14:49Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/enaction-engine","pushed_at":"2026-10-25T22:43:40Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/enterglide-ncc-137-k","pushed_at":"2026-10-02T15:00:59Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/evil-weevil","pushed_at":"2026-10-18T08:57:54Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/f117a-stealth-glider","pushed_at":"2026-10-12T23:21:07Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/f19-stealth-glider","pushed_at":"2026-10-12T23:23:48Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/first-post","pushed_at":"2026-10-12T23:07:04Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/game-server-admin","pushed_at":"2026-10-26T03:52:40Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/hotchocolabot","pushed_at":"2026-10-01T11:05:55Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/knot-rider","pushed_at":"2026-10-22T10:52:18Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/megadog","pushed_at":"2026-10-12T23:04:27Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/not-so-serious-software","pushed_at":"2026-10-01T21:41:47Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/planer-1","pushed_at":"2026-10-02T18:52:02Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/pong-ping","pushed_at":"2026-10-12T23:19:34Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/pow-the-game","pushed_at":"2026-10-12T23:03:55Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/project-ovine","pushed_at":"2026-10-18T02:15:04Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/proof-of-work","pushed_at":"2026-10-22T13:24:00Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/reflexive-ai-studio","pushed_at":"2026-09-15T19:36:33Z","visibility":"private"} -{"fork":false,"full_name":"catachresis-colloquium/sr71-blackglider","pushed_at":"2026-10-12T23:24:28Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/stealth-glider-ecosystem","pushed_at":"2026-10-02T14:33:40Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/tardis-rule-disruption","pushed_at":"2026-10-02T14:35:24Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/the-nash-equilibrium","pushed_at":"2026-10-26T00:46:49Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/thejeffparadox","pushed_at":"2026-10-22T14:11:05Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/universal-modding-studio","pushed_at":"2026-10-25T14:02:08Z","visibility":"public"} -{"fork":false,"full_name":"catachresis-colloquium/x15-rocket-glider","pushed_at":"2026-10-01T23:11:29Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/007-lang","pushed_at":"2026-10-26T07:40:03Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/0patch-lsa-sentinel","pushed_at":"2026-10-01T19:53:19Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/AcceleratorGate.jl","pushed_at":"2026-10-20T22:41:19Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/Apodeixis.jl","pushed_at":"2026-10-22T17:35:10Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/Axiology.jl","pushed_at":"2026-10-22T00:45:53Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/Axiom.jl","pushed_at":"2026-10-22T19:50:29Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/BowtieRisk.jl","pushed_at":"2026-10-20T22:20:39Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/Causals.jl","pushed_at":"2026-10-20T00:38:27Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/Cladistics.jl","pushed_at":"2026-10-24T11:19:09Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/Cliodynamics.jl","pushed_at":"2026-10-24T11:17:53Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/Cliometrics.jl","pushed_at":"2026-10-22T00:43:53Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/CompositionalCounts.jl","pushed_at":"2026-10-15T15:43:40Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/CompositionalDA.jl","pushed_at":"2026-10-15T19:51:46Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ContrastFamilies.jl","pushed_at":"2026-10-02T08:32:19Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/CoprocessorRuntime.jl","pushed_at":"2026-10-24T09:04:01Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/EchoTypes.jl","pushed_at":"2026-10-20T22:27:19Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/EpistemicTypes.jl","pushed_at":"2026-10-24T11:18:57Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ExactCounts.jl","pushed_at":"2026-10-06T17:30:52Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ExactTests.jl","pushed_at":"2026-10-06T10:13:30Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/Exnovation.jl","pushed_at":"2026-10-24T11:18:12Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/FirmwareAudit.jl","pushed_at":"2026-10-20T09:13:53Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/HOL","pushed_at":"2026-10-01T14:53:07Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/HackenbushGames.jl","pushed_at":"2026-10-25T08:10:24Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/HardwareResilience.jl","pushed_at":"2026-10-20T13:20:53Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/Hyperpolymath.jl","pushed_at":"2026-10-24T11:19:49Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/InvestigativeJournalism.jl","pushed_at":"2026-10-09T11:08:57Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/JuliaKids.jl","pushed_at":"2026-10-24T11:18:30Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/JuliaPackageSpitter.jl","pushed_at":"2026-10-22T00:46:44Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/KnotTheory.jl","pushed_at":"2026-10-20T10:07:58Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/LowLevel.jl","pushed_at":"2026-10-20T06:24:00Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/MacroPower.jl","pushed_at":"2026-10-20T01:25:08Z","visibility":"public"} -{"fork":true,"full_name":"hyperpolymath/MetaManifold-WebUI","pushed_at":"2026-10-26T07:46:07Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/PRComms.jl","pushed_at":"2026-10-01T23:06:47Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/PolyglotFormalisms.jl","pushed_at":"2026-10-26T10:11:25Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/PostDisciplinary.jl","pushed_at":"2026-10-24T11:18:46Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/Protoctist.jl","pushed_at":"2026-10-21T14:57:24Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/QuantumCircuit.jl","pushed_at":"2026-10-24T11:18:35Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ResidualEvidenceTypes.jl","pushed_at":"2026-10-24T11:19:22Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/SMTLib.jl","pushed_at":"2026-10-26T11:48:36Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ShellIntegration.jl","pushed_at":"2026-10-20T22:38:08Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/SiliconCore.jl","pushed_at":"2026-10-20T08:43:56Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/Skein.jl","pushed_at":"2026-10-25T08:09:41Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/SoftwareSovereign.jl","pushed_at":"2026-10-20T04:43:58Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/TradeUnionism.jl","pushed_at":"2026-10-01T19:41:58Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ViableSystems.jl","pushed_at":"2026-10-25T08:10:03Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ZeroProb.jl","pushed_at":"2026-10-21T17:36:46Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/absolute-zero","pushed_at":"2026-10-23T22:11:46Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/academic-workflow-suite","pushed_at":"2026-10-26T06:10:19Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/accessibility-everywhere","pushed_at":"2026-10-23T07:15:34Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/achievements-lab","pushed_at":"2026-10-01T19:53:52Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/action-trust-layers","pushed_at":"2026-10-11T05:04:08Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/aerie","pushed_at":"2026-10-01T17:35:06Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/affinescript","pushed_at":"2026-10-17T16:55:08Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/affinescript-vite","pushed_at":"2026-10-01T23:41:39Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/affinescriptiser","pushed_at":"2026-10-23T13:50:07Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/aggregate-library","pushed_at":"2026-10-14T07:18:01Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ai-cli-lab","pushed_at":"2026-10-03T15:06:34Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/alloyiser","pushed_at":"2026-10-23T07:16:02Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ambientops","pushed_at":"2026-10-22T20:28:21Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/anamnesis","pushed_at":"2026-10-16T16:15:33Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/anvomidav","pushed_at":"2026-10-20T22:18:16Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/anvomidaviser","pushed_at":"2026-10-16T20:55:47Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/anytype","pushed_at":"2026-10-23T07:09:23Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/arghda-core","pushed_at":"2026-10-01T20:53:20Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/asdf-tool-plugins","pushed_at":"2026-10-25T21:44:59Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/aspasia","pushed_at":"2026-10-01T23:42:35Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/atoma","pushed_at":"2026-10-22T17:07:19Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/atsiser","pushed_at":"2026-10-24T00:48:34Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/autoformal-fidelity","pushed_at":"2026-10-19T20:24:07Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/axel-protocol","pushed_at":"2026-10-01T19:39:22Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/bactrian","pushed_at":"2026-10-22T17:49:07Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/bebop-ffi","pushed_at":"2026-10-23T10:44:47Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/betlang","pushed_at":"2026-10-26T00:51:26Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/betlangiser","pushed_at":"2026-10-23T17:52:40Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/bgp-backbone-lab","pushed_at":"2026-10-13T21:41:16Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/bitfuckit","pushed_at":"2026-10-26T06:57:22Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/blocky-writer","pushed_at":"2026-10-19T21:57:50Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/blog-drafts","pushed_at":"2026-10-01T20:10:31Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/bofig","pushed_at":"2026-10-23T06:18:19Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/bofj-kitt","pushed_at":"2026-10-19T21:28:07Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/boinc-boinc","pushed_at":"2026-10-01T20:11:11Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/boj-server","pushed_at":"2026-10-23T02:28:17Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/boj-server-cartridges","pushed_at":"2026-10-26T07:37:45Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/bqniser","pushed_at":"2026-10-23T07:15:19Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/branch-newspaper","pushed_at":"2026-10-01T23:47:14Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/bunsenite","pushed_at":"2026-10-23T17:53:54Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/cafescripto","pushed_at":"2026-10-24T20:51:23Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/candy-crash","pushed_at":"2026-10-03T10:15:37Z","visibility":"public"} -{"fork":true,"full_name":"hyperpolymath/cargo-zigbuild","pushed_at":"2026-10-02T18:19:22Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/casket-ssg","pushed_at":"2026-10-13T04:17:10Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/cccp","pushed_at":"2026-10-23T15:28:10Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/chapeliser","pushed_at":"2026-10-23T23:21:43Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/checky-monkey","pushed_at":"2026-10-22T05:56:42Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/chimichanga","pushed_at":"2026-10-22T21:47:06Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/choreographic-types","pushed_at":"2026-10-19T22:14:38Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/cicd-squabbler","pushed_at":"2026-10-26T07:33:13Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/cicd-suite","pushed_at":"2026-10-19T20:23:35Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/civic-connect","pushed_at":"2026-10-02T01:05:57Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/claude-config-vault","pushed_at":"2026-10-09T13:39:04Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/claude-gecko-browser-extension","pushed_at":"2026-10-26T10:47:12Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/claude-integrations","pushed_at":"2026-10-10T10:19:41Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/claude-memory","pushed_at":"2026-10-01T19:39:00Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/cloud-sync-tuner","pushed_at":"2026-10-20T22:20:14Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/cloudflare-dns-terraform","pushed_at":"2026-10-26T07:33:39Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/cloudguard-cli","pushed_at":"2026-10-26T14:00:22Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/cloudguard-server","pushed_at":"2026-10-01T20:20:45Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/conative-gating","pushed_at":"2026-10-03T10:26:01Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/conflow","pushed_at":"2026-10-26T07:34:03Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/continuation-mesh","pushed_at":"2026-10-25T10:26:22Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/contractiles","pushed_at":"2026-10-25T10:26:41Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/contractiles-a2-lab","pushed_at":"2026-10-01T20:26:27Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/cookie-rebound","pushed_at":"2026-10-26T02:47:49Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/coord-tui","pushed_at":"2026-10-24T22:42:35Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/coq-jr","pushed_at":"2026-10-17T21:13:19Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/cut-calculus","pushed_at":"2026-10-03T14:42:44Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/cyo","pushed_at":"2026-10-17T05:45:34Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/czech-file-knife","pushed_at":"2026-10-26T07:30:33Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/dafniser","pushed_at":"2026-10-23T07:06:30Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ddraig-ssg","pushed_at":"2026-10-13T23:57:39Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/deed-core","pushed_at":"2026-10-01T20:11:53Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/deed-ecosystem","pushed_at":"2026-10-25T10:26:18Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/deed-validate-action","pushed_at":"2026-10-15T08:22:35Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/defiant","pushed_at":"2026-10-01T23:46:17Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/dev-notes","pushed_at":"2026-10-01T20:22:10Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/dev-notes-vault","pushed_at":"2026-10-11T19:47:11Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/developer-ecosystem","pushed_at":"2026-10-22T00:34:21Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/dictask","pushed_at":"2026-10-24T10:06:38Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/dicti0nary-attack","pushed_at":"2026-10-24T20:51:28Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/docmatrix","pushed_at":"2026-10-14T03:55:03Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/docudactyl","pushed_at":"2026-10-23T00:56:52Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/dotfiles","pushed_at":"2026-10-01T20:14:07Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/dotmatrix-fileprinter","pushed_at":"2026-10-22T00:48:29Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/double-track-browser","pushed_at":"2026-10-20T22:41:38Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/echidna","pushed_at":"2026-10-23T08:09:26Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/echidnabot","pushed_at":"2026-10-23T13:50:23Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/echo-types","pushed_at":"2026-10-26T16:56:17Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/echobox","pushed_at":"2026-10-01T14:00:58Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/eclexia","pushed_at":"2026-10-24T14:16:04Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/eclexiaiser","pushed_at":"2026-10-23T19:00:02Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/email-octad-experiment","pushed_at":"2026-10-01T20:14:42Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/empty-linter","pushed_at":"2026-10-20T00:26:38Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ensaid-spec","pushed_at":"2026-10-13T04:33:55Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ephapax","pushed_at":"2026-10-26T07:33:58Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ephapaxiser","pushed_at":"2026-10-23T07:06:55Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/epistemic-types","pushed_at":"2026-10-25T22:16:24Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/error-lang","pushed_at":"2026-10-01T20:15:49Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/estate-scripts","pushed_at":"2026-10-09T00:34:55Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/excel-economic-numbers-tool","pushed_at":"2026-10-24T11:20:49Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/explicit-trust-plane","pushed_at":"2026-10-25T17:25:14Z","visibility":"public"} -{"fork":true,"full_name":"hyperpolymath/explore","pushed_at":"2026-10-22T00:39:08Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/feedback-o-tron","pushed_at":"2026-10-20T14:29:59Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ffmpeg-ffi","pushed_at":"2026-10-26T07:33:52Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/filesoup","pushed_at":"2026-10-25T10:26:13Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/fireflag","pushed_at":"2026-10-21T23:19:13Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/firmboot","pushed_at":"2026-10-08T19:56:42Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/flat-mate","pushed_at":"2026-10-26T10:01:59Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/flatracoon","pushed_at":"2026-10-01T20:17:48Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/formatrix-docs","pushed_at":"2026-10-26T15:30:09Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/frayed-knot-toolkit","pushed_at":"2026-10-01T20:13:18Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/fraying-model-computational-testbed","pushed_at":"2026-10-22T05:55:17Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/fumble","pushed_at":"2026-10-14T06:11:54Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/futharkiser","pushed_at":"2026-10-23T07:05:51Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/git-reticulator","pushed_at":"2026-10-20T22:38:03Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/git-scripts","pushed_at":"2026-10-22T06:58:43Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/git-seo","pushed_at":"2026-10-01T20:13:43Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/gitbot-fleet","pushed_at":"2026-10-25T08:13:47Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/glyphbase","pushed_at":"2026-10-12T22:04:13Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/gnpl","pushed_at":"2026-10-12T22:07:10Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/grim-repo","pushed_at":"2026-10-17T03:04:27Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/gsbot","pushed_at":"2026-10-23T06:08:46Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/gv-clade-index","pushed_at":"2026-10-26T16:30:06Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/haec","pushed_at":"2026-10-21T15:06:21Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/halideiser","pushed_at":"2026-10-23T21:36:03Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/hermeneia","pushed_at":"2026-10-23T13:47:28Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/heron-polyfeed-reader","pushed_at":"2026-10-20T08:10:55Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/hesiod-dns-map","pushed_at":"2026-10-05T22:28:11Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/heterogenous-mobile-computing","pushed_at":"2026-10-17T14:04:43Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/homebrew-tap","pushed_at":"2026-10-23T07:06:20Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/hottchpotch","pushed_at":"2026-10-18T02:14:51Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/hpm-crypto-rsr","pushed_at":"2026-10-01T21:22:07Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/hpm-github-api-rsr","pushed_at":"2026-10-01T19:40:18Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/hpm-http-client-rsr","pushed_at":"2026-10-01T14:02:01Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/hpm-json-rsr","pushed_at":"2026-10-01T14:02:26Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/http-capability-gateway","pushed_at":"2026-10-20T22:13:01Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/hybrid-automation-router","pushed_at":"2026-10-26T11:45:40Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/hypatia","pushed_at":"2026-10-25T21:26:07Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/hyperpolymath","pushed_at":"2026-10-12T22:09:28Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/hyperpolymath-sovereign-registry","pushed_at":"2026-10-01T20:17:42Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/hyperpolymath.github.io","pushed_at":"2026-10-13T06:43:45Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/i-human","pushed_at":"2026-10-01T21:19:30Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ideas-to-alphas","pushed_at":"2026-10-25T08:11:30Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/idrisiser","pushed_at":"2026-10-23T21:09:40Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ijson-jcs","pushed_at":"2026-10-25T20:40:28Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/im-docs","pushed_at":"2026-10-25T17:24:36Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/info","pushed_at":"2026-10-03T14:38:36Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/infrastructure-automation","pushed_at":"2026-10-14T01:57:48Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/intsoc-transactor","pushed_at":"2026-10-23T15:19:56Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/invariant-path","pushed_at":"2026-10-18T15:13:18Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ipfs-overlay","pushed_at":"2026-10-18T13:04:14Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ipv6-only","pushed_at":"2026-10-09T03:33:57Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ipv6-site-enforcer","pushed_at":"2026-10-12T23:50:50Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ipv6-tools","pushed_at":"2026-10-18T18:12:51Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/iseriser","pushed_at":"2026-10-23T07:19:18Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/jaffascript","pushed_at":"2026-10-24T08:16:02Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/januskey","pushed_at":"2026-10-22T05:55:05Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/jewell.nexus","pushed_at":"2026-10-01T19:39:16Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/jonathanjewell.dev","pushed_at":"2026-10-01T14:02:45Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/jtv-halting-islands-ct","pushed_at":"2026-10-12T18:43:21Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/jtv-lang","pushed_at":"2026-10-25T21:00:16Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/julia-ecosystem","pushed_at":"2026-10-01T21:44:49Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/julia-professional-registry","pushed_at":"2026-10-25T08:10:46Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/julianiser","pushed_at":"2026-10-23T21:12:16Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/k9-ecosystem","pushed_at":"2026-10-01T21:50:46Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/kaldor-iiot","pushed_at":"2026-10-23T17:52:30Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/kategoria","pushed_at":"2026-10-01T21:19:04Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/kea","pushed_at":"2026-10-26T07:35:14Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/kitchenspeak","pushed_at":"2026-10-20T13:20:59Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/krl","pushed_at":"2026-10-25T18:35:23Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/laminar","pushed_at":"2026-10-22T06:06:28Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/laniakea","pushed_at":"2026-10-20T13:21:21Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/launch-scaffolder","pushed_at":"2026-10-23T12:57:21Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/lcb-website","pushed_at":"2026-10-21T23:15:10Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/lfs-shared","pushed_at":"2026-10-01T21:20:44Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/linguist","pushed_at":"2026-10-01T21:20:36Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/lithoglyph","pushed_at":"2026-10-26T11:46:04Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/live-files","pushed_at":"2026-10-19T07:49:30Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/llm-grace","pushed_at":"2026-10-26T11:47:08Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/lol","pushed_at":"2026-10-15T22:39:15Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/lucidscript","pushed_at":"2026-10-24T20:52:26Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/lustreiser","pushed_at":"2026-10-23T16:47:36Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/maa-framework","pushed_at":"2026-10-22T13:40:30Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/manifesto","pushed_at":"2026-10-20T19:02:42Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/marches","pushed_at":"2026-10-26T07:47:15Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/me-dialect","pushed_at":"2026-10-01T21:36:32Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/memory-vault","pushed_at":"2026-10-09T14:30:05Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/metadata-grammar","pushed_at":"2026-10-17T03:44:46Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/methodologies","pushed_at":"2026-10-26T11:47:33Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/misinformation-defence-platform","pushed_at":"2026-10-02T00:56:31Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/modshells","pushed_at":"2026-10-26T07:31:04Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/my-lang","pushed_at":"2026-10-26T15:29:33Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/mylangiser","pushed_at":"2026-10-23T07:16:42Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/nafa-app","pushed_at":"2026-10-23T16:47:44Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/natsci-studio","pushed_at":"2026-10-24T05:30:39Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/nesy-solver","pushed_at":"2026-10-25T21:14:10Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/network-ambulance","pushed_at":"2026-10-23T22:45:33Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/network-dashboard","pushed_at":"2026-10-01T22:59:06Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/network-outpost","pushed_at":"2026-10-14T08:40:09Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/neural-foundations","pushed_at":"2026-10-01T21:38:36Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/neurophone","pushed_at":"2026-10-22T00:48:40Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/nexia-list","pushed_at":"2026-10-22T03:08:36Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/nextgen-databases","pushed_at":"2026-10-23T07:25:12Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/nextgen-language-evangeliser","pushed_at":"2026-10-23T12:46:54Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/nextgen-languages","pushed_at":"2026-10-25T08:11:06Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/nextgen-typing","pushed_at":"2026-10-25T08:11:56Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/nickel-augmentation","pushed_at":"2026-10-25T17:24:29Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/nimiser","pushed_at":"2026-10-23T13:46:11Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/no-nonsense-nntps","pushed_at":"2026-10-24T00:52:34Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/oblibeniser","pushed_at":"2026-10-23T19:22:20Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/oblibeny","pushed_at":"2026-10-12T22:06:27Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/occupancy-types","pushed_at":"2026-10-18T04:35:08Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ochrance","pushed_at":"2026-10-23T07:06:27Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ochrance-framework","pushed_at":"2026-10-20T13:18:19Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/odds-and-sods-package-manager","pushed_at":"2026-10-25T22:41:38Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/oikos-economics-accounting-dsl","pushed_at":"2026-10-24T05:31:02Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/oikosbot","pushed_at":"2026-10-23T17:44:17Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/oikosbot-estate","pushed_at":"2026-10-01T22:40:59Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ordinal-notation","pushed_at":"2026-10-26T16:52:30Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/otpiser","pushed_at":"2026-10-23T15:26:05Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/palimpsest-license","pushed_at":"2026-10-19T15:31:03Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/panic-attack","pushed_at":"2026-10-26T07:44:42Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/panll","pushed_at":"2026-10-26T12:46:44Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/panoply","pushed_at":"2026-10-25T07:53:45Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/patallm-gallery","pushed_at":"2026-10-24T15:46:09Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/patch-bridge","pushed_at":"2026-10-26T16:48:02Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/phantom-metal-taste","pushed_at":"2026-10-24T05:30:53Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/php-aegis","pushed_at":"2026-10-22T07:36:00Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/phronesis","pushed_at":"2026-10-25T17:38:34Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/phronesiser","pushed_at":"2026-10-23T13:46:49Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/pimcore-fortress","pushed_at":"2026-10-01T21:32:55Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/plasma-parser-writer","pushed_at":"2026-10-20T12:57:56Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/poly-k8s-mcp","pushed_at":"2026-10-23T14:54:59Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/poly-observability-mcp","pushed_at":"2026-10-01T15:30:39Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/polyglot-formalisms-elixir","pushed_at":"2026-10-26T07:34:23Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/polyglot-formalisms-gleam","pushed_at":"2026-10-14T04:47:55Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/polyglot-i18n","pushed_at":"2026-10-25T12:35:18Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/polysafe-gitfixer","pushed_at":"2026-10-24T05:31:19Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/polystack","pushed_at":"2026-10-01T21:31:31Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/pons-asinorum","pushed_at":"2026-10-25T22:36:43Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ponyiser","pushed_at":"2026-10-23T16:47:31Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/preference-injector","pushed_at":"2026-10-23T21:36:09Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/presswerk","pushed_at":"2026-10-23T21:07:32Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/project-wharf","pushed_at":"2026-10-22T00:37:41Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/proof-burrower","pushed_at":"2026-10-25T07:54:08Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/protocol-squisher","pushed_at":"2026-10-17T14:13:46Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/proven","pushed_at":"2026-10-07T11:15:27Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/proven-servers","pushed_at":"2026-10-25T21:16:23Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/proven-tests-and-benches","pushed_at":"2026-10-26T10:01:10Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/pseudoscript","pushed_at":"2026-10-17T07:56:00Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/quandledb","pushed_at":"2026-10-25T08:12:17Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/qubes-sdp","pushed_at":"2026-10-17T11:53:34Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/quintessence","pushed_at":"2026-10-22T17:28:45Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/rattlescript","pushed_at":"2026-10-24T02:10:41Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/raze-tui","pushed_at":"2026-10-13T06:23:55Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/reasonably-good-token-vault","pushed_at":"2026-10-26T13:55:21Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/recon-silly-ation","pushed_at":"2026-10-25T17:24:21Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/refugia","pushed_at":"2026-10-01T19:49:12Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/repo-guardian","pushed_at":"2026-10-01T14:07:35Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/reposystem","pushed_at":"2026-10-25T22:16:14Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/rescript","pushed_at":"2026-10-01T19:49:04Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/rescript-ecosystem","pushed_at":"2026-10-23T17:07:58Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/residual-evidence-types","pushed_at":"2026-10-12T20:20:21Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/resource-algebra","pushed_at":"2026-10-19T23:03:37Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/resource-record-fluctuator","pushed_at":"2026-10-23T07:35:48Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/robodog-defensive-systems-lab","pushed_at":"2026-10-23T07:55:43Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/robot-vacuum-cleaner","pushed_at":"2026-10-23T05:11:10Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/rpa-elysium","pushed_at":"2026-10-20T13:21:06Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/rrecord-verity","pushed_at":"2026-10-22T00:34:11Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/rsr-template-repo","pushed_at":"2026-10-25T22:09:40Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/safe-brute-force","pushed_at":"2026-10-24T22:18:35Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/sanctify-php","pushed_at":"2026-10-22T23:06:37Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/scaffoldia","pushed_at":"2026-10-25T21:15:09Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/scripts","pushed_at":"2026-10-26T11:46:41Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/sdp-hkdf-deployment","pushed_at":"2026-10-23T07:17:41Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/seamstress","pushed_at":"2026-10-26T07:33:32Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/secret-types","pushed_at":"2026-10-25T21:13:40Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/self-destructing-git-garbage","pushed_at":"2026-10-14T01:41:47Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/session-sentinel","pushed_at":"2026-10-20T13:17:52Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/sholes","pushed_at":"2026-10-18T13:40:57Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/sinople-theme","pushed_at":"2026-10-21T15:52:54Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/smtp-notify-action","pushed_at":"2026-10-24T08:43:07Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/snapcreate","pushed_at":"2026-10-23T00:35:40Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/snifs","pushed_at":"2026-10-01T19:46:36Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/social-media-polygraph","pushed_at":"2026-10-18T03:54:15Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/social-media-tools","pushed_at":"2026-10-11T17:34:52Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/somethings-fishy","pushed_at":"2026-10-23T08:16:17Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/squeakwell","pushed_at":"2026-10-23T07:06:07Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/squisher-corpus","pushed_at":"2026-10-01T19:46:07Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/ssg-collection","pushed_at":"2026-10-07T11:09:52Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/stateful-artefacts","pushed_at":"2026-10-25T09:14:09Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/statistikles","pushed_at":"2026-10-23T13:46:18Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/supernorma","pushed_at":"2026-10-22T05:55:10Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/system-et","pushed_at":"2026-10-23T07:14:25Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/tangle","pushed_at":"2026-10-13T06:09:22Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/technical-notes","pushed_at":"2026-10-01T19:46:46Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/tentacles-agentic-syllabus","pushed_at":"2026-10-01T19:41:13Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/the-metadatastician","pushed_at":"2026-10-13T15:56:33Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/this-ssg","pushed_at":"2026-10-01T06:00:53Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/thunderbird-template-reloaded","pushed_at":"2026-10-19T20:21:22Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/tlaiser","pushed_at":"2026-10-23T00:50:18Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/tools","pushed_at":"2026-10-08T12:09:59Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/tree-navigator","pushed_at":"2026-10-22T12:21:10Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/trigger","pushed_at":"2026-10-08T17:50:35Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/trope-checker","pushed_at":"2026-10-19T20:16:08Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/trope-particularity-workbench","pushed_at":"2026-10-06T17:01:47Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/tropical-types","pushed_at":"2026-10-12T21:12:08Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/twingate-helm-deploy","pushed_at":"2026-10-26T07:33:21Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/typed-wasm","pushed_at":"2026-10-17T10:15:40Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/typedqliser","pushed_at":"2026-10-23T00:50:02Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/typefix-zero","pushed_at":"2026-10-01T19:42:04Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/typell","pushed_at":"2026-10-25T08:25:12Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/ubicity","pushed_at":"2026-10-23T17:57:22Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/unified-api-adapter","pushed_at":"2026-10-18T07:57:05Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/unified-dataset-vocab","pushed_at":"2026-10-23T21:38:41Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/universal-chat-extractor","pushed_at":"2026-10-26T14:31:53Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/universal-extension-format","pushed_at":"2026-10-21T14:34:50Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/universal-language-server-plugin","pushed_at":"2026-10-23T21:36:19Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/universal-project-manager","pushed_at":"2026-10-01T19:38:17Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/valence-shell","pushed_at":"2026-10-25T15:46:40Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/vcl-ut","pushed_at":"2026-10-24T11:37:20Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/vcs-ircd","pushed_at":"2026-10-24T20:51:11Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/veridical-simulation-core","pushed_at":"2026-10-01T15:28:02Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/verisimdb","pushed_at":"2026-10-25T22:35:43Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/verisimdb-data","pushed_at":"2026-10-17T18:44:55Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/verisimiser","pushed_at":"2026-10-25T22:17:07Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/vex-tools","pushed_at":"2026-10-08T17:33:13Z","visibility":"private"} -{"fork":false,"full_name":"hyperpolymath/vexometer","pushed_at":"2026-10-26T15:21:48Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/vext","pushed_at":"2026-10-17T02:25:06Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/vocarium","pushed_at":"2026-10-23T21:12:07Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/volumod","pushed_at":"2026-10-26T07:34:20Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/voyage-enterprise-decision-system","pushed_at":"2026-10-24T11:20:00Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/wokelang","pushed_at":"2026-10-26T07:33:45Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/wokelangiser","pushed_at":"2026-10-23T07:52:17Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/wordpress-tools","pushed_at":"2026-10-13T15:25:28Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/wsl-compute-governor-dispatcher","pushed_at":"2026-10-22T06:54:54Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/xmlpull-zig","pushed_at":"2026-10-20T22:33:12Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/zerostep","pushed_at":"2026-10-20T22:20:57Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/zerotier-k8s-link","pushed_at":"2026-10-01T19:35:18Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/zig-boringtls","pushed_at":"2026-10-20T22:24:01Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/zig-dnssec","pushed_at":"2026-10-20T22:35:05Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/zig-icu-collation","pushed_at":"2026-10-20T22:28:26Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/zig-unorm","pushed_at":"2026-10-20T22:47:54Z","visibility":"public"} -{"fork":false,"full_name":"hyperpolymath/zotero-tools","pushed_at":"2026-10-26T01:17:04Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/.github","pushed_at":"2026-10-12T22:05:23Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/MetaManifold-Evidence","pushed_at":"2026-10-23T00:25:20Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/ZenodoDeposits.jl","pushed_at":"2026-10-23T08:00:12Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/ZeroInflatedCounts.jl","pushed_at":"2026-10-23T13:46:54Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/_pathroot","pushed_at":"2026-10-25T09:37:44Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/affinescript-libraries","pushed_at":"2026-10-19T22:40:39Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/authority-watch","pushed_at":"2026-10-16T05:24:49Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/berry-blocks","pushed_at":"2026-10-21T22:26:22Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/berrywiki","pushed_at":"2026-10-23T07:02:15Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/berrywiki-course-template","pushed_at":"2026-10-18T17:05:28Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/bowtie-workbench","pushed_at":"2026-10-23T22:19:45Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/burble","pushed_at":"2026-10-26T07:34:12Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/cadastra","pushed_at":"2026-10-22T18:10:14Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/cerro-torre","pushed_at":"2026-10-24T05:31:14Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/cleave","pushed_at":"2026-10-21T14:34:17Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/common-signal","pushed_at":"2026-10-26T05:59:41Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/consent-aware-web","pushed_at":"2026-10-16T20:05:13Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/first-post","pushed_at":"2026-10-22T21:09:24Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/gossamer","pushed_at":"2026-10-26T00:02:32Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/groove","pushed_at":"2026-10-22T09:26:55Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/hvn-dehallucinator","pushed_at":"2026-10-20T13:21:14Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/insolvency-tycoon","pushed_at":"2026-10-13T22:38:04Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/knot-knot","pushed_at":"2026-10-23T01:29:47Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/kyq","pushed_at":"2026-10-25T22:11:29Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/large-language-michelangelo","pushed_at":"2026-10-01T19:37:55Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/lintel","pushed_at":"2026-10-19T09:35:21Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/marid","pushed_at":"2026-10-23T21:36:14Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/metadatastician-governance","pushed_at":"2026-10-19T18:49:35Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/odraz","pushed_at":"2026-10-15T21:59:43Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/paint-type","pushed_at":"2026-10-23T16:48:06Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/phi-LAM","pushed_at":"2026-10-01T14:05:44Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/progblocks","pushed_at":"2026-10-22T13:55:19Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/proglanging-languages","pushed_at":"2026-10-26T06:28:47Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/rokur","pushed_at":"2026-10-18T13:24:54Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/selur","pushed_at":"2026-10-25T07:53:10Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/sim-public-relations","pushed_at":"2026-10-22T14:07:34Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/spline","pushed_at":"2026-10-21T17:20:19Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/standard-operating-psychopathy","pushed_at":"2026-10-18T17:21:16Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/standards","pushed_at":"2026-10-26T16:44:26Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/stapeln","pushed_at":"2026-10-25T08:03:20Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/svalinn","pushed_at":"2026-10-24T15:41:48Z","visibility":"public"} -{"fork":false,"full_name":"metadatastician/vordr","pushed_at":"2026-10-24T21:38:46Z","visibility":"public"} -{"fork":false,"full_name":"stuff-of-awe/awesome-agda","pushed_at":"2026-10-01T12:42:34Z","visibility":"public"} -{"fork":false,"full_name":"stuff-of-awe/awesome-coq","pushed_at":"2026-10-01T20:10:43Z","visibility":"public"} -{"fork":false,"full_name":"stuff-of-awe/awesome-fsharp","pushed_at":"2026-10-01T12:40:11Z","visibility":"public"} -{"fork":true,"full_name":"stuff-of-awe/awesome-gleam","pushed_at":"2026-09-21T12:07:36Z","visibility":"public"} -{"fork":false,"full_name":"stuff-of-awe/awesome-haskell","pushed_at":"2026-10-04T01:33:38Z","visibility":"public"} -{"fork":false,"full_name":"stuff-of-awe/awesome-idris2","pushed_at":"2026-10-22T16:27:35Z","visibility":"public"} -{"fork":false,"full_name":"stuff-of-awe/awesome-ipfs","pushed_at":"2026-10-01T12:39:15Z","visibility":"public"} -{"fork":false,"full_name":"stuff-of-awe/awesome-nickel","pushed_at":"2026-10-12T19:53:02Z","visibility":"public"} -{"fork":false,"full_name":"stuff-of-awe/awesome-ocaml","pushed_at":"2026-10-01T13:34:47Z","visibility":"public"} -{"fork":false,"full_name":"stuff-of-awe/awesome-provable","pushed_at":"2026-10-01T14:00:19Z","visibility":"public"} -{"fork":true,"full_name":"stuff-of-awe/awesome-zig","pushed_at":"2026-10-01T22:58:21Z","visibility":"public"} diff --git a/docs/catalogue/census/unreachable.json b/docs/catalogue/census/unreachable.json new file mode 100644 index 00000000..35514dc6 --- /dev/null +++ b/docs/catalogue/census/unreachable.json @@ -0,0 +1 @@ +[{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"catachresis-colloquium/reflexive-ai-studio"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/007-lang"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/HOL"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/achievements-lab"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/ai-cli-lab"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/axel-protocol"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/blog-drafts"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/claude-config-vault"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/claude-memory"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/contractiles-a2-lab"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/cut-calculus"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/dev-notes-vault"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/dev-notes"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/dotfiles"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/echobox"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/email-octad-experiment"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/estate-scripts"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/frayed-knot-toolkit"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/fumble"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/git-seo"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/hottchpotch"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/hyperpolymath-sovereign-registry"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/info"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/jewell.nexus"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/jonathanjewell.dev"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/lcb-website"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/lfs-shared"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/linguist"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/memory-vault"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/poly-observability-mcp"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/polystack"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/rescript"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/squisher-corpus"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/this-ssg"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/tools"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/typefix-zero"},{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/vex-tools"}] diff --git a/docs/catalogue/census/unreachable.jsonl b/docs/catalogue/census/unreachable.jsonl deleted file mode 100644 index 54cc9dfa..00000000 --- a/docs/catalogue/census/unreachable.jsonl +++ /dev/null @@ -1,37 +0,0 @@ -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"catachresis-colloquium/reflexive-ai-studio"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/007-lang"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/HOL"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/achievements-lab"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/ai-cli-lab"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/axel-protocol"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/blog-drafts"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/claude-config-vault"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/claude-memory"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/contractiles-a2-lab"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/cut-calculus"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/dev-notes-vault"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/dev-notes"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/dotfiles"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/echobox"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/email-octad-experiment"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/estate-scripts"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/frayed-knot-toolkit"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/fumble"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/git-seo"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/hottchpotch"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/hyperpolymath-sovereign-registry"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/info"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/jewell.nexus"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/jonathanjewell.dev"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/lcb-website"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/lfs-shared"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/linguist"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/memory-vault"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/poly-observability-mcp"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/polystack"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/rescript"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/squisher-corpus"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/this-ssg"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/tools"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/typefix-zero"} -{"error":"fatal: could not read Username for 'https://github.com': terminal prompts disabled","exit":128,"repo":"hyperpolymath/vex-tools"} diff --git a/scripts/census/build-rows.sh b/scripts/census/build-rows.sh index 8dc54ae0..67b8e15b 100644 --- a/scripts/census/build-rows.sh +++ b/scripts/census/build-rows.sh @@ -2,7 +2,7 @@ # SPDX-License-Identifier: MPL-2.0 # Fold the raw, path-level census into one row per repository. # -# Usage: build-rows.sh RAW_DIR TEMPLATE_PATHS > catalogue-rows.jsonl +# Usage: build-rows.sh RAW_DIR TEMPLATE_PATHS > catalogue-rows.json # RAW_DIR files.jsonl, holes.jsonl, decls.jsonl, repos-with-status.jsonl # (written by census-repo.sh + summarise.sh; not committed) # TEMPLATE_PATHS one path per line: proof files the RSR template ships, @@ -61,4 +61,5 @@ awk -F'\t' ' | jq -RcS 'split("\t") | {class:.[0], repo:.[1], own_files:(.[2]|tonumber), fixture_files:(.[3]|tonumber), provers:.[4], declarations:(.[5]|tonumber), holes:(.[6]|tonumber), axioms:(.[7]|tonumber), unsafe:(.[8]|tonumber), - policy:(.[9]|tonumber), status_doc:.[10]}' + policy:(.[9]|tonumber), status_doc:.[10]}' \ +| jq -cS -s . diff --git a/scripts/census/render-catalogue.sh b/scripts/census/render-catalogue.sh index e14f7d3d..97e92891 100644 --- a/scripts/census/render-catalogue.sh +++ b/scripts/census/render-catalogue.sh @@ -3,8 +3,8 @@ # Render the catalogue (AsciiDoc) from the committed census rows. # # Usage: render-catalogue.sh CENSUS_DIR > catalogue.adoc -# CENSUS_DIR holds catalogue-rows.jsonl (build-rows.sh), repos.jsonl and -# unreachable.jsonl. Output depends on those files only, so +# CENSUS_DIR holds catalogue-rows.json (build-rows.sh), repos.json and +# unreachable.json. Output depends on those files only, so # `just catalogue-check` can prove the committed catalogue is current. set -euo pipefail C=$1 @@ -13,11 +13,11 @@ table() { # $1 = class echo '[cols="3,1,1,4,1,1,1,1,1,3",options="header"]' echo '|===' echo '|Repository |Own files |Fixtures |Provers (files) |Declarations |Holes |Axioms |Unsafe |Policy |Proof-status doc' - jq -sr --arg c "$1" ' + jq -r --arg c "$1" ' map(select(.class == $c)) | sort_by(-.own_files, .repo)[] | "\n|https://github.com/\(.repo)[\(.repo)] |\(.own_files) |\(.fixture_files) |\(.provers) |\(.declarations) |\(.holes) |\(.axioms) |\(.unsafe) |\(.policy) |\(if .status_doc == "" then "—" else "`" + .status_doc + "`" end)" - ' "$C/catalogue-rows.jsonl" + ' "$C/catalogue-rows.json" echo '|===' } @@ -27,7 +27,7 @@ cat < "$work/repos.jsonl" if [ -n "${1:-}" ]; then cp "$1" "$work/census-list.txt" else - jq -r 'select(.fork|not) | .full_name | select(test("/awesome-")|not)' "$census/repos.jsonl" > "$work/census-list.txt" + jq -r 'select(.fork|not) | .full_name | select(test("/awesome-")|not)' "$work/repos.jsonl" > "$work/census-list.txt" fi list=$work/census-list.txt rm -rf "$work/out" @@ -28,7 +28,7 @@ while IFS= read -r repo; do [ -n "$repo" ] && MATHESIS_DATA=$work bash "$here/census-repo.sh" "$repo" || true done < "$list" MATHESIS_DATA=$work bash "$here/summarise.sh" -cp "$work/unreachable.jsonl" "$census/unreachable.jsonl" -bash "$here/build-rows.sh" "$work" "$census/template-paths.txt" > "$census/catalogue-rows.jsonl" +jq -cS -s . "$work/unreachable.jsonl" > "$census/unreachable.json" +bash "$here/build-rows.sh" "$work" "$census/template-paths.txt" > "$census/catalogue-rows.json" bash "$here/render-catalogue.sh" "$census" > "$here/../../docs/catalogue/catalogue.adoc" echo "raw census kept in $work"