Pinned Loading

1. darkwire darkwire Public archive

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

   Python 71 12

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

   A collection of formalized statements of conjectures in Lean.

   Lean 1k 315

3. 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

4. cybergrad cybergrad Public

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

   Python

5. RS-JEPA RS-JEPA Public

   I-JEPA for remote sensing

   Jupyter Notebook

6. tinyrag tinyrag Public

   Lightweight RAG implementation for all your LLM endpoints

   Python 4 3