Switching from C++ to Rust

1. go-sumtype

   1 12 442 2.5 Go

   A simple utility for running exhaustiveness checks on Go "sum types."

   

   The call out to sum types is something I feel. I've been using Rust daily for almost 10 years now, and sum types are absolutely still one of the things I love most about it. It's easily one of the things I miss the most in other languages. I'm usually a proponent of "using languages as they're intended," but I missed exhaustiveness checking so much that I ported a version of it to Go[1] as a sort of lint.

   [1]: https://github.com/BurntSushi/go-sumtype

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. quickcheck

   2 14 2,597 6.8 Rust

   Automated property based testing for Rust (with shrinking).

   

   Yeah as other have mentioned, I was using Rust before 1.0.

   This is my first public commit: https://github.com/BurntSushi/quickcheck/commit/c9eb2884d6a6...

   I didn't write any substantive Rust before that point. So I'm at over 9 years.

4. rust

   3 2,856 104,879 10.0 Rust

   Empowering everyone to build reliable and efficient software.

   

   A very specific case on admittedly a toy project.

   I was working on a card game simulator and I had a Vec of players. I needed to pull two players from that Vec and the first player would give a card to the second player. In my head I would grab both players via get_mut and then perform my operation. However, get_mut borrows the vec mutable and the compiler complained that I borrowed the Vec mutably two times.

   It took me a bit to understand why the compiler complained, but then it clicked: It couldn't prove that get_mut wasn't returning the same item both times.

   There were a few solutions. One was to borrow the first player, take a card, drop the &mut and then take the second player. At some point in the future I could use https://github.com/rust-lang/rust/issues/104642 to get_many_mut. I ended up with a pretty inefficient version of get_many_mut that fully traversed my iterator to get the two mut references (which works because traversing the iterator guarantees you won't see the same element twice) and it was fine for a collection of a half dozen players.

   Anyway, there's a little example.

   Anyway, it was a small thing but

5. mo

   4 14 3,017 6.9 Go

   🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)

   

   Go generics allow all kinds of things https://github.com/samber/mo

6. esp-wifi-sys

   5 7 420 6.2 Rust

   Wi-Fi and BT drivers packaged for integration into bare-metal esp-wifi.

   

   Esp-wifi is very actively being updated, looks like C3 is supposed to work[0][1], so if you tried more than a few weeks ago it probably changed.

   [0]: https://github.com/esp-rs/esp-wifi#current-support

7. espup

   6 7 301 7.4 Rust

   Tool for installing and maintaining Espressif Rust ecosystem.

   

   Thanks for mentioning it. I already tried using it a few months ago and brushed it off as still being a WIP, but it still didn't work when I tried again just a few days ago. Asking in the Matrix chat when first trying it sadly only got me a "works for me" from the developers.

   What Espressif is doing with their esp-idf and porting it to Rust is promising, but overall it still needs work. Using the toolchain to develop on the ESP32 was at least slightly painful half a year ago before they introduced espup[1], having to keep a patched LLVM around etc., and supposedly support for their Xtensa architecture is coming to LLVM soon[2] so this will improve in the future.

   I'd also love to see Bluetooth support in esp-idf-svc[3], but they seem to be lacking people with the required knowledge to design and implement an abstraction for it[4].

   [1]: https://github.com/esp-rs/espup

8. esp-idf-svc

   7 2 415 9.1 Rust

   Type-Safe Rust Wrappers for various ESP-IDF services (WiFi, Network, Httpd, Logging, etc.)

   

   [4]: https://github.com/esp-rs/esp-idf-svc/issues/55#issuecomment...

9. Stream

   getstream.io featured

   Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

   

Suggest a related project