Lib.rs

› Programming languages
#standard #language #specr

nightly libspecr

standard library for specr lang

Owned by Ralf Jung, Rudi Schneider.

27 releases

0.1.26 Sep 27, 2023
0.1.24 Aug 24, 2023
0.1.20 Jul 28, 2023
0.1.13 Mar 26, 2023

#281 in Programming languages

Download history 1/week @ 2024-02-12 7/week @ 2024-02-19 7/week @ 2024-02-26 1/week @ 2024-03-04 6/week @ 2024-03-11 7/week @ 2024-03-18 411/week @ 2024-04-01

424 downloads per month

MIT/Apache

63KB
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

~3MB
~73K SLoC