😎 Awesome lists about all kinds of interesting topics

A functional, content-addressable programming language.

Gazelle = Generalized Elle. A framework for reusable programming language semantics.

Isabelle semantics for the Yul language

Isabelle semantics for the Yul language

Existential Optics: discovering correct lens laws

K framework proof explorer & smart contract specification format

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.

A curated list of resources and tools for the MythX smart contract security API

A formal verifier and analysis tool for Solidity Smart Contracts

Tiling Window Manager for Windows

A Lem formalization of EVM and some Isabelle/HOL proofs

Lem semantic definition language

A Peer-to-peer Platform for Secure, Privacy-preserving, Decentralized Data Science

DEPRECATED - do not use!!!

Ewasm Design Overview and Specification

A Lem formalization of EVM and some Isabelle/HOL proofs

Rust parser combinator framework

Implementation of Verifiers for Hierarchical Artifact Systems

A framework for extensible, reflective decision procedures.

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

Free Reimplementation of A Popular Deckbuilding Game

A Coq IDE build on top of Proof General's Coq mode

Reflective verification procedures for separation logic programs in Coq

Reflective verification procedures for separation logic programs in Coq