Andrew Brown's starred repositories
awesome-chatgpt-prompts
This repo includes ChatGPT prompt curation to use ChatGPT better.
docusaurus
Easy to maintain open source documentation websites.
datascript
Immutable database and Datalog query engine for Clojure, ClojureScript and JS
runtime-spec
OCI Runtime Specification
rust-memory-container-cs
Rust Memory Container Cheat-sheet
cargo-deny
❌ Cargo plugin for linting your dependencies 🦀
curated-lists
Curated lists on various topics
tool_lists
Links to tools by subject
tlaplus-graph-explorer
A static web application to explore and animate a TLA+ state graph.
bare-metal-series
Code for the "Bare Metal Series" videos
SpecifyingSystemsWithContents
Adding a table of contents to Specifying Systems, TLA+.pdf
Formal-Methods-Courses
Here we collect worldwide courses teaching formal methods