Pinned Loading

1. cybergrad cybergrad Public

   cybergrad is a highly customisable and lightweight ML/DL library that can run on CUDA devices

   Python

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

   A collection of formalized statements of conjectures in Lean.

   Lean 903 251

3. darkwire darkwire Public archive

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

   Python 72 11

4. aruco_marker_generator aruco_marker_generator Public

   CL tool for aruco marker generator (updated to newer OpenCV docs)

   Python

5. 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 2

6. tinyrag tinyrag Public

   Lightweight RAG implementation for all your LLM endpoints

   Python 4 3