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

sublime-plugin-reloader

Reload files in your Sublime Text's plugins

cataine

cmt_manager

cmt_monitor

Cavaliba Monitoring Tool

desn1000-group-project

dotfiles

My dotfiles

git-graph-visualiser

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

gocmt

monitoring tool

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

understanding-pointers

Simplistic C-like lang with memory view to explain how pointers work!

xterm.js

A terminal for the web