Skip to content

@keilambda Kei Lambda

Change the repository type filter

All

    Repositories list

    20 repositories

    • ttfpi-agda

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

    • cs-839-systems-verification

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

    • ttfpi

      Public
      "Type Theory and Formal Proof: An Introduction" book formalization in Lean
      type-theoryleanformalizationlean4formal-proof
      Lean
      •
      BSD 3-Clause "New" or "Revised" License
      •0•4•0•0•Updated Dec 12, 2024Dec 12, 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

    • .github

      Public
      0•0•0•0•Updated Nov 27, 2024Nov 27, 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

    • eocia-lean

      Public
      Essentials of Compilation: An Incremental Approach in Lean 4
      Lean
      •
      BSD 3-Clause "New" or "Revised" License
      •0•3•0•0•Updated Jul 26, 2024Jul 26, 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•0•0•0•Updated Jun 16, 2024Jun 16, 2024

    • clinic-haskell

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

    • eocia-agda

      Public
      Essentials of Compilation: An Incremental Approach in Agda
      Agda
      •0•0•0•0•Updated Feb 13, 2024Feb 13, 2024

    • eocia-racket

      Public
      Essentials of Compilation: An Incremental Approach in Racket
      Racket
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Jan 31, 2024Jan 31, 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

    • spring-boot-jpa-swagger-docker

      Public
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jan 2, 2024Jan 2, 2024

    • cats-tagless-final-todo

      Public
      Scala
      •0•0•0•0•Updated Sep 21, 2023Sep 21, 2023

    • fpts-tagless-final-todo

      Public
      Tagless Final pattern demonstration with fp-ts
      example-projectfp-tstagless-final
      TypeScript
      •0•2•0•0•Updated Sep 18, 2023Sep 18, 2023