Showing entries 12701-12800 out of 20810.
Numix icon theme (square version)
Solarized versions of Numix GTK2 and GTK3 theme
Gray variation of Numix theme
Simulator for Epsilon, a High-performance graphing calculator operating system
Udev rules for Numworks calculators
C++ implementation of Raft core logic as a replication library
Command-line tool to generate Nix fetcher calls from repository URLs
New symbolic model checker for the analysis of synchronous finite-state and infinite-state systems
Free and open source C++ spell checking library
Network UPS Tools
Prometheus exporter for Network UPS Tools
Network performance measurement tool
A CLI tool for running tasks using the Nuvolaris serverless engine
Simple literate programming tool
Wrapper over the nix cli
Symbolic model checker for analysis of finite and infinite state systems
FFmpeg version of headers for NVENC - major version 9.1.23.1
FFmpeg version of headers for NVENC - major version 10.0.26.2
FFmpeg version of headers for NVENC - major version 11.1.5.2
FFmpeg version of headers for NVENC - major version 12.1.14.0
FFmpeg version of headers for NVENC - major version 9.1.23.1
VHDL compiler and simulator
New version checker for software
Nix/NixOS package version diff tool
Tools to work with the feeds (vulnerabilities, CPE dictionary etc.) distributed by National Vulner…
Nvidia dynamic fan control for Linux
Generate nix sources expr for the latest version of packages
Berkeley Vi Editor
NVIDIA container runtime for Docker
Nvidia optical flow headers for computing the relative motion of pixels between images
Task Manager for Linux for NVIDIA graphics cards
Set of cuda-enabled texture tools and compressors
VA-API implemention using NVIDIA's NVDEC
Use neovim as pager
Interactive NVIDIA-GPU process viewer, the one-stop solution for GPU process management
NVM-Express user space tooling for Linux
NVMe target CLI
NVMe-oF Target Configuration Utility for Linux
Simplenote-syncing note-taking tool inspired by Notational Velocity
Read and write coreboot parameters and display information from the coreboot table in CMOS/NVRAM
(h)top like task monitor for AMD, Adreno, Intel and NVIDIA GPUs
(h)top like task monitor for AMD, Adreno, Intel and NVIDIA GPUs
(h)top like task monitor for AMD, Adreno, Intel and NVIDIA GPUs
(h)top like task monitor for AMD, Adreno, Intel and NVIDIA GPUs
(h)top like task monitor for AMD, Adreno, Intel and NVIDIA GPUs
Open Source High-Performance Computational Chemistry
Generate network-diagram image from spec-text file (similar to Graphviz)
GTK3-based button bar for sway and other wlroots-based compositors
Output management utility for Sway and Hyprland
GTK3-based dock for sway
GTK3-based dock for Hyprland
Application drawer for sway Wayland compositor
GTK3-based greeter for the greetd daemon, written in python
GTK-based launchers: application grid, button bar, dmenu for sway and other window managers
Nwg-look is a GTK3 settings editor, designed to work properly in wlroots-based Wayland environment
MenuStart plugin for nwg-panel
GTK3-based panel for Sway window manager
Securely erase disks
App runtime based on Chromium and node.js
App runtime based on Chromium and node.js
An app runtime based on Chromium and node.js
Convert Nintendo Switch executable files to ELFs
Domain (ad) block list creator
Complete open-source clone/rewrite of the masterpiece jump-and-run platformer Doukutsu Monogatari …
Freescale/NXP I.MX chip image deploy tools
Nyancat in your terminal, rendered through ANSI escape sequences
Proxy server, supporting SOCKS 4 and 5, as well as a mirror mode
Mixnet providing IP-level privacy
Command-line monitor for Tor
Infinitely extensible web-browser (with Lisp development files using WebKitGTK platform port)
Command line tool for downloading files from news servers
Usenet meta search
Expressive, simple, dynamic programming language
Analysis and management tools for an Open Asset Model database
OAuth credential MAnager
Go client and server OpenAPI 3 generator
Components for building one-time password authentication systems
Components for building one-time password authentication systems
Open-source identity and access proxy that authorizes HTTP requests based on sets of rules
Light and powerful C++ web framework for highly scalable and resource-efficient web applications
Reverse proxy that provides authentication with Google, Github, or other providers
Reverse proxy that provides authentication with Google, Github, or other providers
User-friendly OAuth2 CLI
Simple CLI for interacting with Google API authentication
XOAUTH2 compatible Office365 token fetcher
Ad-hoc ClojureScript scripting of Mac applications via Apple's Open Scripting Architecture
GUI configuration tool for openbox
Emulator for the Oberon RISC machine
Tool to mount OBEX-based devices (such as Bluetooth phones)
Library and tool to access files on OBEX-based devices (such as Bluetooth phones)
Circumvents censorship by transforming Tor traffic between clients and bridges
Management of analyses and data in DNA metabarcoding
Command line tool for manipulating Wavefront OBJ 3D meshes