agda-cubical
|
0.2-1 |
0 |
0.00
|
An experimental library for Cubical Agda |
orphan
|
2020-11-11 11:07 (UTC) |
amulet
|
1.21.10-1 |
1 |
0.00
|
Lua-based audio / visual toolkit for small-scope games and experimentation |
orphan
|
2020-10-10 16:35 (UTC) |
animdl-git
|
r366.fd3277f-1 |
3 |
0.00
|
highly efficient anime downloader and streamer |
orphan
|
2023-06-28 19:48 (UTC) |
animetetris-bin
|
1.0-2 |
0 |
0.00
|
A simple block game |
orphan
|
2023-12-29 04:51 (UTC) |
ants
|
2.4.4-1 |
0 |
0.00
|
Advanced Normalization Tools (ANTs) computes high-dimensional \ mappings to capture the statistics of brain structure and function |
orphan
|
2023-05-04 17:55 (UTC) |
arcan-git
|
r4353.ad9686c7-2 |
2 |
0.00
|
Game Engine meets a Display Server meets a Multimedia Framework |
orphan
|
2024-04-17 15:33 (UTC) |
arctime
|
3.1.1-1 |
3 |
0.00
|
A Simple, powerful and efficient cross-platform subtitle production software |
orphan
|
2022-02-03 09:46 (UTC) |
arttime-git
|
2.0.0.r454-10 |
2 |
0.43
|
arttime is a clock, timer, time manager and text-art viewer for the terminal (https://github.com/poetaman/arttime/wiki) |
orphan
|
2023-02-27 13:13 (UTC) |
aurora-timetable
|
0.13.0-1 |
0 |
0.00
|
A timetable generator and editor application, mainly for elementary and high schools |
orphan
|
2020-07-04 20:19 (UTC) |
aws-lambda-rie
|
1.0-1 |
1 |
0.00
|
AWS Lambda runtime interface emulator |
orphan
|
2021-01-14 05:24 (UTC) |
beaker-ng-bin
|
1.2.3-4 |
0 |
0.00
|
An experimental peer-to-peer Web browser - Compiler optimized, community maintained fork. |
orphan
|
2023-11-10 10:17 (UTC) |
bin32-jre
|
8.u333-1 |
118 |
0.07
|
Oracle Java 8 Runtime Enviroment (32-bit) with desktop integration (GUI, sound) |
orphan
|
2022-06-02 04:23 (UTC) |
boa-git
|
v0.11.r103.gbd199677a-1 |
1 |
0.00
|
Boa is an embeddable and experimental Javascript engine written in Rust. Currently, it has support for some of the language. |
orphan
|
2021-04-22 14:04 (UTC) |
boost-libs-git
|
1.80.0.r69.g1009df2416-1 |
0 |
0.00
|
Free peer-reviewed portable C++ source libraries - runtime libraries |
orphan
|
2022-08-26 19:38 (UTC) |
boost1.69-libs
|
1.69.0-13 |
1 |
0.00
|
Free peer-reviewed portable C++ source libraries - runtime libraries |
orphan
|
2023-08-07 23:43 (UTC) |
cairo-clock
|
0.3.4-4 |
10 |
0.00
|
An analog clock displaying the system-time |
orphan
|
2021-05-13 22:05 (UTC) |
carp-git
|
v0.3.0.r198.g6954642c-1 |
0 |
0.00
|
A statically typed lisp, without a GC, for real-time applications. |
orphan
|
2019-11-13 19:12 (UTC) |
charmtimetracker-git
|
1.12.0.r027.g4f8377a-1 |
1 |
0.00
|
Keep track of time. It is built around two major ideas - tasks and events. Development Version |
orphan
|
2022-11-08 16:35 (UTC) |
checkrun.sh-git
|
20190327-1 |
0 |
0.00
|
Cron-style mailing wrapper for systemd .timer units |
orphan
|
2019-03-27 14:12 (UTC) |
cinnamon-applet-hardware-monitor
|
1.3.1-1 |
16 |
0.00
|
Graphical hardware monitor displaying your realtime CPU and memory load with colored charts |
orphan
|
2020-07-07 11:48 (UTC) |
clr-power-tweaks
|
208-2 |
0 |
0.00
|
Power Tweaks -- adjusts runtime kernel options for optimal power and performance |
orphan
|
2020-03-15 16:29 (UTC) |
codimd-git
|
r2487.dde1c742-2 |
0 |
0.00
|
real-time collaborative markdown notes |
orphan
|
2020-07-30 13:52 (UTC) |
coretime-git
|
2.8.0.r3.98d1c25-1 |
0 |
0.00
|
A time related task manager from the CoreApps family. |
orphan
|
2020-01-25 18:40 (UTC) |
cura-fdm-materials-git
|
r590.aa3c33c-1 |
3 |
0.00
|
A full software solution for 3D printing aimed at RepRaps and the Ultimaker. |
orphan
|
2020-03-01 19:15 (UTC) |
cura-git
|
4.8.beta.r99.g5ab4062ce-1 |
15 |
0.02
|
A full software solution for 3D printing aimed at RepRaps and the Ultimaker. |
orphan
|
2020-11-09 02:19 (UTC) |
dalbum
|
144_177-1 |
5 |
0.00
|
A free PHP photo album. It is small, easy to install and highly customizable at the same time. Features include slide shows, image comments, support for video and PDF files and many more. |
orphan
|
2017-04-18 04:04 (UTC) |
dantalian-rs
|
0.4.5-1 |
0 |
0.00
|
A nfo file generator for your anime. Source from Bangumi. |
orphan
|
2023-08-16 15:53 (UTC) |
dartaotruntime-bin
|
2.17.6-1 |
1 |
0.00
|
Run AOT compiled Dart programs without the Dart SDK |
orphan
|
2022-08-07 22:59 (UTC) |
dayplanner
|
0.11-2 |
17 |
0.01
|
A simple time manager |
orphan
|
2020-02-10 12:44 (UTC) |
deepin-dock-plugin-cmdu-git
|
r32.d959c09-2 |
3 |
0.00
|
A plugin for deepin dock, displaying uptime, CPU usage, RAM usage and netspeed. |
orphan
|
2020-05-05 07:16 (UTC) |
deepin-dock-plugin-pineappledatetime-git
|
r16.97986bc-1 |
2 |
0.00
|
Simple quick hack to make timedate plugin display year/month/day on efficient mode |
orphan
|
2019-10-21 07:31 (UTC) |
delphes
|
3.4.2-1 |
1 |
0.00
|
A framework for fast simulation of a generic collider experiment |
orphan
|
2021-04-09 06:52 (UTC) |
deno-git
|
1.28.0.r8202.g7aa8e9c0351e-1 |
0 |
0.00
|
A secure runtime for JavaScript and TypeScript |
orphan
|
2022-11-15 22:00 (UTC) |
desktopnova
|
0.8.1-6 |
8 |
0.00
|
Changes your desktop wallpaper automatically after a preset period of time |
orphan
|
2021-07-19 11:32 (UTC) |
diet-ng
|
1.7.4-2 |
0 |
0.00
|
Generic compile-time template system based on an XML-like structure for D |
orphan
|
2021-05-03 21:50 (UTC) |
dimension
|
r530.db22981-2 |
0 |
0.00
|
An open source integrations manager for matrix clients, like Riot. |
orphan
|
2020-08-23 11:29 (UTC) |
disable-rtc-dkms
|
1-1 |
0 |
0.00
|
Disable real time clock (DKMS) |
orphan
|
2020-08-20 07:40 (UTC) |
downline-bin
|
1.3.1-2 |
0 |
0.00
|
A cross-platform video and audio downloader for YouTube, Vimeo, Dailymotion, SoundCloud and many other sites |
orphan
|
2020-06-30 22:11 (UTC) |
drm_tools
|
1.1.26-1 |
9 |
0.00
|
Collection of small command line tools that are sometimes helpful in specific instances. |
orphan
|
2016-01-31 16:24 (UTC) |
duetruntime-bin
|
3.2.2-1 |
0 |
0.00
|
.NET Core runtime libraries for the Duet software framework |
orphan
|
2021-02-12 19:12 (UTC) |
edgetpu_api
|
2.11.1-1 |
1 |
0.00
|
Google Coral Edge TPU runtime and Python library |
orphan
|
2019-08-19 21:25 (UTC) |
elastic-git
|
20210506.r145-5 |
0 |
0.00
|
Simple yet efficient finite element solver for linear elasticity problems in two and three dimensions. |
orphan
|
2022-02-23 16:34 (UTC) |
emacs-git-timemachine
|
4.11-1 |
1 |
0.00
|
Step through historic versions of git controlled file using everyone's favourite editor |
orphan
|
2019-07-30 23:02 (UTC) |
emacs-sly-git
|
2.21.r67.g893a939a-1 |
2 |
0.00
|
Common Lisp IDE for Emacs. Fork of slime. |
orphan
|
2019-06-13 18:32 (UTC) |
emms
|
6.00-1 |
3 |
0.00
|
The Emacs Multimedia System |
orphan
|
2020-10-29 12:37 (UTC) |
emms-git
|
2:5.2.r9.rg2bad5e6-1 |
9 |
0.00
|
Emacs MultiMedia System -- git version |
orphan
|
2019-10-31 20:54 (UTC) |
epicgames-freebies-claimer
|
1.5.8-1 |
1 |
0.00
|
Automatically claim free game promotions from the Epic Game Store. |
orphan
|
2022-01-13 15:52 (UTC) |
equalx
|
0.7.1-5 |
16 |
0.00
|
Makes you easily write equations in LaTeX and preview them in real-time |
orphan
|
2021-04-08 18:09 (UTC) |
facette-bin
|
0.5.1-1 |
1 |
0.00
|
Time series data visualization and graphing software |
orphan
|
2020-02-16 16:51 (UTC) |
fern-git
|
75.0244f1a-3 |
1 |
0.00
|
a curses-based mastodon client modeled off usenet news readers & pine, with an emphasis on getting to "timeline zero" |
orphan
|
2024-01-13 15:12 (UTC) |