Pinned Loading

1. aska-digital/incentre-lattice aska-digital/incentre-lattice Public

   One drawing, followed all the way down: incentre construction, uniform honeycombs, borides, rigidity in n dimensions, and open agent-assisted research tracks

   HTML

2. eumemic/exoplanets eumemic/exoplanets Public

   Independent multi-sector TESS transit search of 9,979 nearby K/M dwarfs: pipeline, vetted planet candidates, predicted transit times

   Python 11 2

3. NousResearch/hermes-agent NousResearch/hermes-agent Public

   The agent that grows with you

   Python 253k 54.9k

4. CrocSwap/integer-mult-bounds CrocSwap/integer-mult-bounds Public

   Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.

   Python 245 217

5. Swapnil-jain/gf2m-circuits Swapnil-jain/gf2m-circuits Public

   Smaller gate-count circuits for GF(2^m) multipliers and the AES S-box, with Lean 4 proofs and verifiers

   Lean 2 1

6. Edge0-AI/Edge0 Edge0-AI/Edge0 Public

   Run 35B MoE models in ~2.5 GB of RAM. Weights stream from SSD; a trained router predicts loads a step ahead. Mac, iPhone, Android, Windows supported

   Python 4.6k 780