ZionA statically-typed strictly-evaluated garbage-collected readable programming language.
Stars: β 33 (-59.26%)
Mutual labels: lambda-calculus
Y Combinator For Non Programmersπ± Y Combinator for Non-programmers: A Wild Introduction to Computer Science
Stars: β 109 (+34.57%)
Mutual labels: lambda-calculus
StepULCEfficient and single-steppable ULC evaluation algorithm
Stars: β 15 (-81.48%)
Mutual labels: lambda-calculus
Ptsimplementation of Pure Type Systems (PTS) in Rust.
Stars: β 41 (-49.38%)
Mutual labels: lambda-calculus
Formality JavascriptAn implementation of the Formality language in JavaScript
Stars: β 71 (-12.35%)
Mutual labels: lambda-calculus
IronCoq formalizations of functional languages.
Stars: β 114 (+40.74%)
Mutual labels: lambda-calculus
Aws Lambda WorkshopSome incremental examples suitable to host an AWS Lambda Functions workshop
Stars: β 18 (-77.78%)
Mutual labels: lambda-calculus
lambda-zeroA minimalist pure lazy functional programming language
Stars: β 65 (-19.75%)
Mutual labels: lambda-calculus
ChurchβͺοΈ Church Encoding in JS
Stars: β 107 (+32.1%)
Mutual labels: lambda-calculus
CurryhowardAutomatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Stars: β 229 (+182.72%)
Mutual labels: lambda-calculus
Lambda calculusA simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Stars: β 46 (-43.21%)
Mutual labels: lambda-calculus
LambdaFun with Ξ» calculus!
Stars: β 65 (-19.75%)
Mutual labels: lambda-calculus
KindA modern proof language
Stars: β 2,075 (+2461.73%)
Mutual labels: lambda-calculus
LtextΞ»text - higher-order file applicator
Stars: β 37 (-54.32%)
Mutual labels: lambda-calculus
BOHM1.1Bologna Optimal Higher-Order Machine, Version 1.1
Stars: β 45 (-44.44%)
Mutual labels: lambda-calculus
Dblib LinearFormalisation of the linear lambda calculus in Coq
Stars: β 10 (-87.65%)
Mutual labels: lambda-calculus
Combinators Jsπ¦ Some combinators
Stars: β 114 (+40.74%)
Mutual labels: lambda-calculus
gidtiBook: Gentle Introduction to Dependent Types with Idris
Stars: β 70 (-13.58%)
Mutual labels: lambda-calculus
js-church-encodingChurch Encoding Implementation in JavaScript
Stars: β 33 (-59.26%)
Mutual labels: lambda-calculus
ElsaElsa is a lambda calculus evaluator
Stars: β 135 (+66.67%)
Mutual labels: lambda-calculus