A friendly programming language from the future

A modern proof language

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Ethereum smart contract fuzzer

What I Wish I Knew When Learning Haskell

Dapp, Seth, Hevm, and more

Tensors and neural networks in Haskell

Reach: The Safest and Smartest DApp Programming Language

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Symbolic and concrete EVM execution engine

Smart contract specification language

Web3 API for Haskell

Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.

EVM (Ethereum virtual machine) Assembly on Haskell DSL

Easily create authenticated data structures

A Haskell framework that facilitates writing ABCI applications

Demo / PoC / implementation of IOHK MPC protocols

An attempt at rewriting tidal from scratch

The modular protocol framework based on Universal Composability

Maker Purple paper on tendermint

Keccak hash functions

My homepage

pbs analyses

A vnTinyRAM emulator.