Popular repositories Loading

1. lean4-json-schema lean4-json-schema Public

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

   Lean 20 1

2. predictable-agents predictable-agents Public archive

   Kotlin 15 2

3. lean4-markdown lean4-markdown Public

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

   Lean 13

4. lean4-tree-sitter lean4-tree-sitter Public

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

   Lean 10

5. lean4-flow lean4-flow Public

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

   Lean 9

6. lean4-base64 lean4-base64 Public

   RFC 4648 Base64 encoding and decoding for Lean 4

   Lean 2