Predictable Machines

Internal testing scaffolding: a throwaway Java project for exercising GitHub integrations. Not an example, demo, or reference.

Lean 4 tree-sitter bindings — typed grammar schemas, declaration extraction, source maps, and verified properties

Reactive streams library for Lean 4 — Flow, SharedFlow, StateFlow, ProgramFlow, and ReactiveProgram

Lean 4 JSON Schema library — types, validation, correctness proofs, and deriving handlers

Lean 4 Markdown rendering library — types, rendering functions, and Represent typeclass

RFC 4648 Base64 encoding and decoding for Lean 4

Meirei: an imperative IR for formal verification in Lean 4