Popular repositories Loading

1. paradox-viz paradox-viz Public

   An interactive visualization of Banach-Tarski rotations for MIT's Paradox and Infinity Course.

   JavaScript 4

2. sydgibs.github.io sydgibs.github.io Public

   A website about me

   HTML 1

3. armada armada Public

   Forked from mit-pdos/perennial

   Verifying concurrent storage systems

   Coq

4. vale-mode.el vale-mode.el Public

   Forked from jaybosamiya/vale-mode.el

   🔧 Emacs support for Vale

   Emacs Lisp

5. dafny dafny Public

   Forked from dafny-lang/dafny

   Dafny is a verification-aware programming language

   C#

6. opentitan opentitan Public

   Forked from lowRISC/opentitan

   OpenTitan: Open source silicon root of trust

   SystemVerilog