Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proxy.golang.org "lambda-calculus" keyword

View the packages on the proxy.golang.org package registry that are tagged with the "lambda-calculus" keyword.

Top 8.2% on proxy.golang.org
github.com/ElaraLang/elara v0.1.0
Elara is a purely-functional programming language targetting the JVM
6 versions - Latest release: over 1 year ago - 13 stars on GitHub
Top 7.7% on proxy.golang.org
github.com/ElecProg/lamcalc v1.3.1
Experiment with lambda calculus, from the commandline
5 versions - Latest release: about 7 years ago - 2 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/nekketsuuu/lambda2pi v1.1.0
λ → π
2 versions - Latest release: almost 7 years ago - 6 stars on GitHub
Top 8.2% on proxy.golang.org
github.com/avatar29a/lambdacube v0.0.0-20170806205559-49151b761620
Implementation Lambda Calculus with other Type system: from untyped lambda up to lambda with depe...
1 version - Latest release: over 8 years ago - 0 stars on GitHub
Top 5.6% on proxy.golang.org
github.com/mroman42/mikrokosmos v0.2.0
(λ) Educational lambda calculus interpreter
1 version - Latest release: about 9 years ago - 73 stars on GitHub
Top 8.8% on proxy.golang.org
github.com/inazak/lambda-calculus-machine v0.1.0
stack-based machine
1 version - Latest release: over 2 years ago - 0 stars on GitHub
Top 9.6% on proxy.golang.org
github.com/elecprog/cLC v1.3.1
Experiment with lambda calculus, from the commandline
5 versions - Latest release: about 7 years ago - 2 stars on GitHub
Top 3.7% on proxy.golang.org
github.com/Kind-lang/Kind v1.0.104
A modern proof language
8 versions - Latest release: about 4 years ago - 3,692 stars on GitHub
Top 8.4% on proxy.golang.org
github.com/orangebaron/uwecode
a functional language based entirely on pure lambda calculus
Latest release: 24 days ago - 0 stars on GitHub
github.com/elecprog/lamcalc v1.3.1
Experiment with lambda calculus, from the commandline
5 versions - Latest release: about 7 years ago - 2 stars on GitHub
github.com/elecprog/clc v1.3.1
Experiment with lambda calculus, from the commandline
5 versions - Latest release: about 7 years ago - 2 stars on GitHub
Top 5.6% on proxy.golang.org
github.com/chymyst/curryhoward v0.3.8
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
1 version - Latest release: over 4 years ago - 260 stars on GitHub
Top 5.6% on proxy.golang.org
github.com/Chymyst/curryhoward v0.3.8
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
1 version - Latest release: over 4 years ago - 260 stars on GitHub
Top 3.7% on proxy.golang.org
github.com/kind-lang/kind v1.0.104
A modern proof language
8 versions - Latest release: about 4 years ago - 3,692 stars on GitHub
github.com/JCGrant/glambda v0.0.0-20180930184959-03da90706988
Lambda Calculus in Go
1 version - Latest release: about 7 years ago - 3 stars on GitHub
github.com/denisdubochevalier/lambdac v0.0.0-20231008191727-fd659a9ffe51
Package main implements the lambdac compiler entry point.
11 versions - Latest release: about 2 years ago - 0 stars on GitHub
github.com/avatar29A/lambdacube v0.0.0-20170806205559-49151b761620
Implementation Lambda Calculus with other Type system: from untyped lambda up to lambda with depe...
1 version - Latest release: over 8 years ago - 1 dependent repositories - 0 stars on GitHub
Top 7.8% on proxy.golang.org
github.com/ElecProg/LamCalc v1.3.1
Experiment with lambda calculus, from the commandline
5 versions - Latest release: about 7 years ago - 2 stars on GitHub
Related Keywords
functional-programming 7 commandline 5 education 5 golang 4 theorem-prover 4 scala-macros 2 scala 2 lambda-terms 2 intuitionistic-logic 2 curry-howard-isomorphism 2 code-generation 2 automated-theorem-provers 2 type-theory 2 proof-languages 2 proof-language 2 moonad 2 formality 2 dependent-types 2 lambdacube 2 dependency-types 2 haskell 2 monadic 1 compiler-design 1 parser 1 compiler 1 hindley-milner 1 jvm 1 jvm-languages 1 language 1 programming-language 1 pi-calculus 1 interpreter 1 stack-based 1