Pinned Repositories
emacs-bazel-mode
Emacs mode for Bazel
emacs-bazel-mode
golearn
Machine Learning for Go
gorgonia
Gorgonia is a library that helps facilitate machine learning in Go.
mundane
Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).
tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
tautomaton's Repositories
tautomaton/emacs-bazel-mode
tautomaton/golearn
Machine Learning for Go
tautomaton/gorgonia
Gorgonia is a library that helps facilitate machine learning in Go.
tautomaton/mundane
Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).
tautomaton/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.