Skip to content
View awktavian's full-sized avatar
2 followers · 0 following

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Quickdraw

Highlights

  • Pro

Block or report awktavian

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
awktavian/README.md

awktavian.github.io

Personal site for Tim Jacoby.

Structure

  • / - Main landing page
  • /oauth/figma/ - Figma OAuth callback for Kagami

Kagami

This site hosts OAuth callbacks for Kagami, an AI assistant.

h(x) ≥ 0

Popular repositories Loading

  1. art art Public

    Galleries and Artworks

    HTML

  2. awktavian awktavian Public

    Awktavian Kagami ID

    HTML

  3. economy economy Public

    Formally verified economic model backing tim.awkronos.com/economy — 202 theorems, 0 sorry, 0 axioms

    Lean

  4. nanoda_lib nanoda_lib Public

    Forked from ammkrn/nanoda_lib

    Library implementing type inference/checking functionality based on the Lean theorem prover

    Rust

  5. lean4export lean4export Public

    Forked from leanprover/lean4export

    Plain-text declaration export for Lean 4

    Lean

  6. Stacks Stacks Public

    Forked from AxiomMath/Stacks

    A Lean formalization of the Stacks Project

    Lean