logo FEDIDEVS

FEDIDEVS

8 of the best Rust projects on Mastodon.

Best Project rust Rust
Header Image

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0

> i am not a book about me .
> git.sr.ht/~carnotweat/morning-

Last posted 3 months ago
Posts ▼ 11,956
Followers 527
Following 330
Header Image

s='hello;'
echo "${s//;/\;}"

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0

time matters when it pays off
> git.sr.ht/~carnotweat/modshell
, bits of

Last posted Less than a day ago
Posts ▼ 7,806
Followers 570
Following 159
Header Image

Open protocols enthusiast. IRC developer. Python & Rust. Occasionally plays with Matrix, Elixir, and Linked Data.

Last posted 1 day ago
Posts ▼ 7,571
Followers 660
Following 256
Header Image

Something kernel, something rust, sometimes embedded.

Last posted 1 month ago
Posts ▼ 1,553
Followers 205
Following 354
Header Image

Dutch foundation proudly serving the Internet community since 1999 with software for and . Applied research, open standards advocates, bridging technology and policy.

origins, now aficionados. The people behind Unbound, NSD, Routinator, domain and much more...

Account maintained by @alexband, @benno, @maarten, @jasper, @partim and @terts.

Last posted 1 week ago
Posts ▼ 939
Followers 2,642
Following 1,022
Header Image
eirik ᐸ'aᐳ
@[email protected]

Nerd sniping target. Maintainer of kube.rs
Slowly Rewriting in .
Timeline is mostly , puns, and procrastination.

Last posted 1 day ago
Posts ▼ 524
Followers 158
Following 131
Header Image

rust and small computers?

working on heffalump, a mastodon client for

Last posted 1 week ago
Posts ▼ 139
Followers 115
Following 134
Header Image
Spicy Lobster Studio
@[email protected]

Open gamedev company, making games with pixel-sprites and Rust-lang or Godot.

Last posted 2 months ago
Posts ▼ 88
Followers 178
Following 142