| linuxKernel.packages.linux_6_17.tmon | Monitoring and Testing Tool for Linux kernel thermal subsystem |
| linuxKernel.packages.linux_6_17.bcachefs | out-of-tree bcachefs kernel module |
| linuxKernel.packages.linux_6_17.ajantv2 | AJA video driver |
| linuxKernel.packages.linux_6_17.virtio_vmmci | OpenBSD VMM Control Interface (vmmci) for Linux |
| linuxKernel.packages.linux_6_17.rtw88 | Backport of the latest Realtek RTW88 driver from wireless-next for older kernels |
| linuxKernel.packages.linux_6_17.msi-ec | Kernel modules for MSI Embedded controller |
| linuxKernel.packages.linux_6_17.ply | Dynamic tracing in Linux |
| linuxKernel.packages.linux_6_17.acpi_call | Module allowing arbitrary ACPI calls; use case: hybrid video |
| linuxKernel.packages.linux_6_17.mwprocapture | Linux driver for the Magewell Pro Capture family |
| linuxKernel.packages.linux_6_17.ddcci-driver | Kernel module driver for DDC/CI monitors |
| linuxKernel.packages.linux_6_17.bbswitch | Module for powering off hybrid GPUs |
| linuxKernel.packages.linux_6_17.mba6x_bl | MacBook Air 6,1 and 6,2 (mid 2013) backlight driver |
| linuxKernel.packages.linux_6_17.cryptodev | Device that allows access to Linux kernel cryptographic drivers |
| linuxKernel.packages.linux_6_17.nvidia_dc_565 | Data Center driver and kernel module for NVIDIA cards |
| linuxKernel.packages.linux_6_17.turbostat | Report processor frequency and idle statistics |
| linuxKernel.packages.linux_6_17.hpuefi-mod | Kernel module for managing BIOS settings and updating BIOS firmware on supported HP computers |
| linuxKernel.packages.linux_6_17.ivsc-driver | Intel Vision Sensing Controller kernel driver |
| linuxKernel.packages.linux_6_17.rtl8852bu | Driver for Realtek rtl8852bu and rtl8832bu chipsets, provides the 8852bu mod |
| linuxKernel.packages.linux_6_17.nvidia_x11_vulkan_beta_open | NVIDIA Linux Open GPU Kernel Module |
| linuxKernel.packages.linux_6_17.rtl8188eus-aircrack | RealTek RTL8188eus WiFi driver with monitor mode & frame injection support |
| linuxKernel.packages.linux_6_17.system76-acpi | System76 ACPI Driver (DKMS) |
| linuxKernel.packages.linux_6_17.cpupower | Tool to examine and tune power saving features |
| linuxKernel.packages.linux_6_17.shufflecake | Plausible deniability (hidden storage) layer for Linux |
| linuxKernel.packages.linux_6_17.ixgbevf | Intel 82599 Virtual Function Driver |
| linuxKernel.packages.linux_6_17.r8125 | Realtek r8125 2.5G Ethernet driver |
| linuxKernel.packages.linux_6_17.r8168 | Realtek r8168 driver |
| linuxKernel.packages.linux_6_17.nvidiabl | Linux driver for setting the backlight brightness on laptops using NVIDIA GPU |
| linuxKernel.packages.linux_6_17.fwts-efi-runtime | Firmware Test Suite(efi-runtime kernel module) |
| linuxKernel.packages.linux_6_17.v4l2loopback | Kernel module to create V4L2 loopback devices |
| linuxKernel.packages.linux_6_17.sheep-net | |
| linuxKernel.packages.linux_6_17.universal-pidff | PIDFF driver with useful patches for initialization of FFB devices |
| linuxKernel.packages.linux_6_17.ryzen-smu | Linux kernel driver that exposes access to the SMU (System Management Unit) for certain AMD Ryzen Processors |
| linuxKernel.packages.linux_6_17.virtualboxGuestAdditions | Guest additions for VirtualBox |
| linuxKernel.packages.linux_6_17.new-lg4ff | Experimental Logitech force feedback module for Linux |
| linuxKernel.packages.linux_6_17.amdgpu-i2c | Exposes i2c interface to set colors on AMD GPUs |
| linuxKernel.packages.linux_6_17.rtl8852au | Driver for Realtek 802.11ac, rtl8852au, provides the 8852au mod |
| linuxKernel.packages.linux_6_17.mm-tools | Set of virtual memory tools |
| linuxKernel.packages.linux_6_17.nullfs | Virtual black hole file system that behaves like /dev/null |
| linuxKernel.packages.linux_6_17.tbs | Linux driver for TBSDTV cards |
| linuxKernel.packages.linux_6_17.gcadapter-oc-kmod | Kernel module for overclocking the Nintendo Wii U/Mayflash GameCube adapter |
| linuxKernel.packages.linux_6_17.openafs | Open AFS client kernel module |
| linuxKernel.packages.linux_6_17.hyperv-daemons | Integration Services for running NixOS under HyperV |
| linuxKernel.packages.linux_6_17.rtl8189es | Driver for Realtek rtl8189es |
| linuxKernel.packages.linux_6_17.chipsec | Platform Security Assessment Framework |
| linuxKernel.packages.linux_6_17.asus-ec-sensors | Linux HWMON sensors driver for ASUS motherboards to read sensor data from the embedded controller |
| linuxKernel.packages.linux_6_17.dddvb | Device driver for all Digital Devices DVB demodulator and modulator cards |
| linuxKernel.packages.linux_6_17.lenovo-legion-module | Linux kernel module for controlling fan and power in Lenovo Legion laptops |
| linuxKernel.packages.linux_6_17.nvidia_x11_vulkan_beta | X.org driver and kernel module for NVIDIA cards |
| linuxKernel.packages.linux_6_17.corefreq | CPU monitoring and tuning software designed for 64-bit processors |
| linuxKernel.packages.linux_6_17.vmware | Kernel modules needed for VMware hypervisor |
| linuxKernel.packages.linux_6_17.kvmfr | Optional kernel module for LookingGlass |
| linuxKernel.packages.linux_6_17.decklink | Kernel module for the Blackmagic Design Decklink cards |
| linuxKernel.packages.linux_6_17.nvidia_x11 | X.org driver and kernel module for NVIDIA cards |
| linuxKernel.packages.linux_6_17.batman_adv | B.A.T.M.A.N. routing protocol in a linux kernel module for layer 2 |
| linuxKernel.packages.linux_6_17.rtl88x2bu | Realtek rtl88x2bu driver |
| linuxKernel.packages.linux_6_17.rtl8814au | Realtek 8814AU USB WiFi driver |
| linuxKernel.packages.linux_6_17.zenpower | Linux kernel driver for reading temperature, voltage(SVI2), current(SVI2) and power(SVI2) for AMD Zen family CPUs |
| linuxKernel.packages.linux_6_17.jool | Fairly compliant SIIT and Stateful NAT64 for Linux - kernel modules |
| linuxKernel.packages.linux_6_17.digimend | DIGImend graphics tablet drivers for the Linux kernel |
| linuxKernel.packages.linux_6_17.system76-io | DKMS module for controlling System76 Io board |
| linuxKernel.packages.linux_6_17.ipu6-drivers | IPU6 kernel driver |
| linuxKernel.packages.linux_6_17.rr-zen_workaround | Kernel module supporting the rr debugger on (some) AMD Zen-based CPUs |
| linuxKernel.packages.linux_6_17.vmm_clock | Experimental implementation of a kvmclock-derived clocksource for Linux guests under OpenBSD's hypervisor |
| linuxKernel.packages.linux_6_17.qc71_laptop | Linux driver for QC71 laptop |
| linuxKernel.packages.linux_6_17.hid-tmff2 | Linux kernel module for Thrustmaster T300RS, T248 and TX(experimental) |
| haskellPackages.Color_0_4_1 | Color spaces and conversions between them |
| haskellPackages.alsa-seq_0_6_0_10 | Binding to the ALSA Library API (MIDI sequencer) |
| haskellPackages.if | (?) and (?>) conditional operator |
| haskellPackages.dependent-map_0_4_0_1 | Dependent finite maps (partial dependent products) |
| haskellPackages.mockcat_0_5_4_0 | Mock library for test in Haskell |
| haskellPackages.keter_2_2_1 | Web application deployment manager, focusing on Haskell web frameworks. It mitigates downtime. |
| haskellPackages.beam-sqlite_0_5_5_0 | Beam driver for SQLite |
| haskellPackages.lentil_1_5_9_1 | frugal issue tracker |
| haskellPackages.board-games_0_4_0_1 | Three games for inclusion in a web server |
| haskellPackages.assert | Helpers for Control.Exception.assert |
| haskellPackages.ogma-language-xlsx_1_10_0 | Ogma: Runtime Monitor translator: XLSX Frontend |
| haskellPackages.ogma-extra_1_10_0 | Ogma: Helper tool to interoperate between Copilot and other languages |
| haskellPackages.prompt-hs_1_1_0_1 | A user-friendly, dependently-typed library for asking your users questions |
| haskellPackages.shakespeare_2_1_7_1 | A toolkit for making compile-time interpolated templates |
| haskellPackages.tasty-discover_5_1_0 | Test discovery for the tasty framework |
| haskellPackages.ogma-cli_1_10_0 | Ogma: Helper tool to interoperate between Copilot and other languages |
| haskellPackages.ogma-language-csv_1_10_0 | Ogma: Runtime Monitor translator: CSV Frontend |
| haskellPackages.ogma-language-copilot_1_10_0 | Ogma: Runtime Monitor translator: Copilot Language Endpoints |
| haskellPackages.reflex_0_9_4_0 | Higher-order Functional Reactive Programming |
| haskellPackages.ogma-core_1_10_0 | Ogma: Helper tool to interoperate between Copilot and other languages |
| haskellPackages.ogma-spec_1_10_0 | Ogma: Runtime Monitor translator: JSON Frontend |
| haskellPackages.ogma-language-lustre_1_10_0 | Ogma: Runtime Monitor translator: Lustre Language Frontend |
| haskellPackages.sbp_6_3_0 | SwiftNav's SBP Library |
| haskellPackages.ogma-language-c_1_10_0 | Ogma: Runtime Monitor translator: C Language Frontend |
| haskellPackages.sbv_12_2 | SMT Based Verification: Symbolic Haskell theorem prover using SMT solving |
| haskellPackages.ogma-language-smv_1_10_0 | Ogma: Runtime Monitor translator: SMV Language Frontend |
| haskellPackages.opt-env-conf_0_11_0_0 | Settings parsing for Haskell: command-line arguments, environment variables, and configuration values |
| haskellPackages.tls_2_1_12 | TLS protocol native implementation |
| haskellPackages.ogma-language-xmlspec_1_10_0 | Ogma: Runtime Monitor translator: XML Frontend |
| haskellPackages.ogma-language-jsonspec_1_10_0 | Ogma: Runtime Monitor translator: JSON Frontend |
| haskellPackages.what4_1_7 | Solver-agnostic symbolic values support for issuing queries |
| jetbrains.idea-ultimate | Paid-for Java, Kotlin, Groovy and Scala IDE from jetbrains |
| jetbrains.idea-community | Free Java, Kotlin, Groovy and Scala IDE from jetbrains (built from source) |
| jetbrains.pycharm-community-bin | Free Python IDE from JetBrains (patched binaries from jetbrains) |
| jetbrains.idea-community-src | Free Java, Kotlin, Groovy and Scala IDE from jetbrains (built from source) |