Block or Report
Block or report Shella
Contact GitHub support about this userโs behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
non-interactive system to install, customize and manage Linux systems
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Wasm friendly Celestia light node implementation in Rust
CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine
The premier source of truth powering network automation. Open source under Apache 2. Public demo: https://demo.netbox.dev
A native gRPC client & server implementation with async/await support.
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
A cargo subcommand that generates Debian packages from information in Cargo.toml
A Software Development Kit (SDK) for Zero-Knowledge Transactions
DALLยทE Mini - Generate images from a text prompt
PyTorch package for the discrete VAE used for DALLยทE.
Celestia node software based on Tendermint.
Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.
The easiest, most secure way to use WireGuard and 2FA.
An experimental, work-in-progress PAM module for Tailscale
monorepo for the Agoric Javascript smart contract platform
The testnets repo for the Juno Blockchain.
Configuration files for Terra testnet releases
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers