Popular repositories Loading

1. openpilot openpilot Public

   Forked from commaai/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 2

2. panda panda Public

   Forked from commaai/panda

   code powering the comma.ai panda

   C

3. cereal cereal Public

   Forked from commaai/msgq

   capnp struct definitions and messaging used in comma ecosystem

   C++

4. ml-controls ml-controls Public

   Jupyter Notebook

5. opendbc opendbc Public

   Forked from commaai/opendbc

   democratize access to car decoder rings

   C++

6. formalising-mathematics formalising-mathematics Public

   Forked from ImperialCollegeLondon/formalising-mathematics

   Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.

   Lean