Topic Hub
#lambda-calculus (10 Repositories)
Ranked open-source repositories tagged with #lambda-calculus, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
10.0%
Avg Review Latency
2.4h
Filter by language
10 repositories tagged #lambda-calculus
B TierHAHaskell 144
marvinborner/bruijn
:abacus: Programming with pure lambda calculus
100.0%
Merge Rate
24h
First Review
0%
1st-Timers
0
Maintainers
D TierHAHaskell 468
slovnicki/pLam
An interpreter for learning and exploring pure λ-calculus
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierHAHaskell 103
marvinborner/birb
:bird: *cheep cheep shriek caw*
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierHAHaskell 169
polux/lambda-diagrams
Animations of lambda term reduction sequences
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierHAHaskell 3.8k
HigherOrderCO/Kind
A modern proof language
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierHAHaskell 192
ucsd-progsys/elsa
Elsa is a lambda calculus evaluator
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierHAHaskell 3.5k
sdiehl/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierOCOCaml 100
abella-prover/abella
An interactive theorem prover based on lambda-tree syntax
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierCOCommon Lisp 254
woodrush/lambdalisp
A Lisp interpreter written in untyped lambda calculus
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierScala 262
Chymyst/curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers