Repository Index

An implementation of the Language Server Protocol for LaTeX

• latex
• language-server

A high-level API for programmatically interacting with web pages through WebDriver.

• rust
• webdriver
• automation
• library

A distributed system for running WebSocket services at scale.

• rust
• websocket

A programming language for AI orchestrations

Safe FFmpeg wrapper.

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

⚡ Energy consumption metrology agent. Let "scaph" dive and bring back the metrics that will help you make your systems and applications more sustainable !

• greenit
• rust
• rust-lang
• energy

802.11 Attack Tool

• 802-11
• penetration-testing
• pentesting
• security-tools

Cross-platform command-line AV1 / VP9 / HEVC / H264 encoding framework with per scene quality encoding

• av1
• encoder
• ffmpeg
• aomenc

A modular toolkit for building fast, reliable Web applications and libraries with Rust and WASM

• webassembly
• wasm
• rust
• web

Monorepo for StartOS, StartWRT, StartTunnel, start-sdk, start-docs, start-cli, start-registry, patch-db, and various shared libraries

• personal-server
• self-hosting
• p2p
• open-source

Unofficial ChatGPT desktop app for Mac & Windows menubar using Tauri & Rust

• ai
• desktop
• desktop-app
• gpt-3

Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.

• decentralized
• mixnet
• rust
• rust-lang

Guide for using gfx-rs's wgpu library.

High-performance AI coding agent CLI written in Rust with zero unsafe code

• ai-agents
• cli
• developer-tools
• rust

RustSec API & Tooling

• rust
• security
• cargo

✨ Agentic chat experience in your terminal. Build applications using natural language.

• ai
• amazon-q
• cli
• llm

Portable DNS resolver in Rust: .numa local domains, ad blocking, developer overrides, DoT/DoH/ODoH, DNSSEC

• dns
• resolver
• rust
• tokio

Hermit for Rust.

• virtualization
• osdev
• operating-system
• cloud-computing

A vector indexing library to bring fast, fresh and filtered search to your database

Home of OpenVMM and OpenHCL

• confidential-computing
• rust
• vmm

Peer-to-peer, editor-agnostic collaborative editing of local text files.

• collaborative-editing
• local-first
• collaboration
• peer-to-peer

Rust derive-based argument parsing optimized for code size

• argh
• positional-arguments
• subcommands
• argument-parser

Creusot helps you prove your Rust code is correct.

• rust-lang
• verification
• proof
• formal-verification