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