Thomas Nijssen's repositories
canvas-lms
The open LMS by Instructure, Inc.
cse210A-asgtest
Test scripts for CSE210A homework
dinocpu-firrtl-dedup-problem
A teaching-focused RISC-V CPU design used at UC Davis
BSD-3-Clause000
DrE
Directed Compositional Symbolic Execution for MSP430
NOASSERTION000
firrtl
Flexible Intermediate Representation for RTL
Apache-2.0000