[go: up one dir, main page]
Skip to content
@keilambda

Kei Lambda

Popular repositories Loading

  1. eocia-lean eocia-lean Public

    Essentials of Compilation: An Incremental Approach in Lean 4

    Lean 3

  2. fpts-tagless-final-todo fpts-tagless-final-todo Public

    Tagless Final pattern demonstration with fp-ts

    TypeScript 2

  3. eocia-racket eocia-racket Public

    Essentials of Compilation: An Incremental Approach in Racket

    Racket 1

  4. keilambda.github.io keilambda.github.io Public

    HTML 1

  5. effect-ts-di-config effect-ts-di-config Public

    TypeScript 1

  6. ttfpi ttfpi Public

    Type Theory and Formal Proof: An Introduction

    Lean 1

Repositories

Showing 10 of 16 repositories
  • ttfpi Public

    Type Theory and Formal Proof: An Introduction

    keilambda/ttfpi’s past year of commit activity
    Lean 1 BSD-3-Clause 0 0 0 Updated Nov 5, 2024
  • website Public
    keilambda/website’s past year of commit activity
    TypeScript 0 0 0 0 Updated Oct 21, 2024
  • ttfpi-agda Public
    keilambda/ttfpi-agda’s past year of commit activity
    Agda 0 0 0 0 Updated Oct 11, 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
  • effect-ts-di-config Public
    keilambda/effect-ts-di-config’s past year of commit activity
    TypeScript 1 BSD-3-Clause 0 0 0 Updated Jul 2, 2024
  • theorem-proving-in-lean4 Public

    Notes on "Theorem Proving in Lean 4" and exercise solutions

    keilambda/theorem-proving-in-lean4’s past year of commit activity
    Lean 0 0 0 0 Updated Jun 16, 2024
  • clinic-haskell Public
    keilambda/clinic-haskell’s past year of commit activity
    Haskell 0 BSD-3-Clause 0 0 0 Updated Feb 25, 2024
  • eocia-agda Public

    Essentials of Compilation: An Incremental Approach in Agda

    keilambda/eocia-agda’s past year of commit activity
    Agda 0 0 0 0 Updated Feb 13, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…