You might have seen those obnoxious “you should rewrite it in Rust comments” here and there: in a blogpost in a Github issue you might have heard about that Rust Evangelism Strike Force… (more…)
Read more »
An idiomatic, lean, fast & safe pure Rust implementation of Git - GitoxideLabs/gitoxide... (more…)
Read more »
CreuSAT : A formally verified SAT solver written in Rust and verified with Creusot. - GitHub - sarsko/CreuSAT: CreuSAT : A formally verified SAT solver written in Rust and verified with Creusot. (more…)
Read more »
Benchmark ingestion of the TSBS "dev ops" dataset into QuestDB via ILP using the `questdb` Python library and Pandas. - py-tsbs-benchmark/README.md at main · questdb/py-tsbs-benchmark... (more…)
Read more »
This book aims to explain Futures in Rust using an example driven approach. (more…)
Read more »
