anqur / lyzhView on GitHub
A well-documented minimal dependently-typed language for my friend Lyzh
26Feb 7, 2025Updated last year

Alternatives and similar repositories for lyzh

Users that are interested in lyzh are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

Sorting:

Are these results useful?