Skip to content
@keilambda

Kei Lambda

README 
Collection of my experiments with Type Theory and Functional Programming.

Pinned Loading

  1. lcwt lcwt Public

    "Lambda Calculus with Types" formalization in Agda

    Agda

  2. ttfpi ttfpi Public

    "Type Theory and Formal Proof: An Introduction" book formalization in Lean

    Lean 4

  3. natural-number-game natural-number-game Public

    My solutions for Natural Number Game.

    Lean

  4. certainty-by-construction certainty-by-construction Public

    Agda

  5. eocia-lean eocia-lean Public

    Essentials of Compilation: An Incremental Approach in Lean 4

    Lean 3

  6. website website Public

    TypeScript

Repositories

Showing 10 of 20 repositories
  • ttfpi-agda Public

    Formalization of the book "Type Theory and Formal Proof: An Introduction" in Agda

    keilambda/ttfpi-agda’s past year of commit activity
    Agda 3 BSD-3-Clause 0 0 0 Updated Dec 23, 2024
  • cs-839-systems-verification Public
    keilambda/cs-839-systems-verification’s past year of commit activity
    Coq 0 0 0 0 Updated Dec 22, 2024
  • ttfpi Public

    "Type Theory and Formal Proof: An Introduction" book formalization in Lean

    keilambda/ttfpi’s past year of commit activity
    Lean 4 BSD-3-Clause 0 0 0 Updated Dec 12, 2024
  • lcwt Public

    "Lambda Calculus with Types" formalization in Agda

    keilambda/lcwt’s past year of commit activity
    Agda 0 BSD-3-Clause 0 0 0 Updated Nov 28, 2024
  • .github Public
    keilambda/.github’s past year of commit activity
    0 0 0 0 Updated Nov 27, 2024
  • certainty-by-construction Public
    keilambda/certainty-by-construction’s past year of commit activity
    Agda 0 BSD-3-Clause 0 0 0 Updated Nov 24, 2024
  • website Public
    keilambda/website’s past year of commit activity
    TypeScript 0 0 0 0 Updated Oct 21, 2024
  • bff-agda Public

    BrainFuck implementation in Agda

    keilambda/bff-agda’s past year of commit activity
    Agda 0 0 0 0 Updated Oct 11, 2024
  • keilambda.github.io Public
    keilambda/keilambda.github.io’s past year of commit activity
    HTML 1 0 0 0 Updated Sep 6, 2024
  • eocia-lean Public

    Essentials of Compilation: An Incremental Approach in Lean 4

    keilambda/eocia-lean’s past year of commit activity
    Lean 3 BSD-3-Clause 0 0 0 Updated Jul 26, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…