system-f
There are 18 repositories under system-f topic.
zehaochen19/vanilla-lang
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
sgillespie/lambda-calculus
An introduction to the Lambda Calculus
tweag/pirouette
Language-generic workbench for building static analysis
wbbradley/ace
A statically-typed strictly-evaluated garbage-collected readable programming language.
Lysxia/system-F
Formalization of the polymorphic lambda calculus and its parametricity theorem
tominated/system_f_omega
My Attempt at System Fω with Row-Polymorphism
L-TChen/Type-Theory
Lecture note on Lambda Calculus and Types for FLOLAC
aradarbel10/Styff
A functional programming language based on system F (omega) ft. NbE and higher order unification
Ef55/stainless-stlc
System F in Stainless
chrisnevers/bidirectional-typechecking
Bidirectional type checking for predicative System F
gergoerdi/system-f-agda
System F
rudynicolop/Lambda-Calculi-OCaml
Lambda Calculus implementations in OCaml.
susisu/system-f-js-impl
An implementation of System F in JS
thrunduil/Arrow
Progamming language based on the system F-omega with polymorphic kinds, (weakly) equirecursive types, general function overloading, type inference, and flexible syntax.
Zeta611/type-safe-programming
SLConf 2024: 타입으로 안전하게 프로그래밍하기
lambduli/lambdas
REPL for various lambda calculi.
profbrandon/typeChecker
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
rudynicolop/Lambda-Calculi-Coq
Lambda-Calculi implementations & proofs in Coq