Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Interpreter Lambda Calculus Open Source Projects

Open source projects categorized as Interpreter Lambda Calculus
Categories > Runtime Environments > Interpreter
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
Lambdalisp ⭐ 187
A Lisp interpreter written in untyped lambda calculus
most recent commit a year ago
Glambda ⭐ 168
The home of the Glamorous Glambda interpreter
total releases 3most recent commit 5 years ago
Lambda Zero ⭐ 67
minimalist pure lazy functional programming language (pythonic haskell)
most recent commit 3 months ago
Rlci ⭐ 54
🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
most recent commit 5 months ago
Mikrokosmos ⭐ 52
(λ) Educational lambda calculus interpreter
total releases 7most recent commit 3 years ago
Lambdajs ⭐ 40
An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
most recent commit 6 years ago
Lang Practices ⭐ 26
My language practices :)
most recent commit 3 months ago
Typed Calc ⭐ 24
Interpreter for simply typed lambda calculus implemented in JavaScript λ
most recent commit 7 years ago
Lightsabers ⭐ 22
They contain so few lines of code, yet so few people get them right.
most recent commit 10 years ago
Lambda Php ⭐ 21
Lambda calculus interpreter in PHP.
most recent commit 10 years ago
Lambda ⭐ 21
A small λ-calculus interpreter in C
most recent commit 10 years ago
Ats Blockchain ⭐ 19
⛓️ Blockchain + Smart contracts from scratch
most recent commit 6 years ago
Lambda ⭐ 17
lambda calculus interpreter
most recent commit 3 years ago
Typeless ⭐ 17
an interpreter for λ-calculus implemented in ruby
most recent commit a year ago
Magic ⭐ 13
most recent commit 12 years ago
Stepulc ⭐ 13
Efficient and single-steppable ULC evaluation algorithm
most recent commit 3 years ago
Lambda Calculus ⭐ 13
A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime
most recent commit a year ago
Compilers ⭐ 10
A place for me to learn/ experiment with interpreters/compilers
most recent commit 5 months ago
Nameless ⭐ 7
A lambda calculus interpreter written in Python
most recent commit 4 years ago
Gazelle ⭐ 7
Gazelle - A scripting language inspired by LISP and Scheme
most recent commit 5 years ago
Nbe A Tutorial ⭐ 6
Checking Dependent Types with Normalization by Evaluation
most recent commit 6 years ago
The 3 Latest Releases In Interpreter Lambda Calculus Open Source Projects
Jupyter Mikrokosmos ⭐ 6
A Jupyter kernel for the Mikrokosmos lambda interpreter
total releases 9latest release September 09, 2018most recent commit 6 years ago
Mikrokosmos ⭐ 52
(λ) Educational lambda calculus interpreter
total releases 7latest release August 01, 2018most recent commit 3 years ago
Glambda ⭐ 168
The home of the Glamorous Glambda interpreter
total releases 3latest release November 27, 2017most recent commit 5 years ago
Popular Runtime Environments Categories
Virtualenv
Wine
Netstandard
Ipython Notebook
Nwjs
Version Manager
Pm2
Cef
Xamarin Android
Binary Analysis
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.