xrchz/SetCat xrchz/SetCat

  • Stars
    star
    2
  • Language
  • Created over 13 years ago
  • Updated over 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
xrchz/SetCat
github

xrchz

Reviews

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

Repository Details

More Repositories

1

rocketarb

Arbitrage rETH mint/burn with minipool deposit/withdrawal
JavaScript
131
star
2

hodlem

Decentralised Texas Hold'em Poker for Ethereum
Vyper
14
star
3

beeminder-clock

Send your time spent clocked in to a Beeminder goal.
Shell
5
star
4

rocketsplit

Withdrawal address contract for splitting Rocket Pool node rewards
JavaScript
4
star
5

music

original compositions
LilyPond
4
star
6

verifereum

Prove functional correctness of Ethereum smart contracts in higher-order logic
Standard ML
4
star
7

discord

discord apps
JavaScript
3
star
8

lidont

Convert stETH to rETH
JavaScript
3
star
9

isabelle-opentheory

Interface between Isabelle/HOL and OpenTheory
Isabelle
3
star
10

bluff

online games
JavaScript
2
star
11

hol-light

OCaml
2
star
12

Tasks

2
star
13

MM76

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

beeminder-750words

Automatically send whether you wrote your words to Beeminder.
2
star
15

CERN-LHC-BLMTC-SRS

2
star
16

typed-conv

Haskell
1
star
17

bbjs

Stress test 4844
JavaScript
1
star
18

ssl

Formalisation of Structural Separation Logic
Standard ML
1
star
19

smlfcgi

FastCGI wrapper for CGI applications
Standard ML
1
star
20

agda-hacking

1
star
21

agda-refman

1
star
22

cpdt-agda

1
star
23

holfof

1
star
24

vrun

JavaScript
1
star
25

minesweeper

Standard ML
1
star
26

rockettrack

Track staking yield from rETH (rocket ether)
JavaScript
1
star
27

rockettheft

Rocket Pool MEV theft analysis
Python
1
star
28

standalone-tactics

Standard ML
1
star
29

rocketperf

view performance data for rocketpool nodes
JavaScript
1
star