Automatically synthesizing invariants of distributed systems

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

A curated list of Arbitrum Stylus code examples, libraries and resources

A massively parallel, high-level programming language

GitHub Actions runner images

A super-easy, composable, web server framework for warp speeds.

🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

The Rust OpenTelemetry implementation

A next-generation test runner for Rust.

Create Customized Software using Natural Language Idea (through LLM-powered Multi-Agent Collaboration)

Public Key Addressable Resource Records (sovereign TLDs)

High-Resolution Image Synthesis with Latent Diffusion Models

Faster Whisper transcription with CTranslate2

IRIS: Intelligent Residential Integration System - a mind for your home!

Automatic Speech Recognition with Speaker Diarization based on OpenAI Whisper

WhisperX: Automatic Speech Recognition with Word-level Timestamps (& Diarization)

Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.

Architected for speed. Automated for easy. Monitoring and troubleshooting, transformed!

Directed graph layout for JavaScript

React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely cust…

a super simple, no-nonsense diagramming library written in react that just works

Security and Design topics

Developer docs for Lit Protocol. Learn about encryption, access control. and programmatic signing.

Practical Cryptography for Developers: Hashes, MAC, Key Derivation, DHKE, Symmetric and Asymmetric Ciphers, Public Key Cryptosystems, RSA, Elliptic Curves, ECC, secp256k1, ECDH, ECIES, Digital Sign…

Social networking technology created by Bluesky

A curated list of distributed key generation and threshold signatures implementations

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Personal CRM. Remember everything about your friends, family and business relationships.

An awesome list of papers on privacy attacks against machine learning