The Bluesky Social application for Web, iOS, and Android

Go source code for Bluesky's atproto services.

Data & code accompanying Paradigm's How to Raise the Gas Limit post.

Symbolic Execution Benchmarks for Ethereum Smart Contracts

Easy leverage on G-UNI using Dai Flash Mint Module.

Deezer source separation library including pretrained models.

dApps in Elm

IPFS wrapper for Haskell

[Optimism] Smart Contracts

weird erc20 tokens

EVM Bytecode Super Optimizer

Relational programming in Haskell. Mostly developed on twitch.

Software modular synth

Overview of the formal verification projects in the Ethereum ecosystem.

Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

Verification tests for solidity semantics

Ethereum implementation on the efficiency frontier

A purely functional programming language with first class types

Optics via the profunctor representation theorem

Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming

⚠️ [Deprecated] ⚠️ Secure key generation for deposits

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Desktop client for Radicle.

Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library

A dependently typed programming language, a successor to Idris