Dapp, Seth, Hevm, and more

Minimal implementations for dependent type checking and elaboration

🕵️ Haskell STatic ANalyser

A language for intent-centric and declarative decentralised applications

Symbolic and concrete EVM execution engine

Smart contract specification language

A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS

Integrates QuickChecked properties into the type system with phantom types

Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)

The Jebus Lambda Calculus Interpreter