Pinned Repositories
sublime-jsoncomma
A Sublime Text plugin to deal with those damn JSON commas!
BetterSnippetManager
A Sublime Text plugin to manage your snippets
FileManager
⚡️ A Sublime Text 3 package to help with file (duplicate, move, create...) ⚡️
MarkdownLivePreview
A Sublime Text 3 plugin to preview your markdown as you type
math2001.github.io
My blog build with Hugo
nine43
On the path to understanding concurrency...
nlfb
A nice file browser for locahost
st-user-package
My sublime text user directory. Snippets, macros, little plugins, prefs...
math2001's Repositories
math2001/FileManager
⚡️ A Sublime Text 3 package to help with file (duplicate, move, create...) ⚡️
math2001/BetterSnippetManager
A Sublime Text plugin to manage your snippets
math2001/math2001.github.io
My blog build with Hugo
math2001/money
[WIP] Something that keeps track of my expenses
math2001/password-hacker
Hack passwords to learn how to choose safe passwords
math2001/simple-web-server
math2001/sublime-plugin-reloader
Reload files in your Sublime Text's plugins
math2001/cataine
math2001/cmt_manager
math2001/cmt_monitor
Cavaliba Monitoring Tool
math2001/desn1000-group-project
math2001/dotfiles
My dotfiles
math2001/git-graph-visualiser
See a tree-picture of (almost) all the commits in your repository
math2001/gocmt
monitoring tool
math2001/l4v
seL4 specification and proofs
math2001/moby
Moby Project - a collaborative project for the container ecosystem to assemble container-based systems
math2001/notes
math2001/numpy
The fundamental package for scientific computing with Python.
math2001/physics-demos
A collection of physics demos
math2001/plugins
Albert plugins
math2001/practical-fm
A gently curated list of companies using verification formal methods in industry
math2001/recurrence-relation-visualiser
Just something to play around with to develop some sort of familiarity with recurrence relations...
math2001/sel4.systems
The seL4.systems website
math2001/serenity
The Serenity Operating System 🐞
math2001/spinner
A little simple game when you have nothing else to do
math2001/Terminus
Bring a real terminal to Sublime Text
math2001/touch-training
Tool to help me learn plays
math2001/ubc
math2001/understanding-pointers
Simplistic C-like lang with memory view to explain how pointers work!
math2001/xterm.js
A terminal for the web