31 releases
| 0.1.30 | Jul 30, 2024 |
|---|---|
| 0.1.27 | May 14, 2024 |
| 0.1.26 | Sep 27, 2023 |
| 0.1.20 | Jul 28, 2023 |
| 0.1.13 | Mar 26, 2023 |
#335 in Development tools
66KB
1.5K
SLoC
libspecr
libspecr is the standard library of specr lang.
For more information, see the docs.
lib.rs:
libspecr is the standard library of specr lang.
Dependencies
~3.5MB
~76K SLoC