WilfredTA

evm-cfg-rs

Implementation of CFG generation based on EtherSolve paper

trampoline-rs

Fullstack development framework for UTXO-based dapps on Nervos Network

act

Smart contract specification language

cAPI

Concepts as APIs with Programmable Interfaces (or apps as stored knowledge for more flexible knowledge management & communication)

docker-env-athena

mkr-vestrs

Simple utility for interacting with dss-vest award contracts

proof-programming

Proofs as programs using Athena proof language based on many-sorted FOL

ckb-standalone-types

ckb-std

This library contains serveral modules that could help you write CKB contract with Rust.

Comparison-of-Proof-Assistants

erc20_model

Formal model of ERC20 & specific erc20 implementations in K

ethers-rs

Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

evmodin-test

fe

Emerging smart contract language for the Ethereum blockchain.

foundry

A drop-in replacement for `dapp` and `seth` in Rust

geb-simulations

Simulation code for a GEB system

iamm_sdk

k-experiments

klee

KLEE Symbolic Execution Engine

libra

lighthouse

Ethereum consensus client in Rust

lil-web3

Simple, intentionally-limited versions of web3 protocols & apps.

mkr-mcd-spec

High level KSpecification for the MCD System by Runtime Verification and Maker Foundation

NexisDao-core

pw-lock

A ckb lock script which can make use of other blockchain wallets as ckb wallets.

riscv

Low level access to RISC-V processors

rust-verification-tools

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

svm

SVM - Spacemesh Virtual Machine

t_nft

Implementation of tNFT standard - simple & flexible nft standard for CKB

twamm

TWAMM Reference Implementation