Lib.rs

›

#standard #language #specr

nightly libspecr

specr语言的标准库

由 Ralf Jung，Rudi Schneider 共同拥有。

31个版本

0.1.30	2024年7月30日
0.1.27	2024年5月14日
0.1.26	2023年9月27日
0.1.20	2023年7月28日
0.1.13	2023年3月26日

#136 在编程语言

每月 192 次下载

MIT/Apache

66KB
1.5K SLoC

libspecr

libspecr 是 specr 语言的标准库。

更多信息，请参阅文档。

`lib.rs`:

libspecr 是 specr 语言的标准库。

依赖

~3.5MB
~75K SLoC