JeremyLWright

nanocoin

A simple cryptocurrency implementation, written to illustrate the basic components of a Proof-of-Work based, public distributed ledger.

intro-to-software-security

uplink

A distributed ledger for secure multiparty workflows in financial markets.

Dizzy-Supernova

hillclimbing-decryptor

parallel-buddy-memory-manager

specs

vector-cookbook

Timescale Vector Cookbook. A collection of recipes to build applications with LLMs using PostgreSQL and Timescale Vector.

analysis-of-algorithms

CloudAssure

crdt-example-app

A full implementation of CRDTs using hybrid logical clocks and a demo app that uses it

cse539-project-1

cse539-project-2

cse548-RoboTractor

django-unicorn

The magical reactive component framework for Django ✨

github-tag-action

A Github Action to tag a repo on merge.

hugo-redlounge

A Hugo theme

hugo-theme-even

🚀 A super concise theme for Hugo https://blog.olowolo.com/example-site/

intro-to-ai

intro-to-programming-lang

lean-study

ModernCppStarter

Kick-start your C++! A template for modern C++ projects using CMake, CI, code coverage, clang-format, reproducible dependency management and much more.

myjekyll

rapidcheck

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

sandbox

tla-specs

tlaplus-exercises

Jupyter notebook with exercises from https://learntla.com

tlaps-examples

Examples for TLAPS (TLA+ Proof System)

vscode-tlaplus

TLA+ language support for Visual Studio Code

WebDocumentSystem