math2001

FileManager

⚡️ A Sublime Text 3 package to help with file (duplicate, move, create...) ⚡️

BetterSnippetManager

A Sublime Text plugin to manage your snippets

math2001.github.io

My blog build with Hugo

money

[WIP] Something that keeps track of my expenses

password-hacker

Hack passwords to learn how to choose safe passwords

simple-web-server

cmt_monitor

Cavaliba Monitoring Tool

about-time

An quick app to finally learn how to read notes quickly

cataine

cmt_manager

desn1000-group-project

dotfiles

My dotfiles

git-graph-visualiser

See a tree-picture of (almost) all the commits in your repository

gocmt

monitoring tool

iris-simp-lang

We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.

l4v

seL4 specification and proofs

moby

Moby Project - a collaborative project for the container ecosystem to assemble container-based systems

notes

numpy

The fundamental package for scientific computing with Python.

physics-demos

A collection of physics demos

plugins

Albert plugins

practical-fm

A gently curated list of companies using verification formal methods in industry

recurrence-relation-visualiser

Just something to play around with to develop some sort of familiarity with recurrence relations...

sel4.systems

The seL4.systems website

serenity

The Serenity Operating System 🐞

spinner

A little simple game when you have nothing else to do

Terminus

Bring a real terminal to Sublime Text

touch-training

Tool to help me learn plays

ubc

xterm.js

A terminal for the web