Modular framework for building reliable, easy to operate, high performance, EVM-compatible networks.

Toolkit for building governance in your online community

End-to-end speech model training pipeline built on Burn — MFCC features, CTC loss, LibriSpeech loader, SpeechOcean762 evaluation

Dedicated SSR (Server-side-rendered) Astro native Headless CMS, built from the ground up for the Astro community and by Astro community members

A collection of TLA⁺ specifications of varying complexities.

A model-based testing framework for Quint + Rust

Tactics for discharging Lean goals into SMT solvers.

The math library of Lean 4

Bonsai Demo

Fast, accurate & comprehensive text measurement & layout

Model-based testing tool

Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.

Open infrastructure for creative authorship on the AT Protocol. Fifteen record types for world-building, attribution, lineage, and rights across any media. Authorship travels with every object. Nob…

Add hardship to your tests

Interactive TUI for exploring Quint/Apalache ITF traces

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

🦭 Distributed log streaming engine built from first principles

Rust Actors over Nats

Rust client for NATS, the cloud native messaging system.

Sifa project coordination and issue tracking

A simple and easy-to-use OIDC provider that allows users to authenticate with their passkeys to your services.

PartyKit, for Workers

PartyKit simplifies developing multiplayer applications

User Controlled Authorization Network (UCAN) Specification

Sharp Monocular View Synthesis in Less Than a Second