lee's repositories
ic-http-bitcoin-demo
http outcalls and bitcoin
IC-notes-projects-tips
A list of resources to quickly learn from the best on the IC
motokobootcamp2023-coreproject
core project for motoko bootcamp
awesome-motoko
A curated list of Motoko code and resources.
cdk-rs
Rust canister development kit for the Internet Computer.
db
async database
dmailfi_gateway
An SMTP to Web3 Gateway
examples
Example applications, microservices, and code samples for the Internet Computer
fowlerlee
Config files for my GitHub profile.
fxzkeeper
jfx zookeeper kafka distro app
gpt3-writer-starter
buildspace
jdesignpatterns
java patterns
kit
Shared utility code for Dapr runtime
mojo
The Mojo Programming Language
mooty
many locks and atomics for no waits
motokobootcamp2023
solution submissions to questions and assignments
nfid-motoko-starter
nfid-starter validates back and front
OpenLLM
Operating LLMs in production
orchestration
Develop an orchestrator based on Borg and K8s using TLAplus and Golang
property-app
property app in Spring, react native, Postgres, redis
rust-setups
networks, sys dev, web, dapps, defi
skills-github-pages
Lee's Blog
tlaexamples
A collection of TLA⁺ specifications of varying complexities
tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.