Pinned Repositories
cse531
cse565
hillclimbing-decryptor
intro-to-software-security
nanocoin
A simple cryptocurrency implementation, written to illustrate the basic components of a Proof-of-Work based, public distributed ledger.
parallel-buddy-memory-manager
specs
uplink
A distributed ledger for secure multiparty workflows in financial markets.
JeremyLWright's Repositories
JeremyLWright/nanocoin
A simple cryptocurrency implementation, written to illustrate the basic components of a Proof-of-Work based, public distributed ledger.
JeremyLWright/intro-to-software-security
JeremyLWright/uplink
A distributed ledger for secure multiparty workflows in financial markets.
JeremyLWright/parallel-buddy-memory-manager
JeremyLWright/specs
JeremyLWright/analysis-of-algorithms
JeremyLWright/CloudAssure
JeremyLWright/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
JeremyLWright/crdt-example-app
A full implementation of CRDTs using hybrid logical clocks and a demo app that uses it
JeremyLWright/django-unicorn
The magical reactive component framework for Django ✨
JeremyLWright/docker-flutter
flutter docker image with full android sdk
JeremyLWright/github-tag-action
A Github Action to tag a repo on merge.
JeremyLWright/hugo-notepadium
a fast gohugo theme, 100% JavaScript-free.
JeremyLWright/hugo-redlounge
A Hugo theme
JeremyLWright/hugo-theme-even
🚀 A super concise theme for Hugo https://blog.olowolo.com/example-site/
JeremyLWright/intro-to-programming-lang
JeremyLWright/itt-310
Git for ITT-310 class
JeremyLWright/lean-study
JeremyLWright/live-contrib
Repository for additional implementations
JeremyLWright/live-examples
Examples of using jfyne/live
JeremyLWright/liveview
Django LiveView: Framework for creating Realtime SPAs using HTML over the Wire technology
JeremyLWright/minimal-bootstrap-hugo-theme
A minimal hugo theme made with bootstrap
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/myjekyll
JeremyLWright/quill-image-drop-and-paste
A quill editor module for drop and paste image, with a callback hook before insert image into the editor
JeremyLWright/tla-specs
JeremyLWright/tlaplus-exercises
Jupyter notebook with exercises from https://learntla.com
JeremyLWright/tlaps-examples
Examples for TLAPS (TLA+ Proof System)
JeremyLWright/vscode-tlaplus
TLA+ language support for Visual Studio Code
JeremyLWright/WebDocumentSystem