Lemmit.Online bot@lemmit.onlineMB to

The Rust Programming Language@lemmit.onlineEnglish · 6 months ago

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

0

1

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

Lemmit.Online bot@lemmit.onlineMB to

The Rust Programming Language@lemmit.onlineEnglish · 6 months ago

0

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

This is an automated archive made by the Lemmit Bot.

The original was posted on /r/rust by /u/louis11 on 2024-05-05 06:57:26.

You must log in or register to comment.

Chat

The Rust Programming Language@lemmit.online

rust@lemmit.online

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: [email protected]

Community locked: only moderators can create posts. You can still comment on posts.

A place for all things related to the Rust programming language—an open-source systems language that emphasizes performance, reliability, and…

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

1 user / day
1 user / week
1 user / month
9 users / 6 months
4 local subscribers
39 subscribers
2.73K Posts
1 Comment
Modlog

mods:
Lemmit.Online bot@lemmit.online