MyNixOS website logo
Showing entries 1-18 out of 18.
isabelleby-name/is/isabelleNix package categories
cronNix package
Daemon for running commands at specific times
isabelleisabelleNix package
A generic proof assistant
isccNix package
Compiler for Inno Setup, a tool for creating Windows installers
isedNix package
Numeric sequence editor
isisdlNix package
Downloader for ISIS of TU-Berlin
iso-codesNix package
Various ISO codes packaged as XML files
iso-flags-unstableiso-flagsNix package
248 country flag SVG & PNG icons with different icon styles
iso-flags-unstableiso-flags-png-320x240Nix package
248 country flag SVG & PNG icons with different icon styles
iso-flags-unstableiso-flags-png-320x420Nix package
248 country flag SVG & PNG icons with different icon styles
isolateNix package
Sandbox for securely executing untrusted programs
isolyzerNix package
Verify size of ISO 9660 image against Volume Descriptor fields
isomd5sumNix package
Utilities for working with md5sum implanted in ISO images
ispellNix package
Interactive spell-checking program for Unix
ispikeNix package
Spiking neural interface between iCub and a spiking neural simulator
iSponsorBlockTVNix package
SponsorBlock client for all YouTube TV clients
isrcsubmitNix package
Script to submit ISRCs from disc to MusicBrainz
istioctlNix package
Istio configuration command line utility for service operators to debug and diagnose their Istio m…