Gossip-based service discovery (and more) for large distributed systems.

⭕ A *nix cross-platform (OS agnostic) supervisor

Official implementation of the Creditcoin protocol

Subspace Network reference implementation

Browser-based visual programming language and platform for sound synthesis.

A Software Development Kit (SDK) for Zero-Knowledge Transactions

Pragma is the leading zk-native oracle, live on StarkNet with 20+ price feeds. Pragma makes data decentralized, transparent and composable.

🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

Static Analyzer for Solidity and Vyper

Rust bindings for the Z3 solver.

Esoteric Programming Language

🚡 Minimal linux container runtime

Good old gibberish for your virtual characters

The Hacker's Machine Learning Engine

🧑‍🔬 Operating system

High performance Rust ECS library

A graph-based functional API for building complex scikit-learn pipelines.

Maintain disk images or other large files indefinitely on the Sia network.

Cannoli Programming Language

a repl for michelson, tezos smart contract language

Lachesis BFT consensus for permission-less networks, in Rust

Efficiently computes derivatives of NumPy code.

The high-performance database for modern applications

Fast, asynchronous and elegant Python web framework.

Decentralized Machine Learning Client

Chain replication server framework for Rust

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

Open-source software for volunteer computing and grid computing.