Explore projects

A small talk on the power of plaintext

experiment code for project

UW saml tools

Build system for a basic project.

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

Python scripts for analyzing SPINS outputs

Python Shallow Water Solver

Python tools for handling and visualizing MITgcm data

Tutorials for running MITgcm

A Z3-based IC3 implementation