LCD-wrapper for Penumbra GRPC

This Python script takes a file containing Discord invite links as input and checks the validity of each link. Valid links are saved in a "valid_links.txt" file and invalid links are saved in an "i…

A support library for working with zero knowledge cryptography in Lean 4.

Text-To-Speech, RAG, and LLMs. All local!

Endo is a distributed secure JavaScript sandbox, based on SES

The Scyther Tool for the symbolic analysis of security protocols

Starknet sequencer built with Tendermint Core

CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine

Testing infrastructure for the Celestia Network

Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.

A research-only integration of Sovereign with Celestia

Docs for Poolshark, a directional automated market maker

Dolt – Git for Data

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

A safe, easy systems language

wazero: the zero dependency WebAssembly runtime for Go developers

Kubernetes spec for agoric networks

Nitro goes vroom and fixes everything

Quicksilver

Celestia Data Availability Nodes

JS and TS libs for Evmos

Tendermint consensus in Rust

On chain interactive fault prover for Ethereum

Starcoin - A Move smart contract blockchain network that scales by layering

Get eBPF programs running from the cloud to the kernel in 1 line of bash

Frontend, contracts, and merkle tree generator for use in quickly scaffolding ERC20 token airdrops.

Launch your own EVM as an Avalanche Subnet