abella
|
2.0.6-1 |
1 |
0.00
|
Interactive theorem prover |
mgrabovsky
|
2019-01-14 22:04 (UTC) |
abduco-git
|
0.6.27.g8f80aa8-1 |
4 |
0.00
|
A session management and attach/detach functionality (to use together with dvtm(1)). |
aksr
|
2019-02-03 09:52 (UTC) |
abcl-git
|
r3771.91f48d55-1 |
2 |
0.00
|
Full implementation of the Common Lisp language in the JVM |
yitzi
|
2023-12-05 14:05 (UTC) |
abc-git
|
1.01-1 |
1 |
0.00
|
System for Sequential Logic Synthesis and Formal Verification |
orphan
|
2019-09-05 21:48 (UTC) |
aawmtt
|
2.6-1 |
0 |
0.00
|
Another AwesomeWM Testing Tool, with Live Reload and 'proper' display detection |
Curve
|
2023-11-25 23:30 (UTC) |
aarch64-none-elf-gdb
|
13.2-1 |
1 |
0.00
|
The GNU Debugger for the ARM64 Baremetal target |
hatred
|
2023-09-12 07:36 (UTC) |
aarch64-elf-gcc-linaro-bin
|
7.5.0-1 |
1 |
0.00
|
The GNU Compiler Collection - cross compiler for ARM64 EABI (bare-metal) target. |
feherneoh
|
2020-12-27 14:34 (UTC) |
aaflib
|
0.1-1 |
0 |
0.00
|
An implementation of the mathematical construct of affine arithmetics in C++. |
orphan
|
2019-10-08 18:35 (UTC) |
a-john-shots
|
2.0.0-1 |
0 |
0.00
|
A tool to get the Security Hash Algorightms (SHA) of all file in a given path. |
funilrys
|
2019-03-01 22:06 (UTC) |
a-git
|
r378.6d1fd78-1 |
0 |
0.00
|
A text editor inspired by the Sam and Acme text editors for the Plan 9 operating system. |
aksr
|
2019-05-10 07:20 (UTC) |
9pfuse
|
2-1 |
5 |
0.00
|
The 9p protocol implementation for FUSE from Plan9 Port |
aperez
|
2023-11-22 21:57 (UTC) |
86box-manager
|
1.7.6.0e-3 |
0 |
0.00
|
A (cross-platform) configuration manager for the 86Box emulator |
SelfRef
|
2023-07-24 20:55 (UTC) |
6sv11
|
1.1-2 |
0 |
0.00
|
Second Simulation of a Satellite Signal in the Solar Spectrum - Vector - 1.1 |
hexd
|
2018-05-27 00:55 (UTC) |
6pm
|
0.9-1 |
0 |
0.00
|
A polyphonic, touch-sensitive, realtime, phase-modulation (PM) software synthesizer |
daniel.appelt
|
2018-09-07 22:20 (UTC) |
3fa-bin
|
1.0.1-3 |
0 |
0.00
|
A secure and scalable multi-factor authentication system including a client application, admin dashboard, and backend server |
zxp19821005
|
2024-03-15 10:20 (UTC) |
3dsconv
|
4.2-1 |
2 |
0.00
|
Convert Nintendo 3DS files to the CIA format |
adsun
|
2019-11-30 18:48 (UTC) |
3dmeshmetric-bin
|
1.4.3-1 |
0 |
0.00
|
A visualization tool based on the VTK library. |
hottea
|
2019-11-08 09:18 (UTC) |
389-ds-console
|
1.2.16-2 |
1 |
0.00
|
The Directory Services componenet of the 389 Directory Server console for install from the Admin Server. |
orphan
|
2019-02-15 14:50 (UTC) |
389-admin-console
|
1.1.12-3 |
0 |
0.00
|
The Admin Server componenet of the 389 Directory Server console for install from the Admin Server.. |
orphan
|
2019-02-15 14:49 (UTC) |
35c3_char-dkms-git
|
0.0.3r2-1 |
1 |
0.00
|
Creates a char device with the content 35c3 |
Kloenk
|
2018-12-17 15:16 (UTC) |
2fa
|
1.2.0-1 |
2 |
0.00
|
Two factor authentication agent |
ssiyad
|
2021-06-01 11:22 (UTC) |
2048.cpp-git
|
r362.50bd8a7-2 |
2 |
0.00
|
Fully featured terminal version of the game 2048 written in C++ |
kleintux
|
2020-10-10 18:33 (UTC) |
2048.c-git
|
20191210.9b387c3-1 |
8 |
0.00
|
Console version of the game "2048" for GNU/Linux |
hayao
|
2020-06-13 10:20 (UTC) |
2048-rs
|
0.5.0-1 |
4 |
0.00
|
A very pretty cli implementation of the popular 2048 game written in rust |
pierrechevalier
|
2017-08-13 09:44 (UTC) |
2048-qt
|
0.1.6-1 |
11 |
0.00
|
The 2048 number game implemented in Qt |
xiaoyong
|
2015-09-19 05:45 (UTC) |
2048-cli-git
|
r117.6743925-2 |
2 |
0.00
|
The game 2048 for your Linux terminal |
JoseluCross
|
2022-12-19 14:14 (UTC) |
2009scape-git
|
r23.702984b-1 |
1 |
0.00
|
Authentic, Open Source 2009 Runescape Era Game (Launcher) (Git Version) |
dginovker
|
2021-10-16 21:06 (UTC) |
2009scape
|
2.1.3-1 |
1 |
0.00
|
Authentic, Open Source 2009 Runescape Era Game (Launcher) |
jmcb
|
2023-08-07 18:12 (UTC) |
1pass-git
|
r68.93e14d8-1 |
1 |
0.00
|
A caching wrapper for the 1Password CLI |
meatcar
|
2019-04-14 06:00 (UTC) |
0x0uploader
|
1.3-1 |
1 |
0.00
|
Uploader for the 0x0 file sharing service. |
morsmortium
|
2024-04-28 13:06 (UTC) |
0ad-boongui
|
2.4.1-1 |
1 |
0.00
|
User interface mod for the RTS game 0 A.D. |
ilanfrumer
|
2022-06-10 12:03 (UTC) |