phipsgabler/BinaryLambdaCalculus.jl

GitHub repository with 5 stars and 0 forks.

Language: Julia

Topics: lambda-calculus, binary-lambda-calculus

Open provider repository

Latest metric snapshot

2026-07-15: 5 stars and 0 forks.

Trending in Julia

  1. 1. JuliaRegistries/General

    The official registry of general Julia packages

    GitHub repository with 721 stars and 584 forks.

    Trending score: 0.79; stars gained: +1; forks gained: +0.

    Language: Julia