Showing entries 1-25 out of 25.
isabelleby-name/is/isabelle
Daemon for running commands at specific times
Check the internet as fast as possible
Collection of optimised low-level functions targeting storage applications
isabelleisabelle
Generic proof assistant
Compiler for Inno Setup, a tool for creating Windows installers
TUI to interactively work with systemd units
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
Intel 'Single Program, Multiple Data' Compiler, a vectorised language
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
CLI tool to convert GitHub issue into Markdown file
IStat Menus is set of nine separate and highly configurable menu items that let you know exactly w…
Istio configuration command line utility for service operators to debug and diagnose their Istio m…
Free IMAP and MailDir mailbox synchronizer