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 21 repositories
  • 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 Jan 20, 2025
  • eocia-haskell Public

    Essentials of Compilation: An Incremental Approach in Haskell

    keilambda/eocia-haskell’s past year of commit activity
    Haskell 1 BSD-3-Clause 0 0 0 Updated Jan 14, 2025
  • eocia_ocaml Public
    keilambda/eocia_ocaml’s past year of commit activity
    OCaml 0 BSD-3-Clause 0 0 0 Updated Jan 11, 2025
  • 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 4 BSD-3-Clause 0 0 0 Updated Jan 5, 2025
  • 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
View all repositories

Top languages

Loading…

Most used topics

Loading…