Repository ยท quiet
Aquarius (Stellar) Certora FV Competition (Jun 2025, ๐#1 place)
stars
0
forks
1
contributors
4
open issues
Not enough history yet โ signal stabilises after ~2 snapshots.
KirillZiborov
@KirillZiborov
10
commits
teryanarmen
@teryanarmen
6
chandrakananandi
@chandrakananandi
2
srunquist-certora
@srunquist-certora
keybase/client
Keybase Go Library, Client, Service, OS X, iOS, Android, Electron
stellar/stellar-core
Reference implementation for the peer-to-peer agent that manages the Stellar network.
stellar/soroban-example-dapp
End-to-End Example Soroban Dapp
stellar/go-stellar-sdk
Stellar's Go SDK
ehazlett/stellar
Simplified Container System
stellar-deprecated/kelp
Kelp is a free and open-source trading bot for the Stellar DEX and 100+ centralized exchanges
stellar/js-stellar-sdk
Main Stellar client library for the JavaScript language.
stellar/stellar-protocol
Developer discussion about possible changes to the protocol.
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
