cucapra/lambdalab
interactive λ-calculus for learning
https://capra.cs.cornell.edu/lambdalab/
viewpoint
Issues rank
contributors (According to the first 100)