grekiki's repositories
advent22-rs
Solving advent of code problems in Rust
Language:Jupyter Notebook000
cereal
capnp struct definitions and messaging used in comma ecosystem
Language:C++MIT000
comma10k-baseline
A baseline segmentation example using the comma10k dataset (WIP)
Language:PythonMIT000
Language:HTML000
formalising-mathematics
Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.
Language:LeanApache-2.0000
Language:HTML000
laika
Simple Python GNSS processing library
Language:PythonMIT000
Language:Lean000
logic_and_proof
CMU Undergrad Course
Language:TeXApache-2.0000
Matlab
Random matlab projects
Language:MATLAB000
Language:Rust000
opendbc
democratize access to car decoder rings
Language:C++MIT000
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.
Language:PythonMIT000
panda
code powering the comma.ai panda
Language:CMIT000
Language:Jupyter Notebook000
Pi_circuit
Figuring out how some electronic components work. Also learning C
PlotJuggler
The Time Series Visualization Tool that you deserve.
Language:C++MPL-2.0000
Language:Java000