I make software. I teach.
Repositories
JeremyLWright/BMAD-METHOD
Breakthrough Method for Agile Ai Driven Development
JeremyLWright/django-unicorn
The magical reactive component framework for Django ✨
JeremyLWright/rapidcheck
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
JeremyLWright/Dizzy-Supernova
JeremyLWright/vector-cookbook
Timescale Vector Cookbook. A collection of recipes to build applications with LLMs using PostgreSQL and Timescale Vector.
JeremyLWright/nanocoin
A simple cryptocurrency implementation, written to illustrate the basic components of a Proof-of-Work based, public distributed ledger.
JeremyLWright/cse565
JeremyLWright/tla-specs
JeremyLWright/lean-study
JeremyLWright/myjekyll
JeremyLWright/intro-to-software-security
JeremyLWright/specs
JeremyLWright/vscode-tlaplus
TLA+ language support for Visual Studio Code
JeremyLWright/crdt-example-app
A full implementation of CRDTs using hybrid logical clocks and a demo app that uses it
JeremyLWright/tlaps-examples
Examples for TLAPS (TLA+ Proof System)
JeremyLWright/github-tag-action
A Github Action to tag a repo on merge.
JeremyLWright/tlaplus-exercises
Jupyter notebook with exercises from https://learntla.com
JeremyLWright/uplink
A distributed ledger for secure multiparty workflows in financial markets.
JeremyLWright/ModernCppStarter
Kick-start your C++! A template for modern C++ projects using CMake, CI, code coverage, clang-format, reproducible dependency management and much more.
JeremyLWright/hugo-redlounge
A Hugo theme
JeremyLWright/hugo-theme-even
🚀 A super concise theme for Hugo https://blog.olowolo.com/example-site/