ProofOfKeags/btc-verified
Verified Bitcoin protocol components in Lean 4 — serialization, txids, and merkle commitments checked against real mainnet blocks.
Building machine-checked cryptographic protocol infrastructure. Currently verifying Bitcoin's consensus components in Lean, with LLM-assisted proof engineering.
Repositories
ProofOfKeags/haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
ProofOfKeags/FreeExercise
ProofOfKeags/lambdacoin
Basic PoW CryptoCurrency for LambdaConf 2018
ProofOfKeags/99haskell
Solutions to the 99 Haskell Problems on https://wiki.haskell.org/99_questions
ProofOfKeags/react-starter
This is a repository to hold a general purpose react-starter application that I built myself. This is to teach me the fundamentals of how web applications are built.
ProofOfKeags/reanimate
Haskell library for building declarative animations based on SVG graphics
ProofOfKeags/rust-bitcoin
Rust Bitcoin library
ProofOfKeags/aoc24
ProofOfKeags/lnd
Lightning Network Daemon ⚡️
ProofOfKeags/fancy-git
That's a terminal prompt changer that shows a few cool git informations about your repository state. You can choose among different styles and enjoy all the aliases it provides you. Feel free for contributing, pull requests and issues are always welcome! ;)
ProofOfKeags/stripe
:moneybag: Stripe API
ProofOfKeags/bolts
BOLT: Basis of Lightning Technology (Lightning Network Specifications)
ProofOfKeags/btcd
An alternative full node bitcoin implementation written in Go (golang)
ProofOfKeags/express-cognito-jwk
Middleware for parsing, and validating cognito tokens.
ProofOfKeags/salt-project
ProofOfKeags/CS425MP1
ProofOfKeags/CS423MP4
CS423 MP4 Load Balancer
ProofOfKeags/CS425MP2
ProofOfKeags/harmonic-series-tattoo
Code that rendered my first tattoo
ProofOfKeags/hasbolt
Haskell driver for Neo4j 3+ (BOLT protocol)
ProofOfKeags/sapio
A Bitcoin Programming Language
ProofOfKeags/nonograms
Nonogram TUI application / solver
ProofOfKeags/wai
Haskell Web Application Interface
ProofOfKeags/plebfi-hackathon
Miniscript reimplementation
ProofOfKeags/http2-grpc-haskell
gRPC over HTTP/2 for Haskell, client and server
ProofOfKeags/http2-client
A native HTTP2 client in Haskell
ProofOfKeags/filament
LND Library
ProofOfKeags/proto-lens
API for protocol buffers using modern Haskell language and library patterns.
ProofOfKeags/nixpkgs
Nix Packages collection