xrchz/verifereum

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

xrchz/verifereum

xrchz

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

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

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.

rocketsplit

Withdrawal address contract for splitting Rocket Pool node rewards

music

original compositions

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