Popular repositories Loading

1. infdesc infdesc Public

   Forked from ContinueZhang/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. noahgaertner noahgaertner Public

   Config files for my GitHub profile.

4. 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++

5. tt02-verilog-demo tt02-verilog-demo Public

   Forked from TinyTapeout/tt02-verilog-demo

   Verilog demo for TT02

   SystemVerilog

6. m4b-merge m4b-merge Public

   Forked from djdembeck/m4b-merge

   A CLI tool that outputs consistently sorted, tagged, single m4b files regardless of the input.

   Python