Pinned Loading

1. b402-solana b402-solana Public

   Private DeFi on Solana — shielded pool + composable execution

   TypeScript 3 1

2. Vistara-Labs/vimana Vistara-Labs/vimana Public

   Vimana is an orchestration client that aims to abstract away complexities in operationalizing networks with minimal setup.

   Go 30 53

3. Vistara-Labs/hypercore Vistara-Labs/hypercore Public

   Hypercore is a service that runs on every vimana node operator. It listens for requests to create and manage microVMs.

   Go 80 15

4. kedro-org/kedro kedro-org/kedro Public

   Kedro is a toolbox for production-ready data science. It uses software engineering best practices to help you create data engineering and data science pipelines that are reproducible, maintainable,…

   Python 10.9k 1k

5. flash-scalper flash-scalper Public

   TypeScript 39 5

6. split-fv split-fv Public

   Machine-checked safety for Split's oracle-free, physically-settled options settlement core — Lean 4 proofs (clean axioms, zero sorry) + Foundry/Halmos/Vyper conformance.

   Solidity