A post-modern modal text editor.

A new type of shell

A Python Interpreter written in Rust

Sampling profiler for Python programs

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

Rust bindings for the C++ api of PyTorch.

C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain

Meaningful control of data in distributed systems.

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

The rustic MLIR bindings in Rust

Rust bindings to the MLIR C API.

A small, nutty dependently typed language.