Giters
Jon Howell (jonhnet)

jonhnet

Geek Repo

12

followers

0

following

2

stars

Home Page:https://www.jonh.net/

Github PK Tool:Github PK Tool

Jon Howell's repositories

maze-harvester

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

Language:JavaLicense:GPL-3.0Stargazers:85Issues:8Issues:6

tla-dafny

An embedding of TLA+ in Dafny

License:Apache-2.0Stargazers:6Issues:0Issues:0

vmware-verification-2023

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

Language:DafnyStargazers:3Issues:0Issues:0

embassies

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

Language:C++License:NOASSERTIONStargazers:2Issues:0Issues:0

sonde-search

a couple dorks trying to break into the easiest hobby ever

Language:JavaScriptLicense:GPL-3.0Stargazers:1Issues:0Issues:0

immich

Self-hosted photo and video backup solution directly from your mobile phone.

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

inkscape-silhouette

An extension to drive Silhouette vinyl cutters (e.g. Cameo, Portrait, Curio series) from within inkscape.

Language:PythonLicense:GPL-2.0Stargazers:0Issues:0Issues:0

jonhnet.github.io

Language:HTMLStargazers:0Issues:0Issues:0

keepassx

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

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

nginx-googlesignin

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pipeline-manager

Language:DafnyStargazers:0Issues:0Issues:0

whole-house-audio

Language:ShellStargazers:0Issues:0Issues:0