Flakes
Categories
Options
Packages
Sign in
MyNixOS
categories
by-name
is
categories
by-name/is
Showing entries 1-5 out of 5.
isabelle
is/isabelle
Nix package categories
cron
Nix package
Daemon for running commands at specific times
isabelle
isabelle
Nix package
A generic proof assistant
iscc
Nix package
Compiler for Inno Setup, a tool for creating Windows installers
isisdl
Nix package
Downloader for ISIS of TU-Berlin
Previous
1
Next