yuyan-lang / yuyan
豫言
☆27Updated 4 months ago
Alternatives and similar repositories for yuyan:
Users that are interested in yuyan are comparing it to the libraries listed below
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated last month
- Automatic testing of MoonBit programs☆23Updated 3 weeks ago
- A modern functional programming language with effect system.☆19Updated 10 months ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆20Updated 2 years ago
- Elaboration with inductive types☆16Updated last year
- ☆22Updated last year
- Neon lights in the night tonight and stars that shine in the open sky☆43Updated last year
- a tutorial implementation on an elaborator of a dependently typed language with pruning