Rust client for PostgREST

🤖 The Modern Port Scanner 🤖

ˈyːbɐˌzɪçt

Powerful menu bar manager for macOS

Public Ledger of Credentials: a cryptographic, strongly-consistent, and recoverable DID method

Bluesky PDS (Personal Data Server) container image, compose file, and documentation

macOS system monitor in your menu bar

Spartan: High-speed zkSNARKs without trusted setup

The best development platform for building custom modular Cosmos-SDK blockchains

CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

A Decentralized Operating System for ZK Applications

Hugo theme

⛓️ A Framework for Building High Value Public Blockchains ✨

Build Cosmos SDK applications on the OP Stack.

A robust execution client for Ethereum node operators.

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

Rust-language assets for Zcash

Connect with ZK Summit 11 attendees by tapping NFC cards to share digital signatures

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

The Hugo theme is inspired by Material Design version 3, built with love using Tailwind CSS.

The Bluesky Social application for Web, iOS, and Android

Hurl, run and test HTTP requests with plain text.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

A monitor of resources

My Neovim config

Physics simulations written in Glowscript

A small symbolic mathematics engine

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them