xrchz/rocketsplit

Stars
4
Rank 3,304,323 (Top 66 %)
Language
JavaScript
License
GNU General Publi...
Created over 1 year ago
Updated 4 months ago

xrchz/rocketsplit

xrchz

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Withdrawal address contract for splitting Rocket Pool node rewards

rocketarb

Arbitrage rETH mint/burn with minipool deposit/withdrawal

hodlem

Decentralised Texas Hold'em Poker for Ethereum

beeminder-clock

Send your time spent clocked in to a Beeminder goal.

music

original compositions

verifereum

Prove functional correctness of Ethereum smart contracts in higher-order logic

discord

lidont

Convert stETH to rETH

isabelle-opentheory

Interface between Isabelle/HOL and OpenTheory

bluff

hol-light

Tasks

SetCat

MM76

Mechanization of "Unification in Linear Time and Space: A Structured Presentation" by Martelli and Montanari in HOL4.

beeminder-750words

Automatically send whether you wrote your words to Beeminder.

CERN-LHC-BLMTC-SRS

typed-conv

bbjs

Stress test 4844

ssl

Formalisation of Structural Separation Logic

smlfcgi

FastCGI wrapper for CGI applications

agda-hacking

agda-refman

cpdt-agda

holfof

vrun

minesweeper

rockettrack

Track staking yield from rETH (rocket ether)

rockettheft

Rocket Pool MEV theft analysis

standalone-tactics

rocketperf

view performance data for rocketpool nodes