Writing
Vuta N'kuvute Translation
My English translation of the Swahili novel Vuta N'kuvute by Shafi Adam Shafi.
Safari ya Prospa Translation
My English translation of the Swahili novel Safari ya Prospa by Elieshi Lema.
Home
Matt J. Quinn
matt@mattjquinn.com • GitHub • PGP Key
Dec 2 Coq Proof of Safety for a Two Node Bidirectional Network Nov 3 Hetzner's EX51-SSD-GPU with GTX 1080 Mar 27 PL Optimization: Chlipala's Use of CoInductive + Heavy Automation Feb 18 2-to-2 Bitcoin Transaction with Segregated Witness Addresses Jan 27 Exfalso in Coq Nov 4 Database Fundamentals in SQLite Oct 20 Disassembly of Dalvik VM Bytecode to Prevent APK Uninstallation Oct 18 Exploiting Buffer Overflow in a C Program to Bypass Password Prompt Oct 15 Cracking UNIX Password Over SSH to Gain Shell Access Oct 11 Breaking WEP Encryption on a WiFi Router More Posts...
Software
CertChain | A blockchain-based decentralized network consensus protocol for use in cryptographic certification and revocation of higher education credentials.
PyxelDesigner | Build a retro game using the Pyxel game engine for Python.
Hifadhidata | Solve SQL challenges, with solutions auto-verified against PostgreSQL.
JengaMtandao | Replicate the HTML, CSS, and JavaScript of instructor-provided designs.
NyokaTofali | Use blocks to design solutions to Python challenges; solutions are auto-verified by backend.
OpenPplSoft | An open source runtime for Oracle's PeopleSoft enterprise software suite.
MyLocker | Stanford University's central location from which students retrieve and send their electronically signed diplomas and certificates.
Enterrupt | A university enrollment system that interfaces with PeopleSoft Campus Solutions via Integration Broker.
SimpleEval | Stanford University's annual performance review application, used by 1,000+ Stanford faculty and staff each year.
SimpleEnroll | Stanford University's course enrollment system, used by Stanford's 16,000+ student body throughout the year.
VPharma-Calc | A dashboard indicating the amounts of various pharmaceuticals at wastewater treatment plants across the state of Virginia.
NAVFIG Task Order | A more efficient way for NAVFIG personnel to manipulate geospatial data in a legacy database using their existing ArcGIS front-end.
FNMOC Task Order | A JSP console and a set of geospatial data parsers allowing for the manipulation of geospatial weather observations and alerts.
Tanzania
The resources, lessons, and software I developed while teaching various STEM topics to secondary school students in Tanzania are available here.
Reading
My literary interests over the years.