Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 4 Lambda Calculus System F Open Source Projects

Open source projects categorized as Lambda Calculus System F
Categories > Mathematics > Lambda Calculus
Categories > System F
Vanilla Lang ⭐ 73
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
most recent commit a year ago
Lambda Calculus ⭐ 52
An introduction to the Lambda Calculus
total releases 5most recent commit 2 years ago
Zion ⭐ 39
A statically-typed strictly-evaluated garbage-collected readable programming language.
most recent commit a year ago
System F ⭐ 18
Formalization of the polymorphic lambda calculus and its parametricity theorem
most recent commit 5 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.