Lift enum variants to the type-level.
☆33Mar 13, 2021Updated 5 years ago
Alternatives and similar repositories for tylift
Users that are interested in tylift are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Native JSON for Rust☆16Dec 10, 2023Updated 2 years ago
- Userscript that introduces some user experience enhancements to the Nixpkgs and the NixOS manuals☆13Oct 16, 2023Updated 2 years ago
- ☆13Aug 11, 2021Updated 5 years ago
- A persistent key-value store for use in Obsidian scripting.☆19Apr 23, 2026Updated 4 months ago
- nix value introspection - made easy☆12Apr 21, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- watt-based inline procedural macros☆14Jul 17, 2020Updated 6 years ago
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆32Mar 19, 2024Updated 2 years ago
- Experimental type level programming in Rust☆42Jul 19, 2021Updated 5 years ago
- NixOS modules that don't quite belong in NixOS.☆16Jan 20, 2021Updated 5 years ago
- Easy-cast library☆30Aug 29, 2026Updated last week
- Bulk scrape and download datasheets from various vendors (insult)☆14Aug 10, 2021Updated 5 years ago
- The spec for "ANSI Escape sequences" in searchable, linkable form☆18Dec 24, 2019Updated 6 years ago
- Expose services through the email infrastructure☆33Aug 15, 2026Updated 3 weeks ago
- Formal semantics of Rust☆24Apr 9, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Provides a Refl encoding in Rust☆71Apr 6, 2023Updated 3 years ago
- the dna of the soul☆17Jun 13, 2024Updated 2 years ago
- A utility micro-crate for using `Into` more ergonomically.☆12May 17, 2021Updated 5 years ago
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 8 years ago
- A simple and convenient way to bundle owned data with a borrowing type.☆28Apr 22, 2022Updated 4 years ago
- Custom keyboard layouts for windows.☆46Jul 14, 2026Updated last month
- Port of Scala/Haskell Refined library to Idris☆17Apr 25, 2021Updated 5 years ago
- download the macOS SDK legally without an Apple account☆12Jun 1, 2023Updated 3 years ago
- Nix compatible lockfile manager, without Nix☆76Aug 29, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Anonymous enum and checked exception for Rust.☆22Apr 4, 2021Updated 5 years ago
- VecOption<T> is a specialized collection (in Rust), which is a more efficient replacement for Vec<Option<T>>.☆15Aug 14, 2019Updated 7 years ago
- A simple utility for multithreading a/synchronization☆23Oct 1, 2022Updated 3 years ago
- Source code and logic to build Lua 5.1-5.5 for Rust☆25Aug 29, 2026Updated last week
- Append-only collections for Rust where borrows to entries can outlive insertions☆280Jun 27, 2026Updated 2 months ago
- Easily edit process memory through dynamic scripts☆12Apr 12, 2025Updated last year
- A neovim plugin for visually displaying indent levels in code, even on blank lines☆12Jun 23, 2023Updated 3 years ago
- Experimental stuff. Don't spend your time here for the moment.☆25Jan 27, 2025Updated last year
- Environment control for benchmarks☆14Feb 10, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Collection of typed data structures, trait operators and aliases☆52Sep 27, 2020Updated 5 years ago
- Boyer-Moore-MagicLen, a fast string search algorithm implemented in Rust.☆14Jun 23, 2026Updated 2 months ago
- nix-community reference documentation (until officially released) [maintainer=@hsjobeki]☆25Jun 29, 2024Updated 2 years ago
- ☆13Mar 7, 2025Updated last year
- C library for exposing global menus in Wayland and X11 sessions☆15Aug 31, 2026Updated last week
- Rust macro to specialize on the type of an expression.☆50Apr 26, 2023Updated 3 years ago
- Age plugin for using ed25519 on OpenPGP Card devices (Yubikeys, Nitrokeys)☆31May 6, 2026Updated 4 months ago