pirapira

awesome-ethereum-virtual-machine

Ethereum Virtual Machine Awesome List

bamboo

Bamboo see https://github.com/cornellblockchain/bamboo

ethereum-formal-verification-overview

The start page about my efforts around smart contract verification

eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

dry-analyzer

Dr. Y's Ethereum Contract Analyzer

vmtrace_visualizer

A program that annotates a vm trace with dataflow information

ethereum-word-list

Words are Hard: Defining Common Terms in the Ethereum / Crypto Space

record

verbose-code-reading

Verboselly Logged Code Reading

lifepicker

A randomized activity picker for your 5 minites

pirapira.github.io

salary-nego

Salary negotiation app on the Nexus zkVM

yellowpaper

The "Yellow Paper": Ethereum's formal specification

base

Standard library for OCaml

cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

cpp2v

Formalization of C++ for verification purposes.

git-repo-sample

a sample for checking github features

k

K Framework Tools 5.0

raiden

Raiden Network

raiden-contracts

Raiden Network Smart Contracts

raiden-libs

Useful tools for Raiden and Auxiliary services

raiden-monitoring-service

Raiden monitoring service

raiden-pathfinding-service

Repo for the Raiden Pathfinding Service

raiden-services

Development of the Raiden Monitoring and Pathfinding Services

scenario-player

snarky

OCaml DSL for verifiable computation

spec

Spec of the Raiden Network protocol

taskwarrior

Taskwarrior - Commandline Task Management

test-environment-scripts

A collection of scripts used to bootstrap a test raiden envirnoment. (gist is harder to update)

verisol

A formal verifier and analysis tool for Solidity Smart Contracts