arrow-kt /arrow
The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
Kotlin6585
typed-lambda-calculus 开源项目推荐（10 个）
typed-lambda-calculus 话题在 GitHub 上没有填写简介，这里按 Star 数汇总最相关的热门仓库。
10收录项目
6622Star 总量
6覆盖语言
相关标签
热门项目 全部 10
GitHub 共 10 个仓库，已全部展示
less-wrong /less-wrong
Simple CoC-based programming language
Haskell10
jadnohra /tag_export
An export of my digital library (Mathematics, Logic, Physics, Numerical Analysis, Machine Learning, Computer Science)
9
justinfargnoli /lamb
An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html
Rust7
wangjiezhe /tapl
Source code for TAPL
OCaml5
mtumilowicz /scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Scala3
cpiemontese /tlc-elpi
Interactive theorem proving in ELPI
2
bynect /system-f-cli
Small SystemF interpreter
Haskell1
akimichi /archetype-semantics
A research paper
TeX0
diego-unipi /bachelor-thesis
This is my bachelor thesis in mathematics at Univeristy of Pisa.
TeX0
关于这个话题
- 清单取自 GitHub 话题页并按 Star 数排序，每次展示前 10 个项目；原始页面见 https://github.com/topics/typed-lambda-calculus。
- 该话题在 GitHub 上共有 10 个仓库， 本站收录的是其中最热门的 10 个，不是全量列表。
- Star / Fork 每日自动刷新一次，实时数据以 GitHub 为准。
- 当前 10 个项目累计 6622 Star，覆盖 6 种主要语言，数据更新于 2026-11-08。
- 中文介绍来自 GitHub 官方话题说明（github/explore）的机器翻译，可点「查看原文」对照；译文缺失时会先展示原文。