Negative trait implementations on stable Rust.
☆19Oct 9, 2026Updated 2 weeks ago
Alternatives and similar repositories for negative-impl
Users that are interested in negative-impl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Ambire AdEx Validator Stack implemented in Rust: sentry, validator worker, adapter, adview manager☆11Mar 25, 2023Updated 3 years ago
- Embedded Programming with Microbit (v2) and Rust☆13May 6, 2026Updated 5 months ago
- ❄️ NixOS - Hyprland rice with Home-Manager ❄️☆14Feb 14, 2026Updated 8 months ago
- Universal translater for encodings☆14Dec 20, 2021Updated 4 years ago
- Pure Rust cross-platform native GUI architecture☆19Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Yokaze（夜風）：好看的网易云音乐播放器。Tauri 2 桌面应用 + ypm TUI：迷你播放条、菜单栏歌词，终端里画封面、双语歌词与频谱。☆30Updated this week
- 🎨 Unified icon library for Rust GUI apps with 10+ embedded icon packs (Bootstrap, Heroicons, Phosphor, Lucide, Tabler). Type-safe API fo…☆16Sep 19, 2026Updated last month
- A CLI tool for managing git worktrees with ghq repository organization☆11Jun 12, 2025Updated last year
- Toying around with Nix. I don't know what I'm doing.☆11Sep 8, 2026Updated last month
- Safe atomic Box types for Rust☆26Jan 13, 2023Updated 3 years ago
- bluss/IndexMap with amortized resizes☆14Dec 21, 2020Updated 5 years ago
- https://aerorust.org - The AeroRust community website - building the Rust 🦀 ecosystem for Aerospace 🚀 applications☆28Feb 2, 2026Updated 8 months ago
- Verifier for effectful, higher-order programs☆19Jul 1, 2026Updated 3 months ago
- Atomic operations on potentially uninitialized integers.☆33Sep 12, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- In-memory DB performance comparison between python, Go, and Rust☆10Apr 12, 2020Updated 6 years ago
- Centerline Detection by Confidence Vote in Accumulation Map☆11Feb 23, 2025Updated last year
- ☆10Feb 27, 2024Updated 2 years ago
- Python telegram bot library☆13Sep 16, 2024Updated 2 years ago
- Install and update single binary apps without any hassle☆29Sep 18, 2021Updated 5 years ago
- Serde support for (rusty_)v8☆14Mar 11, 2021Updated 5 years ago
- Selected high-performance computations for Typst☆21Oct 14, 2026Updated 2 weeks ago
- This is repository of my hyprland dots, for more info read READ.ME☆14May 27, 2026Updated 5 months ago
- async kafka client in pure Rust☆18Mar 22, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ExFAT implementation with rust☆24Jun 16, 2026Updated 4 months ago
- ros3fs is a Linux FUSE adapter for AWS S3 and S3 compatible object storages.☆14Oct 19, 2023Updated 3 years ago
- Radipy is CLI radiko Downloader written by python3.☆12Dec 8, 2022Updated 3 years ago
- Tiny parser combinators library written in Python.☆18May 20, 2025Updated last year
- ☆16Dec 16, 2020Updated 5 years ago
- Measure execution time of a block of Rust code☆18Aug 27, 2019Updated 7 years ago
- Parse domain names reliably and quickly in Rust☆61Aug 31, 2022Updated 4 years ago
- A cargo subcommand for displaying when different versions of a same dependency are pulled in☆28Jun 26, 2026Updated 4 months ago
- ☆12Sep 24, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Moving code-gen out of `build.rs`☆24Oct 4, 2026Updated 3 weeks ago
- [READ-ONLY] A Rule set for PHP-CS-Fixer mainly targeting PHP 7.1 or higher.☆13Dec 4, 2020Updated 5 years ago
- VoidLinux XBPS primitive wrapper with bash-completion☆10Feb 2, 2020Updated 6 years ago
- cargo plugin to run commands against all combinations of features☆14Oct 17, 2026Updated last week
- ☆15Dec 19, 2022Updated 3 years ago
- Type Theory in Type Theory using Cubical Agda☆15Feb 21, 2019Updated 7 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago