Block or Report
Block or report lorin
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
Examples Public
Forked from tlaplus/ExamplesA collection of TLA⁺ specifications of varying complexities
TLA Other UpdatedJul 12, 2024 -
-
-
-
-
tla-prophecy Public
Applying Prophecy variables in TLA+ to the Herlihy & Wing paper
-
-
-
cook-lectures-notes Public
Notes on Dr. Richard Cook's lectures on the study of cognitive work
-
-
zotero-bb Public
Script for randomly selecting a paper from a zotero collection
-
-
-
reasoned-clj Public
Notebooks for doing The Reasoned Schemer exercises in Clojure
Clojure UpdatedMar 2, 2023 -
roamjs-daily-zettles Public
A RoamJS plugin to show zettles each day
-
-
atlas-docs Public
Forked from Netflix/atlas-docsAtlas Documentation Site (https://netflix.github.io/atlas-docs/)
Python Apache License 2.0 UpdatedMay 31, 2022 -
tla-linearizability Public
Reading the linearizability paper with TLA+
-
announce-bb Public
Command-line control over macOS's "announce the time"
Clojure UpdatedJan 11, 2022 -
-
-
-
-
-
failure-mode-bestiary Public
A collection of failure modes observed in software systems
2 UpdatedDec 5, 2021 -
-
keel Public
Forked from spinnaker/keelSpinnaker's declarative service
Kotlin Apache License 2.0 UpdatedAug 11, 2021 -
ansiblebook Public
Code samples from the book "Ansible: Up and Running"
-