xrchz

xrchz's Stars

• rocketlend/protocol

  Language:Python31

• xrchz/minesweeper

  Language:Standard ML1

• xrchz/vrun

  Language:JavaScript1

• xrchz/rocketsplit

  Withdrawal address contract for splitting Rocket Pool node rewards

  Language:JavaScript43

• ethers-io/ext-provider-multicall

  Ethers extension for a multicall-based provider to batch calls.

  Language:TypeScript155

• Gnucash/gnucash

  GnuCash Double-Entry Accounting Program.

  Language:C3.5k807

• GLCNI/ETH-Solo-Validator-Addresses

  Ethereum addresses belonging to Solo Stakers

  4814

• xrchz/rocketperf

  view performance data for rocketpool nodes

  Language:JavaScript1

• bcpierce00/unison

  Unison file synchronizer

  Language:OCaml4.2k236

• LMDB/lmdb

  Read-only mirror of official repo on openldap.org. Issues and pull requests here are ignored. Use OpenLDAP ITS for issues.

  Language:C2.6k588

• verifereum/verifereum

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

  Language:Standard ML121

• tbvdm/sigtop

  Export messages from Signal Desktop

  Language:Go28112

• kriszyp/lmdb-js

  Simple, efficient, ultra-fast, scalable data store wrapper for LMDB

  Language:JavaScript52144

• adrianmcli/eth95

  🛠️ A smart contract UI for your Ethereum dapp project

  Language:TypeScript532100

• ethers-io/ethers.js

  Complete Ethereum library and wallet implementation in JavaScript.

  Language:TypeScript8k1.9k

• xrchz/hodlem

  Decentralised Texas Hold'em Poker for Ethereum

  Language:Vyper145

• monasticacademy/logical-induction

  Code to support the guide to logical induction for software engineers

  Language:Jupyter Notebook9

• xrchz/rocketarb

  Arbitrage rETH mint/burn with minipool deposit/withdrawal

  Language:JavaScript13426

• xrchz/discord

  discord apps

  Language:JavaScript32

• evilegg/ethereum-private-key-attack

  Brute force private key attack against ethereum wallets

  Language:Python3916

• jqlang/jq

  Command-line JSON processor

  Language:C30.6k1.6k

• BittyTax/BittyTax

  Crypto-currency tax calculator with support for all popular wallets, exchanges, explorers and migration from other crypto tax platforms

  Language:Python424114

• xrchz/bluff

  online games

  Language:JavaScript2

• google-deepmind/cartesian-frames

  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.

  Language:Standard ML193

• CakeML/pure

  A verified compiler for a lazy functional language

  Language:Standard ML324

• anprogrammer/OpenRoads

  A modern implementation of the classic game SkyRoads. Supports all of the original data-files (art, music, levels), and tries to remain faithful to the original. It is written in TypeScript, and uses HTML5 technologies. It also runs in NodeJS with Oculus Rift support.

  Language:JavaScript12310

• MKorostoff/1-pixel-wealth

  Language:HTML1.7k143

• dselsam/certigrad

  Bug-free machine learning on stochastic computation graphs

  Language:Lean38835

• suragnair/alpha-zero-general

  A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

  Language:Jupyter Notebook3.9k1k

• xrchz/smlfcgi

  FastCGI wrapper for CGI applications

  Language:Standard ML1