Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

A tool for recompiling Xbox 360 games to native executables.

Fast wrap your missing pair with treesitter.

presenting.nvim is a neovim plugin that turns your markup files into slides (in neovim).

ffmpeg4discord is a Python package tailored for Two-Pass encoding, enabling efficient video compression to meet desired file sizes. Ideal for users seeking to compress videos for Discord sharing wi…

A virtual monitor for screen sharing

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

Some tough questions to test new models.

A debugger that interoperates with RISC Zero

Smooth scrolling enabler for Logitech mice.

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

Tools for better development in rust using neovim's builtin lsp

The source for the Linux kernel used in Windows Subsystem for Linux 2 (WSL2)

A tiling window manager for Windows 🍉

Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.

TypeScript for Tiny IoT Devices (ESP32, RP2040, ...)

OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.

High-performance In-browser LLM Inference Engine

Robust Speech Recognition via Large-Scale Weak Supervision

🎹🎸A music theory library with a command-line interface

Free, ultrafast Copilot alternative for Vim and Neovim

Geo-scale, next-generation peer-to-peer sharing platform built on top of OpenZiti.

Lua plugin to turn github copilot into a cmp source

Visualize Your Ideas With Code

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

share one rust-analyzer server instance between multiple LSP clients to save resources

Development tool for LÖVE that faciliates easy remote development of games

Advanced Source Library for Löve

A small collection of terminal shaders