back to home

Best Open Source typed lambda calculus Libraries

A curated list of the most popular GitHub repositories tagged with typed lambda calculus. Select any project to visualize its architecture and dive into the codebase using RepoMind's AI engine.

#1arrow-kt/arrow

The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

6,518Kotlin
Analyze Code