caotic123 / KeiLinks

A small and expressive dependently typed language
129Updated 4 years ago

Alternatives and similar repositories for Kei

Users that are interested in Kei are comparing it to the libraries listed below

Sorting: