petrosagg

yt-dlp

A feature-rich command-line audio/video downloader

bevy

A refreshingly simple data-driven game engine built in Rust

photoprism

AI-Powered Photos App for the Decentralized Web 🌈💎✨

sops

Simple and flexible tool for managing secrets

nix

Nix, the purely functional package manager

organicmaps

🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the community. No ads, no tracking, no data collection, no crapware. Please donate to support the development!

NoiseTorch

Real-time microphone noise suppression on Linux.

flutter_rust_bridge

Flutter/Dart <-> Rust binding generator, feature-rich, but seamless and simple.

console

a debugger for async rust!

timely-dataflow

A modular implementation of timely dataflow in Rust

glommio

Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.

trustfall

A query engine for any combination of data sources. Query your files and APIs as if they were databases!

Idris2

A purely functional programming language with first class types

nixos-hardware

A collection of NixOS modules covering hardware quirks.

awesome-piracy

A curated list of awesome warez and piracy links.

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

sops-nix

Atomic secret provisioning for NixOS based on sops

deploy-rs

A simple multi-profile Nix-flake deploy tool.

WS2812FX

WS2812 FX Library for Arduino and ESP8266

httm

Interactive, file-level Time Machine-like tool for ZFS/btrfs/nilfs2 (and even Time Machine and Restic backups!)

page_dewarp

Text page dewarping using a "cubic sheet" model

OpenTracks

Repository moved to: https://codeberg.org/OpenTracksApp/OpenTracks

sqlfmt

SQL formatter with width-aware output

typecheck.macro

A easy (and fast) typescript validation library/macro. Automatically generate validation functions for Typescript types.

verify-rust-std

Verifying the Rust standard library

DiffOptics

This is the open source repository for our IEEE Transactions on Computational Imaging 2022 paper "dO: A differentiable engine for Deep Lens design of computational imaging systems".

polonius-the-crab.rs

Tools to feature more lenient Polonius-based borrow-checker patterns on stable Rust

escher

Self-referencial structs using the async/await transformation

sync_wrapper

PL2

Course Material for "Programming Languages II"