Popular repositories Loading

1. infdesc infdesc Public

   Forked from cnewstead/infdesc

   An Infinite Descent into Pure Mathematics

   TeX

2. 18-100-ML-Lab 18-100-ML-Lab Public

   Machine Learning Lab (Lab 9) for 18-100 Intro to ECE at Carnegie Mellon in Fall 2020

   HTML

3. dotfiles dotfiles Public

   my dotfiles

   Shell

4. noahgaertner noahgaertner Public

   Config files for my GitHub profile.

5. Red-Robot-2021 Red-Robot-2021 Public

   Forked from CMU-Robotics-Club/Red-Robot-2021

   Code for CMU RoboClub's Red Robot Hackathon (2021)

   C++

6. tt02-verilog-demo tt02-verilog-demo Public

   Forked from TinyTapeout/tt02-verilog-demo

   Verilog demo for TT02

   SystemVerilog