microsoft-edge-stable-bin
|
126.0.2592.61-1 |
118 |
3.67
|
A browser that combines a minimal design with sophisticated technology to make the web faster, safer, and easier |
aakashhemadri
|
2024-06-17 20:00 (UTC) |
binprolog
|
0.1.0-1 |
0 |
0.00
|
Fast, simplified WAM-based Prolog system |
aarroyoc
|
2023-03-12 21:50 (UTC) |
ciao-lang
|
1.23.0.m1-1 |
0 |
0.00
|
Ciao is a general purpose, multi-paradigm programming language in the Prolog family |
aarroyoc
|
2024-03-17 10:24 (UTC) |
eclipse-clp
|
7.0.63-1 |
0 |
0.00
|
Constraint Logic Programming System |
aarroyoc
|
2023-09-10 13:48 (UTC) |
fleng
|
20-1 |
0 |
0.00
|
A low level concurrent logic programming language descended from Prolog |
aarroyoc
|
2024-03-16 17:08 (UTC) |
gprolog
|
1.5.0-2 |
2 |
0.01
|
GNU Prolog |
aarroyoc
|
2023-04-01 08:18 (UTC) |
scryer-prolog
|
0.9.4-1 |
1 |
0.00
|
An open source industrial strength production environment that is also a testbed for bleeding edge research in logic and constraint programming |
aarroyoc
|
2024-03-17 10:21 (UTC) |
trealla
|
2.48.6-1 |
1 |
0.00
|
A compact, efficient Prolog interpreter with ISO compliant aspirations. |
aarroyoc
|
2024-03-17 09:59 (UTC) |
timegrep
|
0.7-1 |
1 |
0.00
|
Utility to grep log between two dates or tail last lines to time ago |
abbat
|
2020-01-07 20:05 (UTC) |
plymouth-theme-polyspinner-light
|
1-1 |
2 |
0.00
|
Plymouth theme with Peter the Great St.Petersburg Polytechnic University logo. |
abdullin.am
|
2017-07-17 13:32 (UTC) |
picat
|
3.5-1 |
2 |
0.00
|
A simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications. |
abeaumont
|
2023-07-10 20:53 (UTC) |
journal-gateway-gelf
|
1.0.4-1 |
1 |
0.00
|
A gateway for sending logs from systemd's journald over an HTTP connection to a Graylog server in GELF format. |
aberenyi
|
2016-11-30 08:57 (UTC) |
ttf-exo-2
|
2.001-1 |
5 |
0.00
|
Exo 2 is a complete redrawing of Exo, a contemporary geometric sans serif typeface that tries to convey a technological/futuristic feeling while keeping an elegant design. |
accuminium
|
2023-05-30 19:22 (UTC) |
verible-git
|
0.0.r558.7fbda6835f-2 |
2 |
0.00
|
SystemVerilog parser, style-linter, and formatter |
accuminium
|
2023-11-11 21:04 (UTC) |
python-aiologger
|
0.7.0-1 |
0 |
0.00
|
Asynchronous logging for python and asyncio |
acxz
|
2022-10-07 01:47 (UTC) |
ros-noetic-diagnostic-analysis
|
1.11.0-1 |
0 |
0.00
|
ROS - The diagnostic_analysis package can convert a log of diagnostics data into a series of CSV files. |
acxz
|
2022-03-03 12:57 (UTC) |
ros-noetic-rosconsole-bridge
|
0.5.4-2 |
0 |
0.00
|
ROS - rosconsole_bridge is a package used in conjunction with console_bridge and rosconsole for connecting console_bridge-based logging to rosconsole-based logging. |
acxz
|
2020-05-30 17:58 (UTC) |
ros-noetic-rosout
|
1.16.0-1 |
1 |
0.00
|
ROS - System-wide logging mechanism for messages sent to the /rosout topic. |
acxz
|
2023-06-11 09:53 (UTC) |
ros-noetic-rqt-logger-level
|
0.4.11-1 |
0 |
0.00
|
ROS - rqt_logger_level provides a GUI plugin for configuring the logger level of ROS nodes. |
acxz
|
2021-05-07 10:38 (UTC) |
ols
|
0.9.7.2-2 |
10 |
0.00
|
A software client for the Open Bench Logic Sniffer logic analyser hardware. |
adlerweb
|
2023-09-01 20:46 (UTC) |
python-morfessor
|
2.0.6-4 |
0 |
0.00
|
A tool for unsupervised and semi-supervised morphological segmentation |
adrien1018
|
2022-02-14 06:23 (UTC) |
blogc
|
0.20.1-1 |
5 |
0.00
|
A blog compiler |
adsun
|
2021-11-13 20:52 (UTC) |
clingo
|
5.7.1-1 |
5 |
0.00
|
Grounding tools for (disjunctive) logic programs |
adsun
|
2024-02-16 13:52 (UTC) |
fllog
|
1.2.8-1 |
4 |
0.00
|
An Amateur Radio Logbook |
adsun
|
2024-01-18 13:20 (UTC) |
gtimelog
|
0.12.0-1 |
13 |
0.24
|
Small GTK+ app for keeping track of your time |
adsun
|
2024-04-03 19:35 (UTC) |
liblognorm
|
2.0.6-1 |
0 |
0.00
|
A fast-samples based normalization library for logs |
adsun
|
2019-04-13 00:52 (UTC) |
mingw-w64-hunspell
|
1.7.2-1 |
2 |
0.00
|
Spell checker and morphological analyzer library and program (mingw-w64) |
adsun
|
2022-12-30 13:38 (UTC) |
logic2010
|
20180112-5 |
0 |
0.00
|
Educational symbolic logic software provided for free by UCLA |
afontenot
|
2018-01-22 07:46 (UTC) |
warsaw
|
1.12.3.11-3 |
39 |
0.00
|
Banking security tool developed by GAS Tecnologia |
afterSt0rm
|
2022-04-28 23:39 (UTC) |
lib32-log4cplus
|
2.0.5-1 |
0 |
0.00
|
A C++ logger very close to Java's log4j |
agalakhov
|
2020-08-08 22:33 (UTC) |
fluffy-git
|
r60.69ee969-1 |
0 |
0.00
|
Tools for Network Archaeology (internet protocol analysis) |
AGausmann
|
2018-01-09 05:56 (UTC) |
ultracopier
|
2.2.6.9-1 |
4 |
0.02
|
Ultracopier is free and open source software licensed under GPL3 that acts as a replacement for files copy dialogs. Main features include: play/pause, speed limitation, on-error resume, error/collision management |
ahmedmoselhi
|
2023-12-02 11:21 (UTC) |
pam_encfs
|
0.1.4.4-5 |
28 |
0.43
|
A module to auto-mount encfs directories on login |
ainola
|
2018-09-03 05:41 (UTC) |
log4cxx-git
|
20181214-1 |
0 |
0.00
|
A C++ port of Log4j, development version (GIT) |
akkenoth
|
2018-12-22 22:29 (UTC) |
regoth-git
|
r533.e080948-1 |
4 |
0.00
|
Reimplementation of Gothic I and II using modern technologies. |
aksr
|
2019-10-12 23:42 (UTC) |
annextimelog
|
0.13.1-2 |
2 |
0.06
|
CLI to track time spent on projects, backed by Git Annex |
alerque
|
2024-04-27 12:46 (UTC) |
electron22
|
22.3.27-6 |
3 |
1.76
|
Build cross platform desktop apps with web technologies |
alerque
|
2024-04-27 18:30 (UTC) |
electron24
|
24.8.8-4 |
0 |
0.00
|
Build cross platform desktop apps with web technologies |
alerque
|
2024-04-24 07:48 (UTC) |
electron25
|
25.9.8-6 |
5 |
1.77
|
Build cross platform desktop apps with web technologies |
alerque
|
2024-04-24 07:39 (UTC) |
electron26
|
26.6.10-5 |
0 |
0.00
|
Build cross platform desktop apps with web technologies |
alerque
|
2024-04-24 10:24 (UTC) |
equestria-fonts
|
20140909-2 |
3 |
0.00
|
Irregular, irreverent typeface based on logos for Hasbro’s My Little Pony Line |
alerque
|
2021-06-01 12:33 (UTC) |
klog-time-tracker
|
6.3-1 |
1 |
0.05
|
A plain-text file format and a command line tool for time tracking |
alerque
|
2024-03-27 23:57 (UTC) |
mastodon-docker-git
|
1.2.2_22_ga0ed88a9-0.1 |
2 |
0.00
|
A GNU Social-compatible microblogging server |
alerque
|
2024-03-28 00:23 (UTC) |
nextcloud-app-oidc-login
|
3.1.1-1 |
1 |
0.00
|
App for authenticating Nextcloud users using SAML |
alerque
|
2024-05-05 09:32 (UTC) |
python-turkish-morphology
|
1.2.5-4 |
1 |
0.00
|
A two-level morphological analyzer for Turkish |
alerque
|
2024-04-27 20:19 (UTC) |
xmonad-log
|
0.1.0-3 |
1 |
0.00
|
DBus monitor for xmonad log events |
AlexanderS
|
2020-10-02 11:28 (UTC) |
python-neurokit2
|
0.2.9-1 |
0 |
0.00
|
The Python Toolbox for Neurophysiological Signal Processing. |
AlexBocken
|
2024-05-26 16:10 (UTC) |
paclogger
|
1.3.1-1 |
0 |
0.00
|
A Pacman hook written in C++ that logs all of the updates and downgrades every day. |
alexmurkoff
|
2024-05-30 03:05 (UTC) |
cmonk
|
3.10.5-1 |
0 |
0.00
|
fast logfile viewer for Analyzing Large Logfiles Chipmunk is a fast logfile viewer designed for analyzing large logfiles. It features super-fast search capabilities and is an invaluable tool for developers who need to analyze log data. |
alfr
|
2024-01-19 13:07 (UTC) |
openwebstart-bin
|
1.10.0-2 |
4 |
0.07
|
An open source reimplementation of the Java Web Start technology. |
Alfred456654
|
2024-06-10 08:59 (UTC) |