Popular repositories Loading

1. ucsd-thesis ucsd-thesis Public

   canonical, up-to-date ucsd thesis and dissertation latex templates

   TeX 4 1

2. stainless stainless Public

   Forked from epfl-lara/stainless

   Verification framework and tool for higher-order Scala programs

   HTML 1

3. misc misc Public

   miscellaneous thoughts and files

4. llvm-cbe llvm-cbe Public

   Forked from JuliaHubOSS/llvm-cbe

   resurrected LLVM "C Backend", with improvements

   C++

5. chezbob chezbob Public

   Forked from supersat/chezbob

   The main repo for Chez Bob at UCSD.

   Python

6. chipyard chipyard Public

   Forked from ucb-bar/chipyard

   Pre-release starter template for custom Chisel projects

   C