A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

An extremely fast Python type checker and language server, written in Rust.

A pre-commit hook for pylyzer.

Visualize Ownership and Lifetimes in Rust

An extremely fast Python package and project manager, written in Rust.

An extremely fast Python linter and code formatter, written in Rust.

WebAssembly AoT compiler for your favorite Operating System

A unikernel designed specifically for running Wasm applications and compatible with WASI

👻 Use your text editor to write in your browser. Everything you type in the editor will be instantly updated in the browser (and vice versa).

🐦 Friendly little instrumentation profiler for Rust 🦀

Standalone Unity remake of New Super Mario Bros DS' multiplayer gamemode, "Mario vs Luigi"

🔵 Make TypeScript errors prettier and human-readable in VSCode 🎀

Run your GitHub Actions locally 🚀

Running large language models on a single GPU for throughput-oriented scenarios.

A browser based code editor

Moved to Codeberg

[NeurIPS 2022] Towards Robust Blind Face Restoration with Codebook Lookup Transformer

🐦‍⬛ A bracket-based lightweight markup language that extends commands with WebAssembly

GitHub Action for building and uploading Rust binary to GitHub Releases.

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

The Erg programming language official website

Defines a common protocol for language servers.

Eureka is a feature-rich and highly customizable Hugo theme.

A statically typed language compatible with Python

A statically-typed, functional typesetting system

A safe, easy systems language

historical archive of rust pre-publication development

A Proof-oriented Programming Language