Pinned Repositories
ceph-consensus-spec
TLA+ specification of the Ceph consensus algorithm
CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Finite-Automata-Ambiguity-Degree
Bachelor final project on the degree of ambiguity of finite automata.
gamingworkout
ia-enemath
Workshop ENEMath
ia-enemath-web
https://afonsonf.github.io/ia-enemath-web/
tlaplus-finite-automata
tlaplus-graph-explorer
A static web application to explore and animate a TLA+ state graph.
tlaplus-html-examples
Example usages of the HTML.tla module
vscode-tlaplus
TLA+ language support for Visual Studio Code
afonsonf's Repositories
afonsonf/tlaplus-graph-explorer
A static web application to explore and animate a TLA+ state graph.
afonsonf/ceph-consensus-spec
TLA+ specification of the Ceph consensus algorithm
afonsonf/tlaplus-html-examples
Example usages of the HTML.tla module
afonsonf/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
afonsonf/Finite-Automata-Ambiguity-Degree
Bachelor final project on the degree of ambiguity of finite automata.
afonsonf/gamingworkout
afonsonf/ia-enemath
Workshop ENEMath
afonsonf/ia-enemath-web
https://afonsonf.github.io/ia-enemath-web/
afonsonf/keystore-explorer
KeyStore Explorer is a free GUI replacement for the Java command-line utilities keytool and jarsigner.
afonsonf/ook-modulation
Software defined radio for OOK signal modulation and demodulation.
afonsonf/tlaplus-finite-automata
afonsonf/quarkus-config-cdi
afonsonf/test
afonsonf/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
afonsonf/vscode-tlaplus
TLA+ language support for Visual Studio Code
afonsonf/vscode-tlaplus-stress-specs
Specs to stress test the tlaplus vscode extension