twelf-git
|
20130819-4 |
1 |
0.00
|
An implementation of the logical framework LF |
soimort
|
2021-01-23 20:24 (UTC) |
twad-git
|
0.22.1.3-1 |
2 |
0.00
|
Manage DOOM engines and mods with the terminal wad launcher |
smnpl
|
2024-05-30 05:51 (UTC) |
tvsm-git
|
r306.64c0f52-1 |
0 |
0.00
|
A simple command-line TV show manager |
orphan
|
2020-07-19 01:31 (UTC) |
tvision-git
|
586.r553.gbb98e5f-1 |
0 |
0.00
|
Modern port of Turbo Vision 2.0 with cross-platform and Unicode support |
marcomania
|
2023-02-24 19:15 (UTC) |
tvheadend-git
|
4.3.r2300.g1212b94-1 |
28 |
0.00
|
TV streaming server and DVR |
willemw
|
2024-03-17 09:31 (UTC) |
tvdoon-git
|
r3.69640c1-1 |
3 |
0.00
|
Show Information About Tv Show's, Ratings And So Many Cool Fatures! |
linarcx
|
2017-03-29 13:49 (UTC) |
tv-overlord-git
|
r449.df545ec-1 |
0 |
0.00
|
Download and manage TV shows |
willemw
|
2024-03-10 18:32 (UTC) |
tuxtype-git
|
r515.b495eb9-1 |
1 |
0.00
|
An educational typing tutorial game starring Tux |
lilmike
|
2019-07-28 04:00 (UTC) |
tuxpaint-stamps-git
|
1620.97c9e761e-1 |
5 |
0.00
|
Additional stamps for Tux Paint, git-version |
eugene
|
2021-12-02 14:35 (UTC) |
tuxpaint-git
|
4529.ff9d8d08-1 |
7 |
0.00
|
A free drawing program designed for young children. Checkout from git |
eugene
|
2023-04-06 06:09 (UTC) |
tuxmath-git
|
r989.63bfc8a-3 |
0 |
0.00
|
An arcade game that helps kids practice their math facts |
lilmike
|
2019-07-28 03:43 (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) |
tuxemon-git
|
0.4.33.r47.gee807080-1 |
6 |
0.00
|
A free, open source monster-fighting RPG. |
orphan
|
2022-01-19 21:16 (UTC) |
tuxedo-drivers-xmg-dkms-git
|
v4.4.2.r4.g03da958-1 |
0 |
0.00
|
TUXEDO Computers kernel module drivers for keyboard, keyboard backlight & general hardware I/O using the SysFS interface |
effeffe
|
2024-04-29 14:52 (UTC) |
tuxedo-backlight-control-git
|
0.7.r14.gde724d7-2 |
2 |
0.00
|
GUI utility built on top of TUXEDO Keyboard. Provides a bash CLI (backlight) and a minimal Python UI. |
Buddy-Matt
|
2021-06-19 23:30 (UTC) |
tuxcmd-modules-git
|
0.6.74.r10.gbc2840a-1 |
9 |
0.00
|
Modules for Tux Commander - git checkout |
eworm
|
2015-06-29 17:34 (UTC) |
tuxcmd-git
|
0.6.78.r5.ged0d989-1 |
6 |
0.00
|
A GTK2 file manager with two panels - git checkout |
eworm
|
2015-06-29 17:33 (UTC) |
tuxclocker-git
|
1.5.0.r638.d1d7d84-1 |
3 |
0.05
|
A hardware controlling and monitoring program for GPUs and CPUs |
maintuner
|
2024-01-28 22:08 (UTC) |
tuxboot-git
|
0.8.r2.gfced5c1-1 |
7 |
0.00
|
A tool that helps you to create a bootable Live USB drive for Clonezilla live, DRBL live, GParted live and Tux2live. Development version |
ava1ar
|
2015-06-17 04:49 (UTC) |
tuxboard-git
|
0.0.1-1 |
0 |
0.00
|
Simple drawing and writing application for Linux to be used with pen tablets |
graele84
|
2022-02-17 20:55 (UTC) |
tux-git
|
r170.a33c631-1 |
1 |
0.00
|
A 3D platform game featuring the famous Linux mascot. |
morsmortium
|
2023-09-08 21:55 (UTC) |
tuterm-git
|
r67.8764bf3-1 |
0 |
0.00
|
A framework for real-time tutorials and demonstrations of CLI programs |
veracioux
|
2022-02-26 20:32 (UTC) |
tutch-git
|
r3.b199eff-1 |
0 |
0.00
|
tutch is a tool for checking constructive proofs |
rmanne
|
2015-09-28 12:16 (UTC) |
turtlico-git
|
0.5.0.r107.g043b23c-1 |
0 |
0.00
|
The easy programming tool |
orphan
|
2021-10-24 09:16 (UTC) |
turtlecoin-git
|
r2232.a7df2cf3-1 |
1 |
0.00
|
TurtleCoin daemon, CLI wallet, RPC interface, and solo miner |
wreiner
|
2020-10-08 21:55 (UTC) |
turtle-git
|
0.9.r0.gd542f7f-3 |
0 |
0.00
|
Manage your git repositories with easy-to-use dialogs in Nautilus. |
yochananmarqos
|
2024-06-01 15:29 (UTC) |
turtle
|
0.8-3 |
0 |
0.00
|
Manage your git repositories with easy-to-use dialogs in Nautilus. |
yochananmarqos
|
2024-06-01 15:30 (UTC) |
turtl-server-git
|
r211.babccca-3 |
1 |
0.00
|
The secure, collaborative notebook's server |
owentrigueros
|
2019-07-05 11:10 (UTC) |
turses-git
|
780.b9992b7-1 |
1 |
0.00
|
ncurses Twitter client |
louipc
|
2017-07-06 23:52 (UTC) |
turkish-deasciifier-git
|
r69.665154c-1 |
1 |
0.00
|
Turkish deasciifier in Python based on Deniz Yüret's turkish-mode for Emacs |
yigits
|
2021-09-26 01:11 (UTC) |
turingarena-git
|
r596.e21ed289-1 |
0 |
0.00
|
A framework to host programming competitions |
orphan
|
2020-01-11 16:05 (UTC) |
turbomem-git
|
r148.9440a14-1 |
1 |
0.00
|
Linux driver for Intel Turbo Memory Controller (Robson) PCIe card |
Florian
|
2024-04-12 14:19 (UTC) |
turbobench-git
|
2023.04.r16.g753b2ab-1 |
0 |
0.00
|
Compressor benchmark program |
Chocobo1
|
2023-04-10 09:06 (UTC) |
turbo-scanner-git
|
0.1.0-3 |
0 |
0.00
|
A port scanner and service detection tool that uses 1000 goroutines at once to scan any hosts's ip or fqdn with the sole purpose of testing your own network to ensure there are no malicious services running. |
taotieren
|
2024-02-17 04:01 (UTC) |
turbo-button-git
|
r3.2b98e03-1 |
1 |
0.00
|
Simple tray app to toggle performance/power preference |
sandsmark
|
2021-01-25 22:24 (UTC) |
turbo-attack-git
|
0.1.0-2 |
0 |
0.00
|
A turbo traffic generator pentesting tool to generate random traffic with random mac and ip addresses in addition to random sequence numbers to a particular ip and port. |
taotieren
|
2024-01-15 08:01 (UTC) |
tupitube.desk-git
|
r1720.2b833c8e-1 |
1 |
0.00
|
A design and authoring tool for digital artists interested in 2D animation. |
orphan
|
2020-06-06 08:14 (UTC) |
tup-git
|
0.7.11.r95.g4e9f5b32-1 |
7 |
0.00
|
A fast, file-based build system |
pica
|
2023-01-30 22:17 (UTC) |
tunsafe-git
|
1.4.r79.g85a871c-1 |
1 |
0.00
|
High performance and secure VPN client that uses the WireGuard protocol |
Chocobo1
|
2023-04-10 09:16 (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) |
tunneller-git
|
release.0.6.r7.gf02ebdb-1 |
0 |
0.00
|
Tunneller allows you to expose services which are running on localhost, or on your local network, to the public internet. |
ManiacTwister
|
2020-02-22 20:17 (UTC) |
tunneler2-git
|
r46.040474e-2 |
0 |
0.00
|
Online-multiplayer game inspired by a DOS classic |
jose1711
|
2021-11-15 19:19 (UTC) |
tunneler-git
|
r2.cd75602-2 |
0 |
0.00
|
port of an old DOS game written using SDL |
jose1711
|
2021-11-15 19:18 (UTC) |
tungsten-renderer-git
|
r963.deaf069-1 |
0 |
0.00
|
High performance physically based renderer |
HoaS
|
2018-05-06 19:52 (UTC) |
tunet-rust-git
|
0.9.1.r78.g06d5329-1 |
0 |
0.00
|
A Tsinghua University network authentication client for Linux, written in Rust. 清华大学校园网 Rust 客户端 |
Integral
|
2024-01-03 21:09 (UTC) |
tunescope-git
|
r3.0c2e5f8-3 |
3 |
0.00
|
An oscilloscope style guitar tuner |
dack
|
2022-07-13 17:55 (UTC) |
tuner-git
|
1.5.1.r61.63fb6d9-3 |
6 |
0.12
|
GNU/Linux app to discover and play internet radio stations. Geared towards RadioBrowser |
pmattern
|
2024-05-30 19:53 (UTC) |
tunefish4-git
|
4.3.0.r107.7e48ce8-3 |
3 |
0.00
|
An additive wavetable-based synthesizer VST plugin (git version) |
SpotlightKid
|
2024-05-21 03:35 (UTC) |
tuned-git
|
2.10.0.r75.g26db89d-4 |
7 |
0.00
|
Daemon that performs monitoring and adaptive configuration of devices in the system |
icebal
|
2019-01-17 18:12 (UTC) |
tundra2-git
|
2.16.3.r0.g39c8633-1 |
0 |
0.00
|
A code build system that tries to be accurate and fast for incremental builds |
orphan
|
2021-11-19 19:43 (UTC) |