Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Type System Lambda Calculus Open Source Projects

Open source projects categorized as Type System Lambda Calculus
Categories > Mathematics > Lambda Calculus
Categories > Type System
Write You A Haskell ⭐ 2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
most recent commit 5 years ago
Type Theory Compiler ⭐ 38
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
most recent commit 5 years ago
Formality Core ⭐ 35
Specification of the Formality proof and programming language
dependent packages 3total releases 124most recent commit 4 years agonpm formality-core} Downloads
Typed Calc ⭐ 24
Interpreter for simply typed lambda calculus implemented in JavaScript λ
most recent commit 7 years ago
Dblib Linear ⭐ 10
Formalisation of the linear lambda calculus in Coq
most recent commit 5 years ago
Elara ⭐ 9
Elara is a purely-functional programming language targetting the JVM
most recent commit 3 months ago
Tapl Re ⭐ 6
Types and programming languages in reason
most recent commit 6 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.