Afonso Fernandes's repositories
tlaplus-graph-explorer
A static web application to explore and animate a TLA+ state graph.
ceph-consensus-spec
TLA+ specification of the Ceph consensus algorithm
tlaplus-html-examples
Example usages of the HTML.tla module
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.
ia-enemath
Workshop ENEMath
ia-enemath-web
https://afonsonf.github.io/ia-enemath-web/
keystore-explorer
KeyStore Explorer is a free GUI replacement for the Java command-line utilities keytool and jarsigner.
ook-modulation
Software defined radio for OOK signal modulation and demodulation.
tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
vscode-tlaplus
TLA+ language support for Visual Studio Code
vscode-tlaplus-stress-specs
Specs to stress test the tlaplus vscode extension