Skip to content

@keilambda Kei Lambda

Change the repository type filter

All

    Repositories list

    22 repositories

    • concrete-semantics

      Public
      "Concrete Semantics" notes
      Isabelle
      •0•1•0•0•Updated Apr 19, 2026Apr 19, 2026

    • eocia-haskell

      Public
      Essentials of Compilation: An Incremental Approach in Haskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•12•0•0•Updated Mar 9, 2026Mar 9, 2026

    • bunpell

      Public
      文法
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•2•0•0•Updated Jan 14, 2026Jan 14, 2026

    • register-allocation-zoo

      Public
      Rust
      •0•0•0•0•Updated Jan 9, 2026Jan 9, 2026

    • monadic-compiler-calculation

      Public
      Rocq Prover
      •0•1•0•0•Updated Oct 11, 2025Oct 11, 2025

    • ttfpi-agda

      Public
      Formalization of the book "Type Theory and Formal Proof: An Introduction" in Agda
      lambda-calculustype-theoryagda
      lambda-calculustype-theoryagdalambda-cubemltt
      Agda
      •
      BSD 3-Clause "New" or "Revised" License
      •0•6•0•0•Updated Oct 8, 2025Oct 8, 2025

    • reshala

      Public
      SAT solver.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•1•Updated Oct 7, 2025Oct 7, 2025

    • ttfpi

      Public
      "Type Theory and Formal Proof: An Introduction" book formalization in Lean
      type-theoryleanformalization
      type-theoryleanformalizationlean4formal-proof
      Lean
      •
      BSD 3-Clause "New" or "Revised" License
      •0•7•0•0•Updated Aug 26, 2025Aug 26, 2025

    • .github

      Public
      0•0•0•0•Updated Jan 28, 2025Jan 28, 2025

    • eocia-lean

      Public
      Essentials of Compilation: An Incremental Approach in Lean 4
      Lean
      •
      BSD 3-Clause "New" or "Revised" License
      •2•5•0•0•Updated Jan 20, 2025Jan 20, 2025

    • cs-839-systems-verification

      Public
      Coq
      •0•0•0•0•Updated Dec 22, 2024Dec 22, 2024

    • lcwt

      Public
      "Lambda Calculus with Types" formalization in Agda
      Agda
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Nov 28, 2024Nov 28, 2024

    • certainty-by-construction

      Public
      Agda
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Nov 24, 2024Nov 24, 2024

    • website

      Public
      TypeScript
      •0•0•0•0•Updated Oct 21, 2024Oct 21, 2024

    • bff-agda

      Public
      BrainFuck implementation in Agda
      Agda
      •0•0•0•0•Updated Oct 11, 2024Oct 11, 2024

    • keilambda.github.io

      Public
      HTML
      •0•1•0•0•Updated Sep 6, 2024Sep 6, 2024

    • effect-ts-di-config

      Public
      TypeScript
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Jul 2, 2024Jul 2, 2024

    • theorem-proving-in-lean4

      Public
      Notes on "Theorem Proving in Lean 4" and exercise solutions
      Lean
      •0•1•0•0•Updated Jun 16, 2024Jun 16, 2024

    • clinic-haskell

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Feb 25, 2024Feb 25, 2024

    • natural-number-game

      Public
      My solutions for Natural Number Game.
      Lean
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 31, 2024Jan 31, 2024

    • docker-haskell-cabal

      Public
      An example Haskell (Cabal) server packaged into multi-stage Docker
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jan 18, 2024Jan 18, 2024

    • fpts-tagless-final-todo

      Public
      Tagless Final pattern demonstration with fp-ts
      example-projectfp-tstagless-final
      example-projectfp-tstagless-final
      TypeScript
      •0•2•0•0•Updated Sep 18, 2023Sep 18, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.