Pinned Repositories
cakeml
CakeML: A Verified Implementation of ML
regression
Regression testing infrastructure for CakeML
beeminder-clock
Send your time spent clocked in to a Beeminder goal.
bluff
online games
discord
discord apps
hodlem
Decentralised Texas Hold'em Poker for Ethereum
isabelle-opentheory
Interface between Isabelle/HOL and OpenTheory
music
original compositions
rocketarb
Arbitrage rETH mint/burn with minipool deposit/withdrawal
rocketsplit
Withdrawal address contract for splitting Rocket Pool node rewards
xrchz's Repositories
xrchz/rocketarb
Arbitrage rETH mint/burn with minipool deposit/withdrawal
xrchz/music
original compositions
xrchz/rocketsplit
Withdrawal address contract for splitting Rocket Pool node rewards
xrchz/discord
discord apps
xrchz/bluff
online games
xrchz/rocketperf
view performance data for rocketpool nodes
xrchz/rockettheft
Rocket Pool MEV theft analysis
xrchz/rockettrack
Track staking yield from rETH (rocket ether)
xrchz/smartnode
The CLI package for Rocket Pool smart nodes.
xrchz/vrun
xrchz/vyper-hol
Formal specification and verification of Vyper
xrchz/ape
The smart contract development tool for Pythonistas, Data Scientists, and Security Professionals
xrchz/ape-etherscan
Etherscan explorer plugin using EVM-based networks for the Ape Framework
xrchz/contracts
xrchz/docs.rocketpool.net-1
Rocket Pool Documentation & Guide Hub
xrchz/holesky
the holesovice post-merge testnet configuration.
xrchz/lodestar
🌟 TypeScript Implementation of Ethereum Consensus
xrchz/lstdiversity
Collect holdings information on top LST holders
xrchz/noble-curves
Audited & minimal JS implementation of elliptic curve cryptography.
xrchz/ramanapool
permissioned node operator interface to rocket pool
xrchz/redvita
xrchz/rocketfront
staking pond
xrchz/rockethero
Rocket Pool withdrawal addresses for Heroglyphs
xrchz/rocketpool-go
A Golang library for interacting with the Rocket Pool network.
xrchz/rocketslippage
xrchz/rockettree
Rocket Pool Rewards Tree Generation
xrchz/rp-book
xrchz/RPIPs
Rocket Pool Improvement Proposals (RPIPs)
xrchz/stETH2rETHrepo
xrchz/vyper
Pythonic Smart Contract Language for the EVM