xrchz/standalone-tactics

Stars
1
Language Standard ML
Created about 13 years ago
Updated over 12 years ago

xrchz/standalone-tactics

xrchz

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

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

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

rocketperf

view performance data for rocketpool nodes