🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Verifiable Random Function on the Fuel Blockchain

Awesome list for Hyprland [maintainer=@yavko]

🌴 Empowering everyone to build reliable and efficient smart contracts.

A markup-based typesetting system that is powerful and easy to learn.

Cross-platform multimedia layer

A post-modern modal text editor.

Rainbow delimiters for Neovim through Tree-sitter

A `nix` and `nix-shell` wrapper for shells other than `bash`

Ghidra is a software reverse engineering (SRE) framework

Anonymous. Uncensored. Sovereign.

Shredos Disk Eraser 64 bit for all Intel 64 bit processors as well as processors from AMD and other vendors which make compatible 64 bit chips. ShredOS - Secure disk erasure/wipe

Algebraic effects for Rust

A Rust library for PDF document manipulation.

A tree like view for symbols in Neovim using the Language Server Protocol. Supports all your favourite languages.

Idiomatic Rust bindings to the JAB Code standard implementation

utilities to retry operations that may fail with configurable backoff behavior using macros over blocks of code

Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!

The Serenity Operating System 🐞

Example video player built with MPV and Slint-UI

Linux VR Desktop

Search for a torrent from the command-line and start streaming

Dim, a media manager fueled by dark forces.

An async MPSC request-response channel for Tokio

Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.

A Rust implementation of the legendary solitaire game

An inarguably well-designed Jekyll theme.

Collections of awesome neovim plugins.

mold: A Modern Linker 🦠