Lift enum variants to the type-level.
☆32Mar 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
- A persistent key-value store for use in Obsidian scripting.☆19Apr 23, 2026Updated 3 months ago
- nix value introspection - made easy☆12Apr 21, 2024Updated 2 years ago
- watt-based inline procedural macros☆14Jul 17, 2020Updated 6 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.
- 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 5, 2026Updated last week
- VecDeque-like fast, unbounded, mpmc/spmc concurent FIFO message queue. Lockless reads, write-lock writes.☆22Nov 10, 2024Updated last year
- The spec for "ANSI Escape sequences" in searchable, linkable form☆17Dec 24, 2019Updated 6 years ago
- Expose services through the email infrastructure☆33Updated this week
- Formal semantics of Rust☆24Apr 9, 2021Updated 5 years ago
- Provides a Refl encoding in Rust☆71Apr 6, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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
- 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
- A data-first Rust-native UI design toolkit. Experimental embedded version (no_std).☆19Jul 31, 2020Updated 6 years ago
- 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☆77Aug 29, 2023Updated 2 years ago
- Experimental HKT framework and generic traits for the standard library☆23Dec 11, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- For using thread locals within an async context and across await points☆13May 13, 2025Updated last year
- A Binary Ninja plugin providing a set of BinaryViews for loading Motorola SREC, Intel HEX, and TI-TXT "hex" files☆10Sep 5, 2024Updated last year
- Anonymous enum and checked exception for Rust.☆23Apr 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
- HDL development environment on Nix.☆26Oct 23, 2024Updated last year
- 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 5, 2026Updated last week
- Append-only collections for Rust where borrows to entries can outlive insertions☆280Jun 27, 2026Updated last month
- Easily edit process memory through dynamic scripts☆12Apr 12, 2025Updated last year
- 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.
- A Nix web bundler because why not☆56Mar 10, 2024Updated 2 years ago
- 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
- 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 last month
- Fegeya Elitebuild, small, powerful build system. Written in Rust.☆28Aug 1, 2024Updated 2 years ago