KI

kings177/kind

Temporary repository for Kind2's refactor based on HVM2

No README found.

Languages

Rust73.8%Haskell24.4%JavaScript1.6%Shell0.1%Agda0.0%

Contributors

VI DE LU IM KI ED

Created March 21, 2024

Updated January 29, 2026

kings177/kind | GitHunt