Explore projects

A Z3-based IC3 implementation

bot used in #anime:matrix.org

This project contains scripts to help courses use Gitlab for assignment submission.

SE 465 Assignment 2 skeleton

A package of python scripts that allow for generic marking of projects submitted to a dropbox on Desire2Learn.

Python tools for handling and visualizing MITgcm data

This repo contains the project for ECE651 for the term W19.

A custom router for communication networks built using the Xilinx RapidWright framework. This git repository accompanies the FCCM 2019 short paper on this topic.

Static site generator for externally managed documentation

Bounds calculation scripts and toolchain for the HopliteBuf FPGA 2019 paper.