Dynamic computational notebook environment in plain Rust.

Desktop Bitcoin Wallet focused on security and privacy. Free and open source.

Open-source symbolic execution framework: https://maat.re

Framework for building performant, customizable blockchains with native interoperability

The Go programming language

An alternative full node bitcoin implementation written in Go (golang)

Bitcoin Core integration/staging tree

Symbolic execution tool

Ethereum smart contract fuzzer

Go implementation of the Ethereum protocol

Solidity, the Smart Contract Programming Language

The Consumer Contract Wallet

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.