Stars
Ingress NGINX Controller for Kubernetes
Example code for the book Microservice patterns
In-browser code editor (version 5, legacy)
Join the GitHub Graduation Yearbook and "walk the stage" on June 5.
Semantic version comparison for Python (see http://semver.org/)
C++ library to develop competitive programming problems
Test case generation framework for competitive programming problems
The "Yellow Paper": Ethereum's formal specification
Compile Solidity source code and verify its bytecode matches the blockchain
Solidity, the Smart Contract Programming Language
Solidity Parser CLI tool build on top of ConsenSys/solidity-parser-antlr(https://github.com/ConsenSys/solidity-parser-antlr)
Abstraction layer for smart contract build systems
An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚
A Solidity parser for JS built on top of a robust ANTLR4 grammar
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
An Analysis Tool for Smart Contracts
🏡 Open source home automation that puts local control and privacy first.