Tools for certifying the D4 model counter

Extended Haskell Conceal feature for Vim

Using machine learning in the context of GASOL

Dafny Evm Proof Generator (experimental)

A CTF protocol, where players create and solve EVM puzzles to earn NFTs.

An Analysis Tool for Smart Contracts

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

Symbolic virtual machine for Ethereum

Static Analyzer for Solidity and Vyper

The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"

Symbolic execution tool

Ethereum smart contract fuzzer

An EVM interpreter in Dafny

Minimal Anti-Collusion Infrastructure (MACI)

Grist is the evolution of spreadsheets.

gtk ui for neovim

Official repo of the EVM LLVM project

A modular stack for zkVMs, with a focus on productivity, security and performance.

A symbolic testing tool for EVM smart contracts

the CheckMate protocol verification tool

An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.

Terminal JSON viewer & processor

Tools for Yul.

Vim configuration files for Nix http:https://nixos.org/nix

Solves systems of polynomial equations.