Skip to content
View jonhnet's full-sized avatar
12 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback
Block or Report

Block or report jonhnet

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. maze-harvester maze-harvester Public

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

    Java 85 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. embassies embassies Public

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

    C++ 2 1

  5. sonde-search sonde-search Public

    a couple dorks trying to break into the easiest hobby ever

    JavaScript 1 1

  6. keepassx keepassx Public

    Forked from keepassx/keepassx

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

    C++