Pinned Repositories
bentobox
celo-monorepo
Official repository for core projects comprising the Celo platform
concord-bft
Concord byzantine fault tolerant state machine replication library
dss-crop-join
ECFChecker
A dynamic checker for the ECF property incorporated into geth
ECFStaticChecker
Artifact for the paper "Taming Callbacks for Smart Contract Modularity"
Interpreter
SparkVerifier
shellygr's Repositories
shellygr/ECFChecker
A dynamic checker for the ECF property incorporated into geth
shellygr/ECFStaticChecker
Artifact for the paper "Taming Callbacks for Smart Contract Modularity"
shellygr/Interpreter
shellygr/SparkVerifier
shellygr/bentobox
shellygr/celo-monorepo
Official repository for core projects comprising the Celo platform
shellygr/concord-bft
Concord byzantine fault tolerant state machine replication library
shellygr/dss-crop-join
shellygr/FileClassifier
GUI for quick self-indexing of files later aggregated for easy search
shellygr/go-ethereum
Official Go implementation of the Ethereum protocol
shellygr/MLWS-new
---
shellygr/Zookathon
shellygr/Http2Verification
shellygr/papershare
shellygr/prism
Lightweight, robust, elegant syntax highlighting.
shellygr/pyethereum
Next generation cryptocurrency network
shellygr/Serializability
Determines whether a schedule is conflict serializable along with it's precedence graph.
shellygr/shellygr.github.io
shellygr/solidity
Solidity, the Contract-Oriented Programming Language
shellygr/SwProj
...
shellygr/tau
shellygr/vcfconvert
vCard to LDIF/CSV Converter
shellygr/vscode-solidity-auditor
Solidity language support and visual security auditor for Visual Studio Code
shellygr/WLANMonitor
A makeup alternative to DHCP client list
shellygr/Yiddish