Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by sgillespie

A curated list of projects in awesome lists by sgillespie .

https://github.com/sgillespie/lambda-calculus

An introduction to the Lambda Calculus

lambda-calculus system-f

Last synced: 15 Apr 2025