| linuxKernel.packages.linux_5_10.liquidtux | Linux kernel hwmon drivers for AIO liquid coolers and other devices |
| python312Packages.flyingsquid | More interactive weak supervision with FlyingSquid |
| haskellPackages.liquidhaskell-cabal | Liquid Haskell integration for Cabal and Stack |
| haskellPackages.genvalidity-typed-uuid | Generators for Phantom-Typed version of UUID |
| python312Packages.pyfluidsynth | Python bindings for FluidSynth, a MIDI synthesizer that uses SoundFont instruments |
| libuuid | Set of system utilities for Linux |
| haskellPackages.liquidhaskell-cabal-demo | Demo of Liquid Haskell integration for Cabal and Stack |
| haskellPackages.liquidhaskell_0_9_12_2 | Liquid Types for Haskell |
| linuxKernel.packages.linux_xanmod.liquidtux | Linux kernel hwmon drivers for AIO liquid coolers and other devices |
| vimPlugins.nvim-treesitter-parsers.liquidsoap | Tree-sitter grammar for liquidsoap |
| linuxPackages_xanmod_latest.liquidtux | Linux kernel hwmon drivers for AIO liquid coolers and other devices |
| linuxPackages_xanmod_stable.liquidtux | Linux kernel hwmon drivers for AIO liquid coolers and other devices |
| python313Packages.django-shortuuidfield | Short UUIDField for Django. Good for use in urls & file names |
| python314Packages.django-shortuuidfield | Short UUIDField for Django. Good for use in urls & file names |
| linuxKernel.packages.linux_hardened.liquidtux | Linux kernel hwmon drivers for AIO liquid coolers and other devices |
| texlivePackages.latex-veryshortguide | The Very Short Guide to LaTeX |
| python312Packages.django-shortuuidfield | Short UUIDField for Django. Good for use in urls & file names |
| haskellPackages.liquidhaskell-boot_0_9_12_2 | Liquid Types for Haskell |
| ocamlPackages.janestreet_cpuid | Library for parsing CPU capabilities out of the `cpuid` instruction |
| linuxKernel.packages.linux_6_1_hardened.liquidtux | Linux kernel hwmon drivers for AIO liquid coolers and other devices |
| linuxKernel.packages.linux_latest_libre.liquidtux | Linux kernel hwmon drivers for AIO liquid coolers and other devices |
| linuxKernel.packages.linux_5_4_hardened.liquidtux | Linux kernel hwmon drivers for AIO liquid coolers and other devices |
| linuxKernel.packages.linux_6_6_hardened.liquidtux | Linux kernel hwmon drivers for AIO liquid coolers and other devices |
| haskellPackages.liquid-fixpoint_0_9_6_3_3 | Predicate Abstraction-based Horn-Clause/Implication Constraint Solver |
| linuxKernel.packages.linux_5_10_hardened.liquidtux | Linux kernel hwmon drivers for AIO liquid coolers and other devices |
| linuxKernel.packages.linux_5_15_hardened.liquidtux | Linux kernel hwmon drivers for AIO liquid coolers and other devices |
| ocamlPackages_latest.janestreet_cpuid | Library for parsing CPU capabilities out of the `cpuid` instruction |
| ocamlPackages.janeStreet.janestreet_cpuid | Library for parsing CPU capabilities out of the `cpuid` instruction |
| ocamlPackages_latest.janeStreet.janestreet_cpuid | Library for parsing CPU capabilities out of the `cpuid` instruction |
| linuxKernel.packages.linux_xanmod_latest.liquidtux | Linux kernel hwmon drivers for AIO liquid coolers and other devices |
| linuxKernel.packages.linux_xanmod_stable.liquidtux | Linux kernel hwmon drivers for AIO liquid coolers and other devices |
| linuxKernel.packages.linux_6_12_hardened.liquidtux | Linux kernel hwmon drivers for AIO liquid coolers and other devices |
| texlivePackages.fontinstallationguide | Font installation guide |
| pius | PGP Individual UID Signer (PIUS), quickly and easily sign UIDs on a set of PGP keys |
| resolv_wrapper | Wrapper for the user, group and hosts NSS API |
| haskellPackages.snowchecked | A checksummed variation on Twitter's Snowflake UID generation algorithm |
| wayvr | Your way to enjoy VR on Linux! Access your Wayland/X11 desktop from SteamVR/Monado (OpenVR+OpenXR support) |