|
idump
|
0.2.0-1 |
4 |
0.00
|
tiny image viewer for framebuffer |
kleintux
|
2022-09-14 00:19 (UTC) |
|
idsk
|
0.20-1 |
3 |
0.00
|
A tool for managing Amstrad CPC DSK images |
Morn
|
2021-09-20 14:32 (UTC) |
|
ids-peak-ueyetl
|
2.7.0-1 |
0 |
0.00
|
IDS peak is a modern, free software development kit for all USB3 Vision and GigE Vision compliant industrial cameras from any manufacturer. (Version with uEye transport layer) |
Sir-Photch
|
2024-01-10 16:12 (UTC) |
|
ids-peak
|
2.9.0-1 |
4 |
0.35
|
IDS peak is a modern, free software development kit for all USB3 Vision and GigE Vision compliant industrial cameras from any manufacturer. |
hgaiser
|
2024-04-14 20:33 (UTC) |
|
idrt-git
|
20210111_d6da738-1 |
0 |
0.00
|
An application intended to hold your web-based messaging-applications (or any other single page application) |
hpotter02
|
2021-01-11 02:47 (UTC) |
|
idris2-toml-idr-git
|
latest-1 |
1 |
0.49
|
A TOML parser for Idris 2 |
MithicSpirit
|
2024-03-11 16:11 (UTC) |
|
idris2-pack-git
|
latest-2 |
1 |
0.49
|
An Idris2 package manager with curated package collections |
MithicSpirit
|
2024-03-12 01:52 (UTC) |
|
idris2-lsp-lib-git
|
latest-1 |
1 |
0.49
|
LSP Library for Idris2 |
MithicSpirit
|
2024-03-01 18:59 (UTC) |
|
idris2-lsp-git
|
latest-3 |
1 |
0.00
|
Language Server for Idris2 |
MithicSpirit
|
2024-03-10 03:13 (UTC) |
|
idris2-git
|
latest-3 |
3 |
0.01
|
A purely functional programming language with first class types |
CodingCellist
|
2024-03-01 16:40 (UTC) |
|
idris2-filepath-git
|
latest-1 |
1 |
0.49
|
Unix style file paths in Idris2 |
MithicSpirit
|
2024-03-11 16:10 (UTC) |
|
idris2
|
0.6.0-2 |
6 |
0.43
|
Functional Programming Language with Dependent Types |
mb64
|
2022-11-11 10:03 (UTC) |
|
idris-sdl-git
|
28.c71dd53-1 |
1 |
0.00
|
SDL bindings package for Idris. |
pdxleif
|
2015-10-06 03:05 (UTC) |
|
idris-lightyear-git
|
122.04e8747-1 |
0 |
0.00
|
Parser combinators for Idris |
pdxleif
|
2015-12-22 21:35 (UTC) |
|
idp-ide
|
2.0.1-5 |
1 |
0.00
|
IDP Knowledge Base System editor |
VadeveSi
|
2020-09-12 06:29 (UTC) |
|
idp
|
3.7.1-1 |
1 |
0.00
|
Knowledge Base System |
VadeveSi
|
2018-10-08 13:43 (UTC) |
|
idos-timetable-tariff-chaps-trains-cz+sk-latest
|
2024_3_22-3 |
1 |
0.00
|
Tariff data for the timetable search engines by CHAPS: Czech ans Slovak trains. |
dreieck
|
2024-03-24 15:24 (UTC) |
|
idos-timetable-tariff-chaps-all-latest
|
2024_03_22-3 |
1 |
0.00
|
Tariff data for the timetable search engines by CHAPS: Czech/Slovak trains + bus, Czech public transport. Note that some data need the purchased version of IDOS to run. |
dreieck
|
2024-03-24 15:24 (UTC) |
|
idos-timetable-maps-chaps-trains-europe-latest
|
2024_1_15-3 |
1 |
0.00
|
Map data for the timetable search engines by CHAPS: European railway. |
dreieck
|
2024-03-24 15:24 (UTC) |
|
idos-timetable-maps-chaps-all-latest
|
2024_03_15-3 |
1 |
0.00
|
Map data for the timetable search engines by CHAPS: European railway, Czech/Slovak trains + bus, Czech public transport. Note that some timetables need the purchased version of IDOS to run. |
dreieck
|
2024-03-24 15:24 (UTC) |
|
idos-timetable-data-zsr-sk-2024-latest
|
1:2024_03_22-3 |
0 |
0.00
|
2023/2024 Timetable data for the offline railway and other public transport timetable search engines by CHAPS: Slovak train data, provided by Inprop (Slovakia). |
dreieck
|
2024-03-24 15:23 (UTC) |
|
idos-timetable-data-zsr-sk
|
2024-1 |
0 |
0.00
|
Metapackage designed to depend on the latest idos-timetable-data-zsr-sk data package. |
dreieck
|
2024-01-14 23:07 (UTC) |
|
idos-timetable-data-zsr-europe+sk-2024-latest
|
1:2024_03_22-1 |
0 |
0.00
|
2023/2024 Timetable data for the offline railway and other public transport timetable search engines by CHAPS: European and Slovak train data, provided by Inprop (Slovakia). |
dreieck
|
2024-03-24 15:23 (UTC) |
|
idos-timetable-data-zsr-europe+sk
|
2024-1 |
0 |
0.00
|
Metapackage designed to depend on the latest idos-timetable-data-zsr-europe+sk data package. |
dreieck
|
2024-01-14 23:03 (UTC) |
|
idos-timetable-data-inprop-mhd-sk-all-latest
|
2024_03_22-1 |
1 |
0.00
|
Public transport data of many Slovak cities for the IDOS timetable browser, data provided by INPROP. |
dreieck
|
2024-03-24 15:23 (UTC) |
|
idos-timetable-data-chaps-trains-pid-2024-latest
|
2024_03_22-5 |
0 |
0.00
|
2023/2024 Timetable data for the timetable search engines by CHAPS: Trains in Praha public transport reagion (PID). |
dreieck
|
2024-03-24 15:21 (UTC) |
|
idos-timetable-data-chaps-trains-pid-2023-latest
|
2023_10_31-3 |
1 |
0.08
|
2022/2023 Timetable data for the timetable search engines by CHAPS: Trains in Praha public transport reagion (PID). |
dreieck
|
2023-10-31 17:03 (UTC) |
|
idos-timetable-data-chaps-trains-pid
|
2024-2 |
0 |
0.00
|
Metapackage designed to depend on the latest idos-timetable-data-chaps-trains-pid data package. |
dreieck
|
2024-01-14 22:50 (UTC) |
|
idos-timetable-data-chaps-trains-odis-2024-latest
|
2024_03_22-3 |
0 |
0.00
|
2023/2024 Timetable data for the timetable search engines by CHAPS: Trains in Ostrava public transport reagion (ODIS). Note that this timetable needs the purchased version of IDOS to run. |
dreieck
|
2024-03-24 15:20 (UTC) |
|
idos-timetable-data-chaps-trains-odis
|
2024-1 |
0 |
0.00
|
Metapackage designed to depend on the latest idos-timetable-data-chaps-trains-odis data package. |
dreieck
|
2024-01-14 22:48 (UTC) |
|
idos-timetable-data-chaps-trains-idol-2024-latest
|
2024_03_22-3 |
0 |
0.00
|
2023/2024 Timetable data for the timetable search engines by CHAPS: Trains in Liberec public transport reagion (IDOL). Note that this timetable needs the purchased version of IDOS to run. |
dreieck
|
2024-03-24 15:20 (UTC) |
|
idos-timetable-data-chaps-trains-idol
|
2024-1 |
0 |
0.00
|
Metapackage designed to depend on the latest idos-timetable-data-chaps-trains-idol data package. |
dreieck
|
2024-01-14 22:45 (UTC) |
|
idos-timetable-data-chaps-trains-europe-2024-latest
|
2024_03_22-6 |
0 |
0.00
|
2023/2024 Timetable data for the timetable search engines by CHAPS: European trains. |
dreieck
|
2024-03-24 15:20 (UTC) |
|
idos-timetable-data-chaps-trains-europe-2016-latest
|
2016_08_06-6 |
0 |
0.00
|
2015/2016 Timetable data for the timetable search engines by CHAPS: European trains. |
dreieck
|
2023-09-04 12:34 (UTC) |
|
idos-timetable-data-chaps-trains-europe
|
2024-3 |
0 |
0.00
|
Metapackage designed to depend on the latest idos-timetable-data-chaps-trains-europe data package. |
dreieck
|
2024-01-14 22:35 (UTC) |
|
idos-timetable-data-chaps-trains-cz-2024-latest
|
2024_04_16-4 |
0 |
0.00
|
2023/2024 Timetable data for the timetable search engines by CHAPS: Czech trains. |
dreieck
|
2024-04-16 11:02 (UTC) |
|
idos-timetable-data-chaps-trains-cz-2016-latest
|
2016_08_05-7 |
0 |
0.00
|
2015/2016 Timetable data for the timetable search engines by CHAPS: Czech trains. |
dreieck
|
2024-04-11 13:52 (UTC) |
|
idos-timetable-data-chaps-trains-cz
|
2024-1 |
0 |
0.00
|
Metapackage designed to depend on the latest idos-timetable-data-chaps-trains-cz data package. |
dreieck
|
2024-01-14 20:32 (UTC) |
|
idos-timetable-data-chaps-trains-common-latest
|
2024_04_16-2 |
0 |
0.00
|
Common files needed for train timetable data for the timetable search engines by CHAPS. |
dreieck
|
2024-04-16 11:03 (UTC) |
|
idos-timetable-data-chaps-all-latest
|
2024_03_22-2 |
1 |
0.00
|
Timetable data for the timetable search engines by CHAPS: European railway, Czech/Slovak trains + bus, Czech public transport, some air transport. Note that some timetables need the purchased version of IDOS to run. |
dreieck
|
2024-03-24 15:19 (UTC) |
|
idos-timetable-browser-license-installer-latest
|
2:2023_2024-1 |
1 |
0.00
|
If you purchased IDOS for Windows by CHAPS, then this installs the license. You need to enter your ZIP-extraction-code and your setup-code during installation. Runs an interactive GUI software via wine during installation. |
dreieck
|
2024-01-14 23:12 (UTC) |
|
idos-timetable-browser-latest
|
1.30_lib2.11.0.0_date2023_06_08-5 |
1 |
0.00
|
Offline railway and other public transport timetable search engine by CHAPS. (Czech language by default.) |
dreieck
|
2024-01-14 22:30 (UTC) |
|
idos-timetable-additionalinfo-chaps-trains-latest
|
2023_12_19-5 |
0 |
0.00
|
Links for additional information on Czech trains and railway stations, to be used with the timetable search engines by CHAPS. |
dreieck
|
2024-03-24 15:16 (UTC) |
|
idos-timetable-additionalinfo-chaps-trains-2022
|
2022_04_05-1 |
0 |
0.00
|
Links for additional information on Czech trains and railway stations, to be used with the timetable search engines by CHAPS. Data from 2022. |
dreieck
|
2024-01-14 22:26 (UTC) |
|
idos-timetable-additionalinfo-chaps-mhd-pid-latest
|
2023_11_10-3 |
1 |
0.00
|
Photographs of some stops within the PID (Praha region) public transport area, to be used with the timetable search engines by CHAPS. |
dreieck
|
2023-12-12 17:00 (UTC) |
|
idos-timetable-additionalinfo-chaps-mhd-odis-latest
|
2021_1_11-3 |
1 |
0.00
|
Links with information on the changes, fare, point of sale, etc. for public transport within the ODIS (Ostrava region) public transport area, to be used with the timetable search engines by CHAPS. |
dreieck
|
2023-09-04 12:32 (UTC) |
|
idos-timetable-additionalinfo-chaps-bus-latest
|
2019_07_23-3 |
1 |
0.00
|
Floor plans of some Czech bus stations/ stops, to be used with the timetable search engines by CHAPS. |
dreieck
|
2023-09-04 12:32 (UTC) |
|
idos-timetable-additionalinfo-chaps-all
|
1.0-7 |
1 |
0.00
|
Metapackage depending on all the idos-timetable-additionalinfo-chaps-* additional information packages. |
dreieck
|
2023-09-04 12:31 (UTC) |
|
idos-package-updater-script
|
20240403.1-1 |
0 |
0.00
|
Bash script which automates the process of updating installed IDOS timetable browser related packages by reinstalling and thus fetching the newest version. |
dreieck
|
2024-04-03 13:00 (UTC) |
|
idokremote-git
|
r131.dd279f5-1 |
0 |
0.00
|
Remote for Kodi |
the3dman
|
2022-02-27 03:49 (UTC) |