Hein Meling's repositories
insperahacks
Inspera Assessment Hacks
Language:Jupyter NotebookMIT000
Module-2-CS1
Repository for Module 2 of Campus Advisors
oh-my-zsh-custom
My oh-my-zsh customizations
Paxos-in-Dafny
Paxos consensus algorithm implemented in the functional validation language Dafny
Language:Shell000
quick-look-plugins
List of useful Quick Look plugins for developers
000
resilientdb
ResilientDB: Global-Scale Sustainable Blockchain Fabric
Language:C++Apache-2.0000
spacetime
LaTeX package for drawing spacetime diagrams for distributed systems
Language:TeXMIT000