Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with system-f
A curated list of projects in awesome lists tagged with system-f .
https://github.com/sgillespie/lambda-calculus
An introduction to the Lambda Calculus
Last synced: 08 Nov 2024
https://github.com/lysxia/system-f
Formalization of the polymorphic lambda calculus and its parametricity theorem
coq denotational-semantics formalization lambda-calculus parametricity polymorphism system-f
Last synced: 28 Oct 2024
https://github.com/tominated/system_f_omega
My Attempt at System Fω with Row-Polymorphism
functional-programming lambda-calculus ocaml row-polymorphism system-f system-f-omega
Last synced: 21 Nov 2024
https://github.com/l-tchen/type-theory
Lecture note on Lambda Calculus and Types for FLOLAC
lambda-calculus lecture system-f type-theory
Last synced: 17 Dec 2024
https://github.com/ef55/stainless-stlc
System F in Stainless
lambda-calculus stainless system-f verified
Last synced: 10 Oct 2024
https://github.com/susisu/system-f-js-impl
An implementation of System F in JS
Last synced: 24 Dec 2024
