Skip to content
@typednotes

TypedNotes

Popular repositories Loading

  1. lean-pq lean-pq Public

    Lean binding for libpq

    Lean 11 2

  2. hale hale Public archive

    Lean Standard Library

    Lean 9

  3. infra infra Public

    Declare the infrastructure

    Lean 8

  4. linen linen Public

    Lean Standard Library

    Lean 4

  5. lode lode Public

    Agentic coding in Lean

    3

  6. typednotes typednotes Public

    Rust 1

Repositories

Showing 10 of 14 repositories
  • infra Public

    Declare the infrastructure

    typednotes/infra's past year of commit activity
    Lean 8 Apache-2.0 0 0 0 Updated Sep 23, 2026
  • typednotes Public
    typednotes/typednotes's past year of commit activity
    Rust 1 0 0 0 Updated Sep 23, 2026
  • secrets Public

    Secret vault

    typednotes/secrets's past year of commit activity
    Rust 1 Apache-2.0 0 0 0 Updated Sep 23, 2026
  • liaison Public

    A small delegation warrants + broker

    typednotes/liaison's past year of commit activity
    Lean 1 Apache-2.0 0 0 0 Updated Sep 23, 2026
  • ledger Public

    A simple ledger in lean4

    typednotes/ledger's past year of commit activity
    Lean 1 Apache-2.0 0 0 0 Updated Sep 23, 2026
  • linen Public

    Lean Standard Library

    typednotes/linen's past year of commit activity
    Lean 4 Apache-2.0 0 0 0 Updated Sep 23, 2026
  • lun Public

    A runner of code with tranquility

    typednotes/lun's past year of commit activity
    0 Apache-2.0 0 0 0 Updated Sep 19, 2026
  • lode Public

    Agentic coding in Lean

    typednotes/lode's past year of commit activity
    3 Apache-2.0 0 0 0 Updated Sep 19, 2026
  • hale Public archive

    Lean Standard Library

    typednotes/hale's past year of commit activity
    Lean 9 Apache-2.0 0 0 0 Updated Aug 8, 2026
  • lean-pq Public

    Lean binding for libpq

    typednotes/lean-pq's past year of commit activity
    Lean 11 Apache-2.0 2 0 0 Updated Mar 25, 2026
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.