JoranHonig/vertigo

Mutation Testing for Ethereum Smart Contracts

metaborg/spoofax

Spoofax runtime

dfinity/ic-wasm

A collection of libraries and tools for transforming Wasm canisters running on the Internet Computer

informalsystems/basecoin-rs

An example ABCI application making use of tendermint-rs and ibc-rs

archaelus/eshellcode

Erlang Shellcode snippets

foks-proj/go-foks

Go implementation of FOKS -- client and server

foundry-rs/foundry-toolchain

GitHub action to install Foundry