Popular repositories Loading

1. comma10k-baseline comma10k-baseline Public

   Forked from YassineYousfi/comma10k-baseline

   A baseline segmentation example using the comma10k dataset (WIP)

   Python

2. mathematics_in_lean_source mathematics_in_lean_source Public

   Forked from avigad/mathematics_in_lean_source

   Source code for the Mathematics in Lean tutorial.

   Lean

3. openpilot openpilot Public

   Forked from GregorKikelj/openpilot

   openpilot is an open source driver assistance system. openpilot performs the functions of Automated Lane Centering and Adaptive Cruise Control for over 150 supported car makes and models.

   Python

4. tinygrad tinygrad Public

   Forked from tinygrad/tinygrad

   You like pytorch? You like micrograd? You love tinygrad! ❤️

   Python

5. Lean-HoG Lean-HoG Public

   Forked from katjabercic/Lean-HoG

   Jupyter Notebook

6. Lean-tests Lean-tests Public

   Doing some basic experimentation with how Lean4 works.

   Lean 1