IRC application written in Rust

Lean 4 programming language and theorem prover

Attribute macro to require that the compiler prove a function can't ever panic

A Rust port of tmux

Collection of cryptography-related traits

The official repository of Mozilla's Firefox web browser.

Try to find the password of a file that was encrypted with the 'openssl' command.

Truly independent web browser

Command and Conquer: Renegade

Command and Conquer Tiberian Dawn

Command and Conquer: Red Alert

supply-chain security for Rust

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

A very fast linker for Linux

View HTTP/HTTPS requests made by any Linux program

A better and stronger spiritual successor to BZip2.

A group of Rust projects for interacting with the SARIF format

Markdown Viewer / Browser Extension

Bluetooth Low Energy framework for communicating with Combustion Inc. Predictive Thermometers.

Type-erased Serialize, Serializer and Deserializer traits

Serde serializable and deserializable trait objects

Remove unused Rust dependencies with this one weird trick!

Elm-inspired Scala UI library.

Animation engine for explanatory math videos

Correct by construction non-empty list

💊 Application to use ReVanced on Android

Analyze ELF binaries like a boss 😼🕵️‍♂️

JPEG XL image format reference implementation

Pure Rust implementation of JPEG XL decoder