progscrape: rust

I wrote an OWL 2 DL tableaux reasoner in Rust because I did not want to ship a JVM. Which HermiT optimisations are worth porting?

2 days ago reddit.com rust

Shipped a commercial desktop app with Tauri v2 + Rust (First Rust Project)

2 days ago stickies.lol rust

Glacex v0.1.4 is coming, here's a brief report of what's been completed so far.

2 days ago i.redd.it rust

Building meta-ast: Sub-millisecond incremental polyglot static analysis in Rust (GSoC 2026)

3 days ago reddit.com rust

GRUBST Demo: A Desktop Tool to Lock GRUB with a Physical USB Key and Recovery Password [Rust / Dioxus]

2 days ago reddit.com rust

I built a durable, replayable AI agent runtime in Rust

17 hours ago reddit.com ai rust

IrRegex: A parallel regular expressions engine for LLVM IR that uses non-deterministic finite automaton (NFA)

6 days ago github.com compiler llvm rust

Is borrow checker really that bad?(im new coming over from python to rust)

11 hours ago reddit.com python rust

Findo v1.1.0: Open-source fast, cross-platform file search utility in Rust & egui

4 days ago i.redd.it rust

I hate Github Actions, but Rust saves me!

recently added i.redd.it github rust