Popular repositories Loading

1. predictable-agents predictable-agents Public archive

   Kotlin 15 2

2. lean4-markdown lean4-markdown Public

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

   Lean 12

3. lean4-json-schema lean4-json-schema Public

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

   Lean 11

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. kotlin-verifier kotlin-verifier Public archive

   Kotlin 1