Popular repositories Loading

1. maze-harvester maze-harvester Public

   Grow a custom vector maze with a command line; print as SVG.

   Java 87 7

2. tla-dafny tla-dafny Public

   An embedding of TLA+ in Dafny

   6

3. vmware-verification-2023 vmware-verification-2023 Public

   Course materials for the VMware 2023 instance of the Protocol Verification Course

   Dafny 3

4. sonde-search sonde-search Public

   a couple dorks trying to break into the easiest hobby ever

   JavaScript 2 2

5. embassies embassies Public

   Embassies: Radically Refactoring the Web. NSDI 2013 best paper award

   C++ 2 1

6. keepassx keepassx Public

   Forked from keepassx/keepassx

   KeePassX is a cross platform port of the windows application “Keepass Password Safe”.

   C++