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.

parallel-buddy-memory-manager

specs

analysis-of-algorithms

CloudAssure

CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

crdt-example-app

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

docker-flutter

flutter docker image with full android sdk

github-tag-action

A Github Action to tag a repo on merge.

hugo-notepadium

a fast gohugo theme, 100% JavaScript-free.

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

itt-310

Git for ITT-310 class

lean-study

live-contrib

Repository for additional implementations

live-examples

Examples of using jfyne/live

liveview

Django LiveView: Framework for creating Realtime SPAs using HTML over the Wire technology

minimal-bootstrap-hugo-theme

A minimal hugo theme made with bootstrap

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

quill-image-drop-and-paste

A quill editor module for drop and paste image, with a callback hook before insert image into the editor

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