|
isabelle-tum
|
2021_1-1 |
1 |
0.00
|
A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Release mirror: TUM. |
MW360
|
2021-12-13 23:15 (UTC) |
|
isa-l_crypto
|
2.24.0-1 |
1 |
0.00
|
A collection of optimized low-level functions targeting storage applications |
afsio
|
2021-04-30 00:30 (UTC) |
|
irstlm-git
|
r108.5ded9e3-1 |
1 |
0.00
|
IRSTLM Toolkit |
sandsmark
|
2020-06-06 18:00 (UTC) |
|
irslackd-git
|
r155.9aaf4e4-1 |
1 |
0.00
|
A self-hosted IRC gateway to Slack |
jgwak
|
2019-11-18 19:56 (UTC) |
|
irrlamb-git
|
r652-1 |
1 |
0.00
|
A 3D game that probably involves a lot of physics and frustrating gameplay. |
jazztickets
|
2022-09-29 22:46 (UTC) |
|
irrdynamics
|
14.44650ee-1 |
1 |
0.00
|
A light-weight Bullet Physics wrapper for the Irrlicht graphics engine |
polylux
|
2023-11-28 18:41 (UTC) |
|
irqbalance-openrc
|
1.9.2-3 |
1 |
0.21
|
Daemon that distributes interrupts over the processors |
anima
|
2023-10-09 00:22 (UTC) |
|
irony-mode
|
1.6.1-1 |
1 |
0.00
|
A C/C++ minor mode for Emacs powered by libclang |
adsun
|
2023-10-19 01:34 (UTC) |
|
ironwail
|
0.7.0-4 |
1 |
0.00
|
A fork of the popular GLQuake descendant QuakeSpasm with a focus on high performance instead of maximum compatibility, with a few extra features sprinkled on top. |
Rush
|
2023-04-02 03:21 (UTC) |
|
ironpython
|
2.7.5-3 |
1 |
0.00
|
Python implementation for the .NET framework |
dundee
|
2017-07-06 19:00 (UTC) |
|
ironclad-tactics-hib
|
1-1 |
1 |
0.00
|
a fast-paced, card-based tactics game set in an alternate history Civil War – with steam-powered military robots (Humble Bundle version) |
XZS
|
2015-07-01 13:32 (UTC) |
|
iroh-git
|
0.5.1-1 |
1 |
0.00
|
An Implementation IPFS in Rust |
Jon_Osterman
|
2023-09-01 22:23 (UTC) |
|
iroh
|
0.12.0-1 |
1 |
0.16
|
IPFS reimagined |
vorot93
|
2024-01-14 08:03 (UTC) |
|
iris-flower
|
1.0-1 |
1 |
0.00
|
Eye protection utility. Change brightness, color temperature and color scheme on X11 |
ueberchild
|
2019-06-29 06:15 (UTC) |
|
irexec-systemd
|
1.1-1 |
1 |
0.00
|
Service files for running irexec as systemd (user) service |
muesli4
|
2017-03-08 22:58 (UTC) |
|
iredis-bin
|
1.15.0-1 |
1 |
0.00
|
A Terminal Client for Redis with AutoCompletion and Syntax Highlighting |
dharrigan
|
2024-04-15 09:35 (UTC) |
|
iredis
|
1.15.0-1 |
1 |
0.00
|
Terminal client for Redis with auto-completion and syntax highlighting. |
a-wing
|
2024-04-15 12:55 (UTC) |
|
ircd-ratbox
|
3.0.10-3 |
1 |
0.00
|
An advanced, stable and fast ircd |
prurigro
|
2021-07-20 15:19 (UTC) |
|
ircc
|
0.1.0-1 |
1 |
0.00
|
A Minimal Curses IRC Client |
depsterr
|
2020-05-19 21:22 (UTC) |
|
irc-uberbot-git
|
0.3.r36.g8f4e3f7-2 |
1 |
0.00
|
General purpose IRC bot developed by Lemon.sh |
lemonsh
|
2023-06-14 23:44 (UTC) |
|
irc-slack-git
|
20191027-1 |
1 |
0.00
|
IRC-to-Slack gateway |
jgwak
|
2019-11-18 19:58 (UTC) |
|
iraf-bin
|
2.18-1 |
1 |
0.02
|
IRAF - Image Reduction and Analysis Facility |
Heptazhou
|
2024-04-07 21:40 (UTC) |
|
iraf-noao-bin
|
2.18-1 |
1 |
0.02
|
IRAF - Image Reduction and Analysis Facility |
Heptazhou
|
2024-04-07 21:40 (UTC) |
|
iqmol
|
2.14-1 |
1 |
0.00
|
A molecular editor and visualization package with Q-Chem integration |
berquist
|
2020-03-22 17:24 (UTC) |
|
ipython-yf-git
|
r10.dd488d0-3 |
1 |
0.00
|
An ipython extension to make it asyncio compatible |
net147
|
2022-04-10 11:36 (UTC) |
|
ipwatchd-gnotify
|
1.0.1-1 |
1 |
0.00
|
IP conflict notification for Gnome desktops |
severach
|
2015-11-01 23:11 (UTC) |
|
ipwatchd
|
1.3.0-1 |
1 |
0.00
|
IP conflict detection daemon |
severach
|
2018-09-12 22:48 (UTC) |
|
ipwaiter-git
|
r112.e95e82c-1 |
1 |
0.00
|
ipwaiter serves iptables |
orphan
|
2019-01-23 04:25 (UTC) |
|
iputils-git
|
20240117.r11.g3400f3a-1 |
1 |
0.00
|
Network monitoring tools, including ping |
Chocobo1
|
2024-03-08 12:15 (UTC) |
|
ipt_ndpi
|
1.2_4.9.0.4970.61f4d586c-1 |
1 |
0.00
|
nDPI as netfilter extension. |
k0ste
|
2024-03-06 10:23 (UTC) |
|
iptvnator-electron-bin
|
0.15.1-1 |
1 |
0.01
|
Cross-platform IPTV player application with multiple features, such as support of m3u and m3u8 playlists, favorites, TV guide, TV archive/catchup and more.Use system electron. |
zxp19821005
|
2024-03-25 03:39 (UTC) |
|
iptvnator-appimage
|
0.15.1-1 |
1 |
0.00
|
Cross-platform IPTV player app, supports m3u+m3u8 playlists, favorites, TV guide, TV archive/catchup and more |
nikost74
|
2024-03-25 09:29 (UTC) |
|
ipsw-bin
|
3.1.472-1 |
1 |
0.10
|
iOS/macOS Research Swiss Army Knife |
blacktop
|
2024-04-18 18:43 (UTC) |
|
ips
|
0.3.3-1 |
1 |
0.16
|
IP geolocation databases tool and library. |
devome
|
2024-04-10 16:26 (UTC) |
|
ippusbxd
|
1.34-2 |
1 |
0.00
|
IPP-over-USB driver |
orphan
|
2020-06-18 17:07 (UTC) |
|
ippsample-git
|
r1172.52ca490-1 |
1 |
0.00
|
Sample, non-production-ready implementations of IPP Clients, Printers, Proxies, and System |
Tyilo
|
2023-02-27 14:13 (UTC) |
|
ipoibmodemtu
|
1.01-1 |
1 |
0.00
|
Set InfiniBand port modes and MTUs by a systemd service |
jamespharvey20
|
2015-08-04 01:32 (UTC) |
|
ipmap-git
|
0.1.7.r10.gf35da86-1 |
1 |
0.00
|
An interactive map that shows connected IP addresses |
defunctlizard
|
2021-01-16 00:40 (UTC) |
|
iphonebackuptools
|
4.0.1-1 |
1 |
0.00
|
Extract messages, notes, photo locations and more from unencrypted iOS backups |
graysky
|
2022-05-05 18:16 (UTC) |
|
ipgw-bin
|
1:0.1.3-1 |
1 |
0.00
|
Northeastern University Gateway Client |
orphan
|
2021-04-13 05:57 (UTC) |
|
ipget-bin
|
0.9.1-1 |
1 |
0.00
|
wget for IPFS: retrieve files over IPFS and save them locally. Binary Version (Requires working go-ipfs) |
EndlessEden
|
2022-11-28 04:18 (UTC) |
|
ipfs-dlagent
|
0.1-1 |
1 |
0.00
|
makepkg download agent for IPFS URIs. |
tallero
|
2023-04-28 03:19 (UTC) |
|
ipfs-desktop-electron-bin
|
0.34.0-1 |
1 |
0.01
|
An unobtrusive and user-friendly desktop application for IPFS on Windows, Mac and Linux. |
AsukaMinato
|
2024-04-07 04:58 (UTC) |
|
ipfs-desktop-electron
|
0.32.0-1 |
1 |
1.00
|
Desktop client for the InterPlanetary File System |
huyz
|
2024-01-06 02:27 (UTC) |
|
ipetitions-bot
|
1.4-1 |
1 |
0.00
|
A bot to get signatures for iPetitions |
Raymo111
|
2021-08-18 23:07 (UTC) |
|
ioztat
|
2.0.1-1 |
1 |
0.00
|
storage load analysis tool for OpenZFS |
codyps
|
2022-05-09 21:26 (UTC) |
|
iotacooler
|
1.1-3 |
1 |
0.00
|
Cold transaction signer for IOTA |
joshirio
|
2019-03-11 09:32 (UTC) |
|
iosevka-generate
|
0.5.0-1 |
1 |
0.00
|
A tool to generate custom Iosevka fonts from a configuration file |
OJFord
|
2024-02-11 02:34 (UTC) |
|
ioschedset
|
1.1.0-1 |
1 |
0.00
|
Commandline tools to query and/or set the I/O schedulers for block devices on Linux systems. |
kata198
|
2018-12-11 23:11 (UTC) |
|
ios-mount-git
|
r19.771a471-1 |
1 |
0.00
|
Utility script to mount iOS photos and app files on linux, built around ifuse |
WillyJL
|
2022-05-25 10:44 (UTC) |