ChatGPT powered Rust proc macro that generates code at compile-time
ChatGPT powered Rust proc macro that generates code at compile-time. – GitHub – retrage/gpt-macro: ChatGPT powered Rust proc macro that generates code at compile-time.
Read more »Verus: Verifying Rust Programs Using Linear Ghost Types (Extended Version)
The Rust programming language provides a powerful type system that checks linearity and borrowing, allowing code to safely manipulate memory without garbage collection and making Rust ideal for developing low-level, high-assurance systems. For such system…
Read more »Writing an LLVM back end for the Move language in Rust
Since December I and others have been working on a port of the Move programming language to LLVM. This work is sponsored by Solana, with the goal of running Move on Solana and its rbpf VM; though ultimately the work should be portable to other targets sup…
Read more »Rewriting the CLI in Rust: Was It Worth It?
We released a new CLI v3 with a major refactor. We talk about our journey to a 100 percent Rust CLI tool.
Read more »Rewriting the CLI in Rust: Was It Worth It?
We released a new CLI v3 with a major refactor. We talk about our journey to a 100 percent Rust CLI tool.
Read more »Headless Apps (shared core multi-platform Rust apps}
The holy grail of being able to write an application once and deploy it to iOS, Android and the Web continue to elude us. Some solutions exist — React Native…
Read more »\Device\Afd, or, the Deal with the Devil that makes async Rust work on Windows
The monster in the closet that no one wants to make eye contact.
Read more »Rspack: A fast Rust-based web bundler
A fast Rust-based web bundler. Contribute to web-infra-dev/rspack development by creating an account on GitHub.
Read more »Inserting 1.8M Rows/s from Pandas into QuestDB with Arrow, Rust and Cython
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…
Read more »Bioinformatics with Rust
This library provides implementations of many algorithms and data structures that are useful for bioinformatics. All provided implementations are rigorously tested via continuous integration. – Git…
Read more »