uael

ChatGPT

🔮 ChatGPT Desktop Application (Mac, Windows and Linux)

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

gitui

Blazing 💥 fast terminal-ui for git written in rust 🦀

revanced-manager

💊 Application to use ReVanced on Android

petals

🌸 Run LLMs at home, BitTorrent-style. Fine-tuning and inference up to 10x faster than offloading

pkgx

the last thing you’ll install

retdec

RetDec is a retargetable machine-code decompiler based on LLVM.

computerraria

A fully compliant RISC-V computer made inside the game Terraria

coveragepy

The code coverage tool for Python

patat

Terminal-based presentations using Pandoc

kani

Kani Rust Verifier

nextest

A next-generation test runner for Rust.

nix-installer

Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 2 million installs.

crux

Cross-platform app development in Rust

prusti-dev

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

mtm

Perhaps the smallest useful terminal multiplexer in the world.

Fomos

Experimental OS, built with rust

eyra

Rust programs written entirely in Rust

bytemuck

A crate for mucking around with piles of bytes

wpunix

WordPerfect for UNIX Character Terminals

flux

Refinement Types for Rust

cargo-mutants

:zombie: Inject bugs and see if your tests catch them!

mmap-sync

Rust library for concurrent data access, using memory-mapped files, zero-copy deserialization, and wait-free synchronization.

cargo-careful

Execute Rust code carefully, with extra checking along the way

strings

Rust String Libraries by mcyoung

llvm-ir-analysis

Anikki

The ultimate anime companion

rootcanal

bump-scope

A fast bump allocator that supports allocation scopes / checkpoints. Aka an arena for values of arbitrary types.

async-unsync