A modern runtime for JavaScript and TypeScript.

Empowering everyone to build reliable and efficient software.

A curated list of Rust code and resources.

A refreshingly simple data-driven game engine built in Rust

A new markup-based typesetting system that is powerful and easy to learn.

A post-modern modal text editor.

Lightning-fast and Powerful Code Editor written in Rust

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

A Python Interpreter written in Rust

An incremental parsing system for programming tools

An HTTP library for Rust

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

Apache DataFusion SQL Query Engine

Metal I/O library for Rust.

A hardware-accelerated GPU terminal emulator focusing to run in desktops and browsers.

Rust for C++ programmers

LR(1) parser generator for Rust

A project for generating C bindings from Rust code

A GPU compute-centric 2D renderer.

Kani Rust Verifier

Hermit for Rust.

A model checker for implementing distributed systems.

Containerize your development and continuous integration environments. 🥂

Parsing Expression Grammar (PEG) parser generator for Rust

Defines the Rust borrow checker.

Meaningful control of data in distributed systems.

Verified Rust for low-level systems code

A Rust procedural language handler for PostgreSQL

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.