Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Programming Language Lambda Calculus Open Source Projects

Open source projects categorized as Programming Language Lambda Calculus
Categories > Mathematics > Lambda Calculus
Categories > Programming Languages > Programming Language
Plam ⭐ 441
An interpreter for learning and exploring pure λ-calculus
most recent commit 3 years ago
Cedille ⭐ 305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
most recent commit 2 years ago
Cognate ⭐ 196
A human readable quasi-concatenative programming language
most recent commit 3 months ago
Awesome Functional Studies ⭐ 143
A curated list of functional programming resources to study the fp paradigm
most recent commit 2 years ago
Lambdapi ⭐ 86
Dependently Typed Lambda Calculus in Haskell
most recent commit 3 years ago
Vanilla Lang ⭐ 73
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
most recent commit a year ago
Birb ⭐ 70
🐦 Programming language that only consists of bird emojis
most recent commit 5 months ago
Lambda Zero ⭐ 67
minimalist pure lazy functional programming language (pythonic haskell)
most recent commit 3 months ago
Bruijn ⭐ 60
🧮 Programming with pure lambda calculus
most recent commit 3 months ago
Rlci ⭐ 54
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
most recent commit 5 months ago
Cs704 ⭐ 52
CS 704 course website - Principles of Programming Languages
most recent commit 2 years ago
Lfvm Stg ⭐ 45
Map lazy functional language constructs to LLVM IR
most recent commit 5 years ago
Moniker ⭐ 42
Automagical variable binding library for Rust
dependent packages 1total releases 10most recent commit 5 years agocargo moniker-derive} Downloads
Zion ⭐ 39
A statically-typed strictly-evaluated garbage-collected readable programming language.
most recent commit a year 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
Krivine Machine ⭐ 29
Abstract krivine machine implementing call-by-name semantics. In OCaml.
most recent commit 6 years ago
Types And Programming Languages ⭐ 27
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
most recent commit 4 years ago
Ats Blockchain ⭐ 19
⛓️ Blockchain + Smart contracts from scratch
most recent commit 6 years ago
Funq ⭐ 10
Functional Quantum Programming
most recent commit 3 years ago
Compilers ⭐ 10
A place for me to learn/ experiment with interpreters/compilers
most recent commit 5 months ago
Tapl ⭐ 10
Types and Programming Languages (TAPL)
most recent commit 3 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
The 2 Most Depended On Programming Language Lambda Calculus Open Source Projects
Formality Core ⭐ 35
Specification of the Formality proof and programming language
dependent packages 3total releases 124latest release May 15, 2020most recent commit 4 years agonpm formality-core} Downloads
Moniker ⭐ 42
Automagical variable binding library for Rust
dependent packages 1total releases 10latest release October 13, 2018most recent commit 5 years agocargo moniker-derive} Downloads
The 2 Latest Releases In Programming Language Lambda Calculus Open Source Projects
Formality Core ⭐ 35
Specification of the Formality proof and programming language
dependent packages 3total releases 124latest release May 15, 2020most recent commit 4 years agonpm formality-core} Downloads
Moniker ⭐ 42
Automagical variable binding library for Rust
dependent packages 1total releases 10latest release October 13, 2018most recent commit 5 years agocargo moniker-derive} 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.