HigherOrderCO's repositories
FormCoreJS
A minimal pure functional language based on self dependent types.
Functional-Benchmarks
Collection of benchmarks of functional programming languages and proof assistants.
Kind-Legacy
A modern proof language
hvm-compare-perf
Compare `hvm-core`'s historical performance
Kind-Language-Server
️🛠️ | Tooling for Kind language