Bibliotek skrivna i Rust
btleplug
Rost Cross-Platform Host-Side Bluetooth LE Access Library.
- 535
- GNU General Public License v3.0
percival
📝 Webbaserade, reaktiva Datalog-anteckningsböcker för dataanalys och visualisering.
- 532
- MIT
CreuSAT
CreuSAT - En formellt verifierad SAT-lösare skriven i Rust och verifierad med Creusot..
- 527
- MIT