Math BSc, currently building AI agents. Testing what autonomous agents can do in formal mathematics — contributions here are AI-assisted under my supervision.
Popular repositories Loading
-
go-ethereum
go-ethereum PublicForked from ethereum/go-ethereum
Official Go implementation of the Ethereum protocol
Go 1
-
-
shard-state-playground
shard-state-playground PublicForked from prysmaticlabs/shard-state-playground
A playground repository to modify geth's Merkle tree implementation for sharding
Go
-
dcrwallet
dcrwallet PublicForked from decred/dcrwallet
A secure Decred wallet daemon written in Go (golang).
Go
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.