Lib.rs

› 编程语言
#编译器 #依赖 #思维 #编程语言 #类型

bin+lib kodept

简单支持依赖类型的编译器

作者： ITesserakt

5 个版本

新增 0.2.3 2024年8月10日
0.2.2 2024年7月13日
0.2.1 2024年5月24日
0.2.0 2024年1月11日
0.1.2 2024年1月5日

270 在 编程语言 中排名

Download history · Rust 包仓库 111/week @ 2024-05-21 · Rust 包仓库 6/week @ 2024-05-28 · Rust 包仓库 1/week @ 2024-06-04 · Rust 包仓库 1/week @ 2024-06-11 · Rust 包仓库 1/week @ 2024-07-02 · Rust 包仓库 109/week @ 2024-07-09 · Rust 包仓库 9/week @ 2024-07-16 · Rust 包仓库 8/week @ 2024-07-30 · Rust 包仓库 94/week @ 2024-08-06 · Rust 包仓库

116 每月下载量

Apache-2.0 和可能 GPL-3.0-or-later

415KB
12K SLoC

Kodept

简单支持依赖类型的编译器

依赖项

~8–19MB
~237K SLoC