A workspace-aware Cargo lint for unnecessary public Rust APIs.

Vimium/Easymotion like navigation for tmux.

Support atomic operations on Arc itself

Nominal's open-source library for hardware test instrumentation

A static verifier for Rust, based on the Viper verification infrastructure.

A Nix parser written in Rust [maintainer=@oberblastmeister]

Wasm interpreter in lean, designed for reasoning

Siri Shortcuts Programming Language 🍒

Experimental Linux microvm setup with a TypeScript Control Plane as Agent Sandbox

LSP implementation for Tree-sitter's query files

Security firewall for agents

A lightning fast version of tmux-fingers written in Rust, copy/pasting tmux like vimium/vimperator

⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.

Jupyter libraries for Rust

Open-source model-agnostic BYOK GitHub bot that runs in GitHub Actions

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

🦀 Soothing pastel theme for Zed

This crate provides custom de/serialization helpers to use in combination with serde's `with`-annotation and with the improved `serde_as`-annotation.

A language binding generator for WebAssembly interface types

Command-line sampling profiler for macOS, Linux, and Windows

A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.

Run zizmor from GitHub Actions!

A GitHub action to create a pull request for changes to your repository in the actions workspace

An async ORM for Rust

PubGrub version solving algorithm implemented in Rust

Effortlessly self-host whiteboards. High-performance, cross-platform digital whiteboard with live collaboration built in Rust & WebGPU. Zero subscription, AGPLv3-licensed.

DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm

A fast Node.js package manager