Denver, CO

Keags

Expert
@ProofOfKeags

Building machine-checked cryptographic protocol infrastructure. Currently verifying Bitcoin's consensus components in Lean, with LLM-assisted proof engineering.

lambdacoin. Basic PoW CryptoCurrency for LambdaConf 2018

3

hd-tree-secp256k1. bip32/39/43/44 implementation for secp256k1

3

harmonic-series-tattoo. Code that rendered my first tattoo

2

99haskell. Solutions to the 99 Haskell Problems on https://wiki.haskell.org/99_questions

1

nonograms. Nonogram TUI application / solver

1

FreeExercise. Haskell

1

wai-jwt-auth-middleware. Haskell

1

haskell-template. Haskell

1

plebfi-template. Dig deeper into LND's API's to build better Lightning Applications

1
9
Apply