Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 5 Coq Lambda Calculus Open Source Projects

Open source projects categorized as Coq Lambda Calculus
Categories > Mathematics > Lambda Calculus
Iron ⭐ 121
Coq formalizations of functional languages.
most recent commit 4 years ago
System F ⭐ 18
Formalization of the polymorphic lambda calculus and its parametricity theorem
most recent commit 5 years ago
Coqtm ⭐ 10
Formalising Turing Machines In Coq (bachelor's thesis)
most recent commit 10 months ago
Dblib Linear ⭐ 10
Formalisation of the linear lambda calculus in Coq
most recent commit 5 years ago
Lambda Club ⭐ 9
Material from presentations at the University of Kent's LambdaClub meetings
most recent commit 2 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.