I'll get right to it: I've rewritten Psychopath in Rust. And I feel like this requires an explanation. The short version is that Psychopath is a personal project that I work on for fun, and I had fun rewriting it... (more…)
Read more »
Apache Arrow-compatible space-efficient "tape" class in pure Rust to be used with StringZilla for GPU and disk transfers of variable length strings - ashvardanian/StringTape... (more…)
Read more »
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... (more…)
Read more »
Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl - makepad/makepad... (more…)
Read more »
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications! - GitHub - xldenis/creusot: deductive verification of Rust code. (semi) automatically prove ... (more…)
Read more »
