barbosamarco4

Pinned Repositories

paxos-electrum
Paxos specification in Electrum
00
PC_COVID
This is a free workspace where u can be yourself and
Language:Java10
QCHEQUE_exp_realization
Experimental realization of quantum cheque
Language:Python10
safe_turtles
Language:CMake00
PyLA
TLA modules in python
Language:Python50
famlang
Query language for family trees
Language:Yacc00
PI50
Language:C00
PI50-100
Language:C00
Consensus
00

barbosamarco4's Repositories

barbosamarco4/PyLA
TLA modules in python
Language:Python5
barbosamarco4/famlang
Query language for family trees
Language:Yacc
barbosamarco4/PI50-100
Language:C
barbosamarco4/PI50
Language:C
barbosamarco4/paxos-electrum
Paxos specification in Electrum
barbosamarco4/safe_turtles
Language:CMake