Popular repositories Loading

1. PyRTL PyRTL Public

   Forked from UCSBarchlab/PyRTL

   A collection of classes providing simple hardware specification, simulation, tracing, and testing suitable for teaching and research. Simplicity, usability, clarity, and extendability rather than p…

   Python

2. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

3. UniDScanner UniDScanner Public

   Copy of 2017-2018 UCSB Capstone project sponsored by Workday, Inc.

   Kotlin

4. Mathathon Mathathon Public

   Final project for UCSB CMPSC 176B W2018

   Kotlin