A Relay Compiler compatible shim for using fetch when Relay is too much

One command to fix CVE-2025-66478 (React 2 Shell RCE) in your Next.js / React RSC app.

Evals for Next.js up to 15.5.6 to test AI model competency at Next.js

React + Dear ImGui + Static Hermes

Run independent ATProtocol networks

atproto lexicon typescript toolkit

A plugin to enable the 'use cache' directive in Vite.

Protoflare helps you build AT Protocol apps on Cloudflare faster.

A third party Appview for ATproto

AT Protocol automation service written in Rust

Simple Raycasting Example in Lean4 using SDL3

A tool for shared writing and social publishing

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

The Lean Computer Science Library (CSLib)

agent builder

Documenting common pitfalls and footguns in Lean

Lean 4 library of mathematics independent of Mathlib for autodidactic purposes.

Third-party Bluesky client designed with a Windows Longhorn-like aesthetic.

Lean 4 programming language and theorem prover

Combinatorial game library in Lean 4

Lean Theorem Prover MCP

A Lean companion to Analysis I

Experimental ATProto BFF Framework

plc key management app