GitHub repository: Kindelia/Functional-Benchmarks
Primary language: JavaScript
Description: Collection of benchmarks of functional programming languages and proof assistants.