Pinned Loading

1. cybergrad cybergrad Public

   cybergrad is a toy autograd library I made to understand autograd on a deeper level

   Python

2. google-deepmind/formal-conjectures google-deepmind/formal-conjectures Public

   A collection of formalized statements of conjectures in Lean.

   Lean 967 282

3. ShunyaResearch/drosophila-connectome-experiments ShunyaResearch/drosophila-connectome-experiments Public

   drosophila connectome experiments

   Jupyter Notebook

4. darkwire darkwire Public archive

   darkwire - The internet is optional. Freedom isn’t.

   Python 71 12

5. RS-JEPA RS-JEPA Public

   I-JEPA for remote sensing

   Jupyter Notebook

6. iron-eye iron-eye Public

   AI-powered air-to-surface EO/IR classification system using RGB-IR fusion for military object detection. Features YOLOv8 trained on 1500+ custom-annotated IR images of tanks, vehicles, and ships. I…

   TypeScript 3