fmease / tyliftView external linksLinks
Lift enum variants to the type-level.
☆32Mar 13, 2021Updated 4 years ago
Alternatives and similar repositories for tylift
Users that are interested in tylift are comparing it to the libraries listed below
Sorting:
- Userscript that introduces some user experience enhancements to the Nixpkgs and the NixOS manuals☆13Oct 16, 2023Updated 2 years ago
- nix value introspection - made easy☆12Apr 21, 2024Updated last year
- watt-based inline procedural macros☆14Jul 17, 2020Updated 5 years ago
- Experimental type level programming in Rust☆41Jul 19, 2021Updated 4 years ago
- NixOS modules that don't quite belong in NixOS.☆16Jan 20, 2021Updated 5 years ago
- A persistent key-value store for use in Obsidian scripting.☆19Apr 2, 2024Updated last year
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆31Mar 19, 2024Updated last year
- Bulk scrape and download datasheets from various vendors (insult)☆14Aug 10, 2021Updated 4 years ago
- The spec for "ANSI Escape sequences" in searchable, linkable form☆17Dec 24, 2019Updated 6 years ago
- the dna of the soul☆17Jun 13, 2024Updated last year
- Expose services through the email infrastructure☆34Feb 13, 2024Updated 2 years ago
- A simple and convenient way to bundle owned data with a borrowing type.☆28Apr 22, 2022Updated 3 years ago
- Provides a Refl encoding in Rust☆68Apr 6, 2023Updated 2 years ago
- Formal semantics of Rust☆23Apr 9, 2021Updated 4 years ago
- HDL development environment on Nix.☆26Oct 23, 2024Updated last year
- Easy-cast library☆30Dec 2, 2025Updated 2 months ago
- 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
- Nix compatible lockfile manager, without Nix☆74Aug 29, 2023Updated 2 years ago
- Swiss army knife tool for AMD CPUs with monitor and control and more☆27Sep 1, 2023Updated 2 years ago
- Experimental stuff. Don't spend your time here for the moment.☆26Jan 27, 2025Updated last year
- Custom keyboard layouts for windows.☆40Jan 18, 2026Updated 3 weeks ago
- nix-community reference documentation (until officially released) [maintainer=@hsjobeki]☆25Jun 29, 2024Updated last year
- my nix-darwin config☆13Feb 4, 2026Updated last week
- A simple lexical scanner in Rust☆12Nov 8, 2020Updated 5 years ago
- ☆13Mar 7, 2025Updated 11 months ago
- Easily edit process memory through dynamic scripts☆12Apr 12, 2025Updated 10 months ago
- Collection of typed data structures, trait operators and aliases☆51Sep 27, 2020Updated 5 years ago
- Native JSON for Rust☆17Dec 10, 2023Updated 2 years ago
- download the macOS SDK legally without an Apple account☆11Jun 1, 2023Updated 2 years ago
- Small command-line tool and GUI to switch monitor inputs from command line☆25May 27, 2024Updated last year
- Derive Display for simple enums automagically☆24Feb 17, 2022Updated 3 years ago
- Age plugin for using ed25519 on OpenPGP Card devices (Yubikeys, Nitrokeys)☆28Sep 30, 2025Updated 4 months ago
- Fegeya Elitebuild, small, powerful build system. Written in Rust.☆28Aug 1, 2024Updated last year
- A Nix web bundler because why not☆56Mar 10, 2024Updated last year
- A utility micro-crate for using `Into` more ergonomically.☆12May 17, 2021Updated 4 years ago
- benchmark analysis and summary tool☆16Dec 15, 2021Updated 4 years ago
- Ruby Hardware Description Language☆15Mar 13, 2013Updated 12 years ago
- cursed☆14Mar 19, 2023Updated 2 years ago
- <lqd> bikeshedding the name: something that is mapped folded and collected, a 🥐☆14Dec 12, 2019Updated 6 years ago