uppaal-beta
|
5.1.0_beta5-2 |
0 |
0.00
|
Verify timed automata models and learn strategies. Beta release channel. |
falkecarlsen
|
2024-03-07 09:20 (UTC) |
uppaal
|
5.0.0-3 |
0 |
0.00
|
Verify timed automata models and learn strategies. |
falkecarlsen
|
2024-03-07 09:19 (UTC) |
unarc-git
|
r1.adc333d-1 |
0 |
0.00
|
Unpacker for ArC (FreeArc) archives ('ArC\1' header) |
absrdspc
|
2023-04-08 13:29 (UTC) |
ugrep-git
|
2.0.2.r1.gc47f5c5-1 |
0 |
0.00
|
Ultra fast interactive searcher of file systems, text and binary files, source code, archives, compressed files, documents, and more. |
aksr
|
2020-04-22 03:42 (UTC) |
ufoai-git
|
1:2.6.45213.9b2eab2222-1 |
0 |
0.00
|
In UFO: Alien Invasion you fight aliens trying to capture Earth (dev version) |
darkfm
|
2023-02-22 02:32 (UTC) |
udhcpc
|
1.31.1-1 |
0 |
0.00
|
Udhcpc is a very small DHCP client program geared towards embedded systems |
matthiasklein
|
2020-08-26 14:53 (UTC) |
ucg-git
|
0.2.1.r0.g5241710-1 |
1 |
0.00
|
fast grep-like tool specialized for searching large bodies of source code |
aksr
|
2016-02-11 13:28 (UTC) |
twombit
|
1.0.5-1 |
2 |
0.00
|
A cycle/bus accurate emulator for Sega's 8-bit game consoles (Master System, Gamegear, SG-1000) |
sperg512
|
2020-09-19 22:43 (UTC) |
tvm
|
0.15.dev0.57.g108377452e-1 |
0 |
0.00
|
Apache TVM, a deep learning compiler that enables access to high-performance machine learning anywhere for everyone |
entshuld
|
2023-11-11 23:22 (UTC) |
tuxi-git
|
r320.2b7ef7d-1 |
8 |
0.00
|
A CLI tool that scrapes Google search results and SERPs to provide instant and concise answers |
tdy
|
2021-03-27 00:35 (UTC) |
tuterm
|
0.3.0-3 |
1 |
0.00
|
A better way to learn CLI programs. |
veracioux
|
2022-02-27 06:34 (UTC) |
tunneltanks-git
|
r74.44cf228-4 |
0 |
0.00
|
SDL remake of the early 90's tank game Tunneler |
jose1711
|
2021-11-16 19:46 (UTC) |
tunnelbear
|
1.0-2 |
8 |
0.00
|
TunnelBear configuration for Linux |
flops
|
2018-05-01 22:47 (UTC) |
tumelune
|
0.15.0-1 |
0 |
0.00
|
a simple program to browse and search in twitter and mastodon archives |
ariasuni
|
2024-02-11 00:12 (UTC) |
ttf-pizzadude-bullets
|
2.0-3 |
35 |
0.00
|
A dingbats-style symbolic font that displays happy faces, stars, arrows, eyes, hearts, and more. |
bchretien
|
2015-10-29 01:26 (UTC) |
ttf-monotype-corsiva
|
1-1 |
0 |
0.00
|
An italic typeface made in the style of the early Italian cursives |
atticf
|
2022-06-11 16:59 (UTC) |
ttf-miriam-libre
|
1.0-1 |
0 |
0.00
|
Miriam Libre is a mono-linear Hebrew and Latin sans serif font family. |
Tommykark
|
2020-09-21 10:33 (UTC) |
ttf-lxgw-heart-serif
|
0.920.5-2 |
0 |
0.00
|
「霞鹜铭心宋」,在「こころ明朝体」的基础上修改制作,将新致宋字面横向压缩 85%,并增加圆角,更加清瘦、圆润。 |
lakejason0
|
2024-04-23 05:17 (UTC) |
ttf-gabarito-git
|
v1.000.r8.g1f3fb39-1 |
0 |
0.00
|
A light-hearted geometric sans typeface with 6 weights |
Soramane
|
2024-04-16 10:13 (UTC) |
ttf-fanwood
|
20160215-4 |
8 |
0.00
|
A serif based on the work of a famous Czech-American type designer of yesteryear |
lightdot
|
2024-03-28 04:43 (UTC) |
ttf-fakepearl-git
|
1.1.r31.1bb7821-1 |
0 |
0.00
|
A free font family derived from open-huninn-font. |
mochaa
|
2022-01-16 20:57 (UTC) |
ttf-clear-sans
|
1.00-3 |
31 |
0.00
|
A versatile OpenType font for screen, print and Web |
aperez
|
2019-10-28 23:10 (UTC) |
ttf-borders-divide
|
1.000-2 |
0 |
0.00
|
TrueType Font: Borders Divide, But Hearts Shall Conquer |
xiota
|
2024-03-04 10:11 (UTC) |
ttf-apple-kid
|
1-1 |
0 |
0.00
|
EarthBound Text Box Font |
Sterophonick
|
2021-11-19 03:07 (UTC) |
trunk-lwt-bin
|
0.0.4-1 |
0 |
0.00
|
Language learning application. |
AronYoung
|
2023-06-23 13:19 (UTC) |
treeleaves-git
|
0.3.1-1 |
0 |
0.00
|
Directory based file tag generator and search tool |
jmd
|
2022-05-09 09:44 (UTC) |
trauma
|
3-4 |
9 |
0.00
|
TRAUMA is a unique photographic experience by game designer Krystian Majewski. Dive into the mind of a traumatized young woman to learn and understand. |
dcelasun
|
2015-06-08 10:26 (UTC) |
trans-glxgears-git
|
r29.f42d103-1 |
0 |
0.00
|
Transgender recolor of the glxgears mesa demo |
zulc22
|
2024-04-17 16:34 (UTC) |
trane
|
0.19.0-1 |
0 |
0.00
|
Automated system for learning complex skills |
Vvyibaba
|
2023-11-28 19:34 (UTC) |
tracker-git
|
3.6.alpha+r8+gcd7814bb9-1 |
0 |
0.00
|
Desktop-neutral user information store, search tool and indexer |
orphan
|
2023-07-06 20:46 (UTC) |
tracker-docs-git
|
3.6.alpha+r8+gcd7814bb9-1 |
0 |
0.00
|
Desktop-neutral user information store, search tool and indexer (documentation) |
orphan
|
2023-07-06 20:46 (UTC) |
track-o-bot-git
|
0.2.1.r518.ga6d45ab-1 |
6 |
0.00
|
Track-o-Bot is a small, easy-to-use app which automatically tracks your Hearthstone matches. No packet sniffing, just parsing HS logs. |
Fanch
|
2017-10-18 18:32 (UTC) |
totk-mod-manager-bin
|
0.9.7-2 |
0 |
0.00
|
Open-source application, designed to assist players of Zelda: Tears of the Kingdom on the Yuzu emulator in managing mods for the game |
jclsn
|
2024-03-25 21:37 (UTC) |
torrentinim-bin
|
v0.3.1-1 |
0 |
0.00
|
Torrentinim is a self-hosted API-only, low memory footprint, torrent search engine and crawler. |
iamd3vil
|
2021-08-10 04:17 (UTC) |
torrentflix
|
9.0.7-8 |
11 |
0.00
|
Nodejs cli app to search torrent sites and stream using peerflix |
BachoSeven
|
2021-10-15 09:51 (UTC) |
topbeat-bin
|
1.3.1-1 |
0 |
0.00
|
An open source server monitoring agent that stores metrics in Elasticsearch (precompiled) |
leothrix
|
2017-02-11 04:43 (UTC) |
tomenet
|
4.7.1a-1 |
1 |
0.00
|
Middle-Earth based roguelike multiplayer |
TheZeus121
|
2017-12-07 07:10 (UTC) |
tiny-dnn-git
|
1.0.0a3.r246.gc0f576f5-1 |
0 |
0.00
|
A C++11 implementation of deep learning for limited computational resource, embedded systems and IoT devices (git version) |
dbermond
|
2018-12-29 18:02 (UTC) |
tiny-dnn
|
1.0.0a3-4 |
2 |
0.00
|
A C++11 implementation of deep learning for limited computational resource, embedded systems and IoT devices |
dbermond
|
2018-12-29 18:02 (UTC) |
timblserver
|
1.18-1 |
2 |
0.00
|
Tilburg Memory Based Learner Server. |
proycon
|
2023-12-05 14:52 (UTC) |
timbl
|
6.9-1 |
3 |
0.00
|
Tilburg Memory-Based Learner, implementations of k-nearest neighbour classification |
proycon
|
2023-10-31 11:00 (UTC) |
the_silver_searcher_wild-git
|
2.2.0.r195.gab8bbc3-1 |
0 |
0.00
|
Allen Wild's fork of ag, which supports pcre2 and .agrc user config |
aswild
|
2019-10-28 01:34 (UTC) |
theheartbeat
|
2.0-1 |
0 |
0.00
|
System Monitor |
vicr123
|
2023-07-18 11:08 (UTC) |
thebear-git
|
20140225-1 |
1 |
0.00
|
a web front end to aria2. |
yhfudev
|
2015-06-09 16:37 (UTC) |
terragear-git
|
20150716-1 |
5 |
0.00
|
TerraGear is a collection of open-source tools and rendering libraries which can transform publically available GIS data in 3D representations (i.e. 3D models or 3D maps) of the earth for use in real time rendering projects. |
nic96
|
2015-09-02 02:09 (UTC) |
terrafs-git
|
r3.20180714.fd20891-1 |
0 |
0.00
|
A fuse base file system for FlightGear scenery. |
dreieck
|
2023-10-31 19:19 (UTC) |
tensorflow-model-server-git
|
1.10-1 |
0 |
0.00
|
A flexible, high-performance serving system for machine learning models |
happyslowly
|
2018-08-16 22:23 (UTC) |
tensorflow-model-server-cuda-git
|
1.10-1 |
0 |
0.00
|
A flexible, high-performance serving system for machine learning models |
happyslowly
|
2018-08-16 22:19 (UTC) |
tensorflow-git
|
1.12.1+54837+g03796cf1dda-1 |
2 |
0.00
|
Library for computation using data flow graphs for scalable machine learning (with CPU optimizations) |
orphan
|
2021-04-14 00:37 (UTC) |
tensorflow-cuda-git
|
1.12.1+54837+g03796cf1dda-1 |
2 |
0.00
|
Library for computation using data flow graphs for scalable machine learning (with CUDA) |
orphan
|
2021-04-14 00:37 (UTC) |