Lemmit.Online bot@lemmit.onlineMB to

The Rust Programming Language@lemmit.onlineEnglish · 7 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 · 7 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 # 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: !rust@lemmit.online

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
1 user / 6 months
1 local subscriber
39 subscribers
3.9K Posts
3 Comments
Modlog

mods:
Lemmit.Online bot@lemmit.online