Skip to content
@typednotes

TypedNotes

A notebook for the AI era

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 9

  4. linen linen Public

    Lean Standard Library

    Lean 6

  5. lode lode Public

    Agentic coding in Lean

    Lean 3

  6. typednotes typednotes Public

    Rust 2

Repositories

Showing 10 of 15 repositories
View all repositories

People

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

Top languages

Loading…

Most used topics

Loading…