sandJohnson's repositories
BlockChainStuff
Collection of bits & pieces vaguely related to blockchain technology & Java
Language:Java000
dafny-training
Some examples of Dafny code to support training sessions
Language:Dafny000
Language:HTML000
Language:PythonMIT000
Stanislavski
pow gym environment
Language:Python000
stateless-ethereum-specs
Specifications for the Stateless Ethereum research effort
000
testing_remote_repo
Remote GitHub Repository to experiment on push, fetch, branching, commits etc
wittgenstein
Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others
Language:JavaApache-2.0000