MyNixOS website logo
categories

by-name/is

Showing entries 1-5 out of 5.
isabelleis/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
isisdlNix package
Downloader for ISIS of TU-Berlin