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