Lib.rs

› Development tools
#standard #language #specr

nightly libspecr

standard library for specr lang

Owned by Ralf Jung, Rudi Schneider.

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

#321 in Development tools

Download history 47/week @ 2024-06-20 10/week @ 2024-06-27 8/week @ 2024-07-04 21/week @ 2024-07-11 12/week @ 2024-07-18 121/week @ 2024-07-25 41/week @ 2024-08-01 23/week @ 2024-08-08 26/week @ 2024-08-15 21/week @ 2024-08-22 18/week @ 2024-08-29 3/week @ 2024-09-05 14/week @ 2024-09-12 68/week @ 2024-09-19 46/week @ 2024-09-26 4/week @ 2024-10-03

132 downloads per month

MIT/Apache

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

~3MB
~75K SLoC