typed-lambda-calculus

Star

Here are 9 public repositories matching this topic...

Language:All

Filter by language

All9 Haskell2 Kotlin1 OCaml1 Rust1 Scala1 TeX1

arrow-kt /arrow

Star6.4k

The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

kotlin monads functional-programming arrow coroutines kotlin-library optics kotlin-dsl polymorphism typeclasses hacktoberfest functional-data-structure continuations for-comprehension typed-lambda-calculus fp-types delimited-continuations kotlin-libraries

UpdatedJul 18, 2025
Kotlin

less-wrong /less-wrong

Star9

Simple CoC-based programming language

programming-language haskell interpreter inductive-types coc pi-calculus typed-lambda-calculus

UpdatedSep 4, 2017
Haskell

jadnohra /tag_export

Star8

An export of my digital library (Mathematics, Logic, Physics, Numerical Analysis, Machine Learning, Computer Science)

computer-science science machine-learning robotics physics lambda-calculus logic mathematics differential-geometry bookshelf physics-simulation rotation numerical-optimization numerical-integration differential-forms numerical-analysis probability-theory typed-lambda-calculus rigid-body-dynamics real-analysis

UpdatedSep 18, 2017

justinfargnoli /lamb

Star5

An implementation of the Typed Lambda Calculus described inhttps://papl.cs.brown.edu/2018/types.html

rust formatter interpreter llvm lambda-calculus type-checker typed-lambda-calculus

UpdatedNov 24, 2021
Rust

wangjiezhe /tapl

Star5

Source code for TAPL

ocaml lambda-calculus tapl type-system typed-lambda-calculus

UpdatedMar 24, 2017
OCaml

cpiemontese /tlc-elpi

Star2

Interactive theorem proving in ELPI

lambda-calculus interactive-theorem-proving typed-lambda-calculus lambda-prolog elpi

UpdatedNov 27, 2018

mtumilowicz /scala3-dependent-types-polymorphic-functions-workshop

Star2

Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.

dependent-types workshop first-order-logic idris workshop-materials polymorphic-types scala3 union-types phantom-types typelevel-programming typed-lambda-calculus polymorphic-functions curry-howard-isomorphism compile-time-meta-programming dependent-type-theory path-dependent scala3-metaprogramming type-programming path-dependent-types

UpdatedJan 26, 2025
Scala

bynect /system-f-cli

Star1

Small SystemF interpreter

lambda-calculus typed-lambda-calculus system-f

UpdatedJan 12, 2022
Haskell

akimichi /archetype-semantics

Star0

A research paper

ehr archetype typed-lambda-calculus iso13606

UpdatedNov 8, 2018
TeX

Improve this page

Add a description, image, and links to thetyped-lambda-calculus topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thetyped-lambda-calculus topic, visit your repo's landing page and select "manage topics."

Learn more

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly