Discover @xrchz Open Source projects

Ramana Kumar (@xrchz)

xrchz

Stars
202
Global Rank 122,305 (Top 5 %)
Followers 110
Following 4
Registered almost 15 years ago
Most used languages

JavaScript
42.9 %

Standard ML 23.8 %

OCaml
4.8 %

Haskell
4.8 %

Isabelle 4.8 %

Python
4.8 %

LilyPond 4.8 %

Vyper 4.8 %

Shell
4.8 %
Location 🇬🇧 United Kingdom
Country Total Rank 5,865
Country Ranking

Vyper 1

LilyPond 2

Standard ML 9

Isabelle 11

OCaml
183

Haskell
712

JavaScript
1,156

Shell
2,509

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

standalone-tactics

rocketperf

view performance data for rocketpool nodes