Skip Navigation
InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)TO
tomtau @aussie.zone
Posts 2
Comments 0
Rust Programming @lemmy.ml tomtau @aussie.zone

Early pest3 prototype was released on crates.io
github.com 🤩Let's play with `pest3 0.0.0-prealpha0`!😍 · pest-parser pest · Discussion #1016

The early alpha prototype of pest3, the next major revision of the pest parser generator library, was published on crates.io! Read more for details on how you can experiment with this prototype. Wh...

🤩Let's play with `pest3 0.0.0-prealpha0`!😍 · pest-parser pest · Discussion #1016
2
Rust Programming @lemmy.ml tomtau @aussie.zone

Verified Rust for low-level systems code
github.com GitHub - verus-lang/verus: Verified Rust for low-level systems code

Verified Rust for low-level systems code. Contribute to verus-lang/verus development by creating an account on GitHub.

GitHub - verus-lang/verus: Verified Rust for low-level systems code

Verus is a tool for verifying the correctness of code written in Rust. Developers write specifications of what their code should do, and Verus statically checks that the executable Rust code will always satisfy the specifications for all possible executions of the code.

0