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.
CS/Math
- Coq Proof of Safety for a Two Node Bidirectional Network Dec 2 2018
- Hetzner's EX51-SSD-GPU with GTX 1080 Nov 3 2018
- PL Optimization: Chlipala's Use of CoInductive + Heavy Automation Mar 27 2018
- 2-to-2 Bitcoin Transaction with Segregated Witness Addresses Feb 18 2018
- Exfalso in Coq Jan 27 2018
- Siku Hiyo, Mwanafunzi Alinifundishia "for ... else" ya Python Oct 4 2017
- Initial Ramdisk Modifications for Educational Use Tablets Aug 11 2017
- Understanding Induction Hypothesis Variation in Coq Jun 23 2017
- Hinnebusch & Mirza Swahili with Python Jan 6 2017
- Assisted Theorem Proving with J-Bob May 29 2016
- Tensor Product of Vector Spaces, Step by Step May 19 2016
- GDB with Multi-Threaded Rust Oct 24 2015
- SPI Bus Loopback Visualization on the STM32 Microcontroller Jun 27 2015
- Reverse Engineering The PeopleSoft PRM Inclusion Algorithm Mar 7 2015
- Guide to Installing Apache Solr 4.9, Tomcat 7 on RHEL 7 Jul 7 2014
- Logging from Clojure with log4j2 Feb 11 2014
- ANTLR 4: A Case Study Jan 19 2014
- Using Libvirt to Create a Private Network for Xen domUs Dec 17 2013
- Creating HVM and PV domUs on Xen 4.3 / Debian 7 Dec 16 2013
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.
Education
The resources, lessons, and software I developed while teaching various STEM topics to secondary school students in Tanzania are available here.
Reading
A compilation of books I've read over the years, and those I hope to get to at some point in the future.
Contact
Email: matt [at] [this-domain].com