Ty: A fast Python type checker and language server(github.com)

835 points by arathore 1 year ago | 271 comments

GitHub repository for ty, Astral's extremely fast Python type checker and language server written in Rust.

Ruff: Python linter and code formatter written in Rust(github.com)

168 points by modinfo 1 year ago | 91 comments

Asterinas: OS kernel written in Rust and providing Linux-compatible ABI(github.com)

328 points by Klasiaster 2 years ago | 176 comments

GitHub repository for Asterinas, a secure, fast, general-purpose OS kernel written in Rust that provides a Linux-compatible ABI.

Stelvio: Ship Python to AWS(github.com)

28 points by todsacerdoti 8 months ago | 40 comments

Attyx – tiny and fast GPU-accelerated terminal emulator written in Zig(github.com)

10 points by nicholasrq 8 months ago | 6 comments

Show HN: Modshim – A new alternative to monkey-patching in Python(github.com)

93 points by joouha 1 year ago | 23 comments

Uv: Python packaging in Rust(astral.sh)

566 points by samwho 2 years ago | 182 comments

Astral blog post announcing uv, a fast Python package installer and resolver written in Rust as a drop-in replacement for pip and pip-tools, plus taking over Rye.

How uv got so fast(nesbitt.io)

1179 points by zdw 10 months ago | 405 comments

Blog post by Andrew Nesbitt examining the design decisions and packaging standards that make the uv Python package installer much faster than pip.

A plea not to use uv-build(blogs.gentoo.org)

63 points by Ravencentric 12 days ago | 63 comments

A Gentoo developer's blog post urging Python project maintainers not to adopt the uv-build packaging backend.

Emitting metadata early makes building/checking Rust up to twice as fast(github.com)

132 points by knuckleheads 22 days ago | 32 comments

GitHub repository for Headstart, patches to rustc and cargo that start dependent crates before their dependencies finish type-checking by emitting metadata early.

Writing Rust code that's fast by asking agents to make the code faster(minimaxir.com)

85 points by mooreds 1 month ago | 46 comments

Max Woolf blog post on using AI coding agents to iteratively optimize Rust code until it outperforms state-of-the-art libraries.

I have written a JVM in Rust(andreabergia.com)

655 points by lukastyrychtr 3 years ago | 144 comments

Blog post by Andrea Bergia describing rjvm, a toy Java Virtual Machine he wrote in Rust as a learning project, and its limitations.