Lambda Calculus Playground
An Android app that lets you build, combine, modify, and evaluate expressions in the untyped lambda calculus, all using a touch interface.
The app is available on the Play Store. There is also a demo video.
alangpierce / LambdaCalculusPlayground
Licence: MIT license
An Android app that provides a visual interface for creating and evaluating lambda calculus expressions
Stars: ✭ 16
Programming Languages
javascript
184084 projects - #8 most used programming language
java
68154 projects - #9 most used programming language
python
139335 projects - #7 most used programming language
Labels
Projects that are alternatives of or similar to LambdaCalculusPlayground
lambda-zero
A minimalist pure lazy functional programming language
Stars: ✭ 65 (+306.25%)
Mutual labels: lambda-calculus
meta-cedille
Minimalistic dependent type theory with syntactic metaprogramming
Stars: ✭ 40 (+150%)
Mutual labels: lambda-calculus
BOHM1.1
Bologna Optimal Higher-Order Machine, Version 1.1
Stars: ✭ 45 (+181.25%)
Mutual labels: lambda-calculus
abella
An interactive theorem prover based on lambda-tree syntax
Stars: ✭ 81 (+406.25%)
Mutual labels: lambda-calculus
lambda-calculus
An introduction to the Lambda Calculus
Stars: ✭ 59 (+268.75%)
Mutual labels: lambda-calculus
js-church-encoding
Church Encoding Implementation in JavaScript
Stars: ✭ 33 (+106.25%)
Mutual labels: lambda-calculus
universe-of-syntax
A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.
Stars: ✭ 16 (+0%)
Mutual labels: lambda-calculus
StepULC
Efficient and single-steppable ULC evaluation algorithm
Stars: ✭ 15 (-6.25%)
Mutual labels: lambda-calculus
lambda-notebook
Lambda Notebook: Formal Semantics in Jupyter
Stars: ✭ 16 (+0%)
Mutual labels: lambda-calculus
Iron
Coq formalizations of functional languages.
Stars: ✭ 114 (+612.5%)
Mutual labels: lambda-calculus
system-F
Formalization of the polymorphic lambda calculus and its parametricity theorem
Stars: ✭ 20 (+25%)
Mutual labels: lambda-calculus
Y Combinator For Non Programmers
🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science
Stars: ✭ 109 (+581.25%)
Mutual labels: lambda-calculus
gidti
Book: Gentle Introduction to Dependent Types with Idris
Stars: ✭ 70 (+337.5%)
Mutual labels: lambda-calculus
vanilla-lang
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Stars: ✭ 73 (+356.25%)
Mutual labels: lambda-calculus
pomagma
An inference engine for extensional untyped λ-calculus
Stars: ✭ 15 (-6.25%)
Mutual labels: lambda-calculus
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].