Explore projects

SE 465 Assignment 2 skeleton

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

bot used in #anime:matrix.org

A Z3-based IC3 implementation

Code for self-directed group project - SMART LOCK

Tutorials for running MITgcm

Python tools for handling and visualizing MITgcm data

Python Shallow Water Solver

Look up table based Equation of state with user defined accuracy and resolution. Thermodynamically consistent estimation of properties.