StarDayOpen source rankings
Back to rankings

HigherOrderCO / Kind

A modern proof language

Repository stars
3,763All-time #16,462
Fork
152
Last push
updated 1 years ago
Repository created
since 2018
Apps & systemsGeneralHaskellMIT · Permissive
View source

About

Summarised by AI from the README; the original prevails

Author description: A modern proof language

Basic listing based on official public information; functionality has not been independently evaluated.

Check before adopting

  • No pushes for over 6 months (last 2025-01-22); check whether it is maintained.
Platform
Not verified
Pricing
Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.
Maintenance notes
Not verified
# dependent-types# formality# functional-programming# lambda-calculus# moonad# proof-language# proof-languages# theorem-prover# type-theory

Star trend

3,7643,7653,76511-03 · 3,76410-0710-1210-1710-2210-2711-0111-05
Raw observations · 2
Historical observations
Measured atRepository starsSource
2026-11-06 10:42 UTC3,763Source
2026-11-03 09:40 UTC3,764Source

First collected 2026-11-03Measured at 2026-11-06 10:42 UTCSourceLicense source

Compiled from public project information; not independently tested. · Repository stars, not unique users or individual-skill installs · License tiers are derived from metadata. Check obligations for your use; unknown does not mean prohibited.