A safe and fast multi-producer, multi-consumer channel.

List and diff the public API of Rust library crates between releases and commits. Detect breaking API changes and semver violations via CI or a CLI.

An opinionated tree-sitter + tree-sitter-highlight + grammars bundle

Remove unused Rust dependencies with this one weird trick!

A query-system-based static site generator

Control Home Assistant smart home directly from your Pebble smartwatch! This app uses WebSockets for real-time updates and control of your Home Assistant devices and entities.

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.

A scrollable-tiling Wayland compositor.

Verifying the Rust standard library

Tool for live presentations using manim

A community-maintained Python framework for creating mathematical animations.

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need

Linear optimization software

A toolkit for SAT-based prototyping in Python

Source code spell checker

Scan your Rust crate for semver violations.

An advanced SAT solver

Nix Packages collection & NixOS

Proxmox VE Custom Integration Home Assistant

A next-generation test runner for Rust.

Personal nixos and home-manager configurations.

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

🦀 Find the minimum supported Rust version (MSRV) for your project

Publish Rust crates from CI with a Release PR.

Blazing fast Neovim framework providing solid defaults and a beautiful UI, enhancing your neovim experience.

Implementation of logic function as lookup tables and sum of products

🏡 Open source home automation that puts local control and privacy first.