Ethereum smart contract fuzzer

Dapp, Seth, Hevm, and more

A multi-syntax functional programming language that compiles to WebAssembly.

create static websites from YAML data and string templates

Symbolic and concrete EVM execution engine

Smart contract specification language

The home of the Glamorous Glambda interpreter

The symbolic execution engine powering the K Framework

A typed, polyglot, functional language

⚡️Efficient implementation of Map with types as keys

Implement monads by specifying instructions and their desired operational semantics.

Simple demonstration stack based virtual machine written in Haskell

A compiler into EVM code