SBIP's repositories
solc-json-parser
A Powerful AST Interpreter for Solidity
install-llvm-action
A GitHub Action for downloading and installing SBIP-customized version of LLVM binaries.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
python-solidity-parser
An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar đź“š
qiskit-pqcee-provider
The Qiskit provider for pQCee blockchain quantum simulator
sol-flattener
Mimimal solidity flattener script
SolidiFI-benchmark
Repository of benchmarks to evaluate Solidity Smart contract analysis tools
ConFuzzius
A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
sbic2021-tutorials
Some code presented during SBIC 2021
solidity
Solidity, the Smart Contract Programming Language
bigint
Arbitrary precision integer library for C and C++
fabric-cosmos-ibc-demo
Sample for ICS-20 transfer between Hyperledger Fabric and Cosmos-based Blockchain
hevm
symbolic EVM evaluator. https://hevm.dev
ibc-go
Interblockchain Communication Protocol (IBC) implementation in Golang.
llvm-rust
A customized Rust bindings for LLVM
smartbugs
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
Smartian
Enhancing Smart Contract Fuzzing with Static and Dynamic Analyses
solang
Solidity Compiler for Solana, Substrate, and ewasm
yui-relayer-build
IBC Relayer for heterogeneous blockchains