Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 15 Language Lambda Calculus Open Source Projects

Open source projects categorized as Language Lambda Calculus
Categories > Mathematics > Lambda Calculus
Plam ⭐ 441
An interpreter for learning and exploring pure λ-calculus
most recent commit 3 years ago
Cognate ⭐ 196
A human readable quasi-concatenative programming language
most recent commit 3 months ago
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125most recent commit 4 months ago
Lambda Zero ⭐ 67
minimalist pure lazy functional programming language (pythonic haskell)
most recent commit 4 months ago
Study ⭐ 60
Study of language design and implementation.
dependent packages 2total releases 17most recent commit 4 years agonpm @xieyuheng/cicada} Downloads
Salt ⭐ 55
The compilation target that functional programmers always wanted.
most recent commit 4 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
Lplzoo ⭐ 31
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
most recent commit 3 years ago
Jml ⭐ 10
jml - a useful web/cloud minimal unikernel distributed operating system
most recent commit 3 years ago
Elara ⭐ 9
Elara is a purely-functional programming language targetting the JVM
most recent commit 3 months ago
Lambda M ⭐ 8
A lazy and untyped experimental programming language
most recent commit 6 years ago
Haskellcourse ⭐ 7
most recent commit 9 years ago
Systemt ⭐ 6
👨‍💻 Implementing System T in Haskell 👨‍💻
most recent commit 2 years ago
Tapl Re ⭐ 6
Types and programming languages in reason
most recent commit 6 years ago
Lambdacalculusinterpreters ⭐ 6
Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.
most recent commit 7 years ago
The 2 Latest Releases In Language Lambda Calculus Open Source Projects
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125latest release July 22, 2023most recent commit 4 months ago
Study ⭐ 60
Study of language design and implementation.
dependent packages 2total releases 17latest release October 24, 2020most recent commit 4 years agonpm @xieyuheng/cicada} Downloads
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.