moonbitlang / minimoonbit-public
☆51Updated 3 weeks ago
Alternatives and similar repositories for minimoonbit-public:
Users that are interested in minimoonbit-public are comparing it to the libraries listed below
- ☆14Updated 2 months ago
- ntype cafe summer school resources☆137Updated 7 months ago
- RowScript programming language, making a better browser world☆113Updated 2 weeks ago
- 豫言☆27Updated 3 months ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆24Updated last month
- A NES emulator in MoonBit☆53Updated last week
- P523 Code☆28Updated 10 years ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆209Updated last week
- Automatic testing of MoonBit programs☆23Updated last week
- ☆11Updated last month
- Zombie chan revive!☆24Updated 11 months ago
- A Rust-like language with immix GC and other cool stuffs☆66Updated this week
- 编译原理相关的工作岗位收集☆86Updated 6 years ago
- ☆22Updated 11 months ago
- Lean 函数式编程☆26Updated 6 months ago
- History of type theory (Chinese).☆327Updated 3 weeks ago
- Books on programming language theory and linguistics in general.☆53Updated 3 years ago
- A modern functional programming language with effect system.☆19Updated 9 months ago
- Public helper code for p423/p523 students (Racket)☆160Updated last month
- Learn how to write a minimal working linker from scratch☆100Updated 9 months ago
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆11Updated 4 years ago
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆24Updated 4 years ago
- A proof assistant and a dependently-typed language☆297Updated this week
- 十分钟魔法练习 in OCaml☆33Updated 2 years ago
- The MiniDecaf tutorial documentation.☆94Updated last month
- Coq集合论中文教程☆44Updated 3 years ago
- Linear Algbra lib in MoonBit☆13Updated last week
- ShiTT is a toy proof assistant. (This project will be rewritten soon)☆32Updated 2 months ago
- Elaboration with inductive types☆16Updated last year