ComprosoftCEO/rusty-lambda

A Rust implementation of Lambda calculus

Language: Rust - Size: 98.6 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

seanpm2001/SNU_2D_ProgrammingTools_IDE_Binary-Lambda-Calculus

⌨️ The Binary Lambda Calculus programming language IDE submodule for SNU Programming Tools (2D Mode)

Language: HTML - Size: 249 KB - Last synced at: 3 days ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

seanpm2001/Learn-Binary-Lambda-Calculus

📚️ A repository for showcasing my knowledge of the Binary Lambda Calculus programming language, and continuing to learn the language.

Language: HTML - Size: 241 KB - Last synced at: 3 days ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

marvinborner/BLoCade

:mermaid: The BLoC-aid for efficient targeted compilation of lambda calculus

Language: C - Size: 33.2 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

marvinborner/BLoC

:sparkles: File format and optimizer for programs encoded in binary lambda calculus

Language: C - Size: 80.1 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 0

phipsgabler/BinaryLambdaCalculus.jl

Language: Julia - Size: 55.7 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0