Use your computer as a cosmic ray detector! One of the memory errors Rust does not protect against.

CLI and Rust libraries for low-level manipulation of WebAssembly modules

SOLL is a new compiler for generate Ewasm from solidity and yul. See a demo here: https://asciinema.org/a/ezJqNLicn5fya02zwu4VXIo8a

Go Wechaty is a Conversational SDK for Chatbot Makers Written in Go

Tai-e assignments for static program analysis

Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app

吉林大学学位论文Latex模板

IDA Processor Module for the Ethereum Virtual Machine (EVM)

Semantics of Solidity in K

go-ethereum source code analyzation under the perspective of smart contract security

Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution

Differential fuzzing for Smart Contract VMs

Variation of american fuzzy lop for testing compilers

An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚

Solidity grammar for ANTLR4

OSS-Fuzz - continuous fuzzing for open source software.

SOLTIX: Scalable automated framework for testing Solidity compilers.

哔哩哔哩-API收集整理【不断更新中....】

Mutation Testing for Ethereum Smart Contracts

A Solidity parser for JS built on top of a robust ANTLR4 grammar

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

WebAssembly to C decompiler

程序语言与编译技术相关资料（持续更新中）

Source code of EtherSolve: static analysis of Ethereum bytecode

A tool to generate synthetic tests for the Solidity platform

Contains hundreds of samples for learning Go.

Code examples accompanying my "24 days of Rust" article series.

Convert Jupyter Notebooks to Web Apps