Skip to content
@keilambda

Kei Lambda

README.md

Kei Lambda

Collection of my experiments with Type Theory, Compiler Engineering and Functional Programming.

Projects

Compilers

  • eocia-haskell - Essentials of Compilation: An Incremental Approach in Haskell
  • eocia-lean - Essentials of Compilation: An Incremental Approach in Lean 4

Book Formalizations

  • ttfpi-agda - Formalization of the book "Type Theory and Formal Proof: An Introduction" in Agda
  • ttfpi - "Type Theory and Formal Proof: An Introduction" book formalization in Lean
  • lcwt - "Lambda Calculus with Types" formalization in Agda

Notes

Demos

Other

  • bff-agda - Brainfuck implementation in Agda

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 18 repositories
  • register-allocation-zoo Public
    keilambda/register-allocation-zoo’s past year of commit activity
    Rust 0 0 0 0 Updated Feb 11, 2025
  • eocia-haskell Public

    Essentials of Compilation: An Incremental Approach in Haskell

    keilambda/eocia-haskell’s past year of commit activity
    Haskell 6 BSD-3-Clause 0 0 0 Updated Feb 2, 2025
  • .github Public
    keilambda/.github’s past year of commit activity
    0 0 0 0 Updated Jan 28, 2025
  • 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
  • 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
  • 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…