Pinned Repositories
Canto
Layer-1 blockchain powered by Free Public Infrastructure
cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
cometbft
CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine
formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
friends-are-for-losers
talent-plan
block-sdk
🎨 Programmable Block Builder for Cosmos Chains
nivasan1's Repositories
nivasan1/friends-are-for-losers
nivasan1/6.824
nivasan1/cometbft
CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine
nivasan1/formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
nivasan1/osal
The Core Flight System (cFS) Operating System Abstraction Layer (OSAL)
nivasan1/talent-plan
nivasan1/02-Introduction
nivasan1/Canto-1
nivasan1/clm
nivasan1/core
GO implementation of the Terra Protocol
nivasan1/cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
nivasan1/crypto-notes
nivasan1/ethermint
Ethermint is a scalable and interoperable Ethereum library, built on Proof-of-Stake with fast-finality using the Cosmos SDK.
nivasan1/evmos
Evmos is the Ethereum Virtual Machine (EVM) Hub on the Cosmos Network. It is the flagship implementation of the Ethermint library that prioritizes interoperability and novel economics.
nivasan1/github-slideshow
A robot powered training repository :robot:
nivasan1/iavl
Merkleized IAVL+ Tree implementation in Go
nivasan1/mev-tendermint
nivasan1/neutron
Smart Contract platform secured by Cosmos Hub
nivasan1/nightmare
nivasan1/osmosis
The AMM Laboratory
nivasan1/panic
PANIC Monitoring and Alerting For Blockchains
nivasan1/practice
nivasan1/puddle
Generic resource pool for Go
nivasan1/talent-plan-1
open source training courses about distributed database and distributed systems
nivasan1/tax-filler
nivasan1/tinysql
A course to build the SQL layer of a distributed database.
nivasan1/tutorials
Some Lean tutorials