hets-desktop
|
0.99_1484075143-1 |
0 |
0.00
|
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
eugenk
|
2017-02-26 11:07 (UTC) |
hets-desktop-bin
|
0.99_1484075143-1 |
0 |
0.00
|
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
eugenk
|
2017-02-26 11:08 (UTC) |
hets-server
|
0.99_1484075143-1 |
0 |
0.00
|
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
eugenk
|
2017-02-26 11:08 (UTC) |
hets-server-bin
|
0.99_1484075143-1 |
0 |
0.00
|
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
eugenk
|
2017-02-26 11:09 (UTC) |
ruby-xdg
|
8.4.1-1 |
10 |
0.00
|
Provides a Ruby implementation of the XDG Base Directory Specification |
flipee
|
2024-06-02 19:08 (UTC) |
ruby-xdg5
|
5.3.0-2 |
1 |
0.00
|
Provides a Ruby implementation of the XDG Base Directory Specification (version 5.x) |
flipee
|
2022-09-11 01:52 (UTC) |
lib32-unixodbc
|
2.3.12-1 |
21 |
0.04
|
ODBC is an open specification for providing application developers with a predictable API with which to access Data Sources |
frazar0
|
2023-08-22 21:52 (UTC) |
libgedit-gtksourceview-langspec-twig
|
r1.e75762c-1 |
0 |
0.00
|
Twig language specifications for libgedit-gtksourceview |
Gerry
|
2023-10-06 09:23 (UTC) |
python-xdg-base-dirs
|
6.0.1-1 |
7 |
0.28
|
An implementation of the XDG Base Directory Specification in Python |
gilbus
|
2023-11-15 16:20 (UTC) |
perl-test-lectrotest
|
0.5001-2 |
0 |
0.00
|
Easy, automatic, specification-based tests. |
goeb
|
2023-11-15 16:47 (UTC) |
ibus-autostart
|
1.3-1 |
3 |
0.02
|
iBus daemon autostart with XDG Autostart Specification |
Gomasy
|
2022-09-20 06:36 (UTC) |
ibus-autostart-kimpanel
|
1.2-2 |
3 |
0.00
|
iBus daemon autostart with XDG Autostart Specification (kimpanel) |
Gomasy
|
2023-11-14 10:17 (UTC) |
hare-specification
|
r393.dba688e-1 |
1 |
0.00
|
Specification for the Hare programming language |
grawlinson
|
2022-05-30 08:17 (UTC) |
mpris-ctl
|
0.9.100-1 |
10 |
0.00
|
Control any music player that follows the MPRIS specification from the command line |
habarnam
|
2024-05-18 14:07 (UTC) |
libzim-git
|
1326.ca0c95f-1 |
1 |
0.00
|
The standard implementation of the ZIM specification - openzim |
hanyoung
|
2022-12-19 13:37 (UTC) |
python-pytest-spec
|
3.2.0-1 |
0 |
0.00
|
Plugin to display pytest execution output like a specification |
hexd
|
2022-02-21 04:52 (UTC) |
android-aarch64-unixodbc
|
2.3.12-2 |
0 |
0.00
|
ODBC is an open specification for providing application developers with a predictable API with which to access Data Sources (Android, aarch64) |
hipersayan_x
|
2024-03-23 15:57 (UTC) |
android-armv7a-eabi-unixodbc
|
2.3.12-1 |
0 |
0.00
|
ODBC is an open specification for providing application developers with a predictable API with which to access Data Sources (android) |
hipersayan_x
|
2024-02-29 03:56 (UTC) |
android-x86-64-unixodbc
|
2.3.12-1 |
0 |
0.00
|
ODBC is an open specification for providing application developers with a predictable API with which to access Data Sources (android) |
hipersayan_x
|
2024-02-29 03:56 (UTC) |
android-x86-unixodbc
|
2.3.12-1 |
0 |
0.00
|
ODBC is an open specification for providing application developers with a predictable API with which to access Data Sources (android) |
hipersayan_x
|
2024-02-29 03:57 (UTC) |
python-cx-oracle
|
8.3.0-4 |
0 |
0.00
|
Python interface to Oracle Database conforming to the Python DB API 2.0 specification |
hottea
|
2021-12-19 22:38 (UTC) |
python-unalix-rev
|
0.9.1-2 |
0 |
0.00
|
Unalix is a library written in Python, it implements the specification used by the ClearURLs addon for removing tracking fields from URLs. |
icealtria
|
2024-04-12 08:59 (UTC) |
usage
|
0.1.18-1 |
0 |
0.00
|
A specification for CLIs |
jdx
|
2024-05-12 03:26 (UTC) |
usage-bin
|
0.1.18-1 |
1 |
1.00
|
A specification for CLIs |
jdx
|
2024-05-12 03:34 (UTC) |
libxdgdirs
|
1.1.1-1 |
2 |
0.00
|
An implementation of XDG Base Directory Specification in C |
Jorengarenar
|
2023-11-11 18:08 (UTC) |
libzrtpcpp
|
4.7.0-2 |
7 |
0.00
|
A C++ implementation of Phil Zimmermann's ZRTP specification |
justicehunter
|
2020-08-20 12:47 (UTC) |
tktray
|
1.3.9-2 |
7 |
0.00
|
Tk extension to create system tray icons following www.freedesktop.org specifications. |
j_4321
|
2016-12-16 20:17 (UTC) |
mcrl2-bin
|
202307.1-1 |
0 |
0.00
|
A formal specification language with an associated toolset installed from the 'deb' GitHub release package. |
Kevinjil
|
2023-11-15 14:45 (UTC) |
css-2-docs
|
2.1.20110607-3 |
2 |
0.00
|
Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification |
kkl2401
|
2023-11-27 17:32 (UTC) |
html-4-docs
|
4.01.19991224-1 |
1 |
0.00
|
HTML 4.01 Specification |
kkl2401
|
2015-06-27 22:01 (UTC) |
powernotd-bin
|
1.2.0-0 |
0 |
0.00
|
Battery level notification daemon for linux that sends events according to according to the 'Desktop Notification Specification'. |
laeri
|
2024-06-12 07:26 (UTC) |
lib32-mesa-minimal-git
|
24.2.0_devel.189888.3f3c83a6b74-1 |
7 |
0.00
|
an open-source implementation of the OpenGL specification, git version |
Lone_Wolf
|
2024-05-29 10:33 (UTC) |
mesa-minimal-git
|
24.2.0_devel.191078.51f2ed872e8-1 |
11 |
0.40
|
an open-source implementation of the OpenGL specification, stripped down git version |
Lone_Wolf
|
2024-06-23 09:19 (UTC) |
riker-git
|
r2201.6b2c276d-1 |
0 |
0.00
|
Always-Correct and Fast Incremental Builds from Simple Specifications |
Luchs
|
2022-07-31 20:12 (UTC) |
sshcd
|
1.0.3-1 |
2 |
0.00
|
ssh command with directory specification support |
maandree
|
2015-06-11 14:15 (UTC) |
python-xdgenvpy
|
2.3.5-2 |
0 |
0.00
|
Another XDG Base Directory Specification utility. |
Mailaender
|
2023-03-11 11:13 (UTC) |
revbayes
|
1.2.4-2 |
1 |
0.00
|
Bayesian Phylogenetic Inference Using Graphical Models and an Interactive Model-Specification Language https://doi.org/10.1093/sysbio/syw021 |
malacology
|
2024-06-07 18:43 (UTC) |
revbayes-mpi
|
1.2.4-2 |
1 |
0.00
|
Bayesian Phylogenetic Inference Using Graphical Models and an Interactive Model-Specification Language https://doi.org/10.1093/sysbio/syw021 |
malacology
|
2024-06-07 18:22 (UTC) |
yaoqiang-bpmn-editor
|
5.4.0-1 |
8 |
0.00
|
An open source graphical editor for business process diagrams, compliant with OMG specifications (BPMN 2.0). |
mardab
|
2019-12-17 17:49 (UTC) |
gnome-menus2
|
3.0.1-6 |
55 |
0.00
|
Library for the Desktop Menu Specification (legacy version) |
MarsSeed
|
2024-03-17 23:52 (UTC) |
libe57
|
1.1.332-1 |
0 |
0.00
|
An open source implementation of the ASTM E2807 Standard Specification for 3D Imaging Data Exchange in the C++ language. |
maz-1
|
2021-07-27 02:15 (UTC) |
njl.lv2-git
|
v0.0.3.r2.gb132f0d-1 |
0 |
0.00
|
NJL plugins by Nick Lamb ported to the LV2 specification |
milkii
|
2020-03-15 16:40 (UTC) |
vcf.lv2-git
|
v0.0.2.r7.gc07fb4a-1 |
1 |
0.00
|
VCF plugins by Matthias Nagorni ported to the LV2 specification |
milkii
|
2020-03-15 15:11 (UTC) |
amdonly-gaming-mesa-git
|
24.2.0_devel.191030.0e220cd45a4.d41d8cd98f00b204e9800998ecf8427e-1 |
15 |
1.45
|
An open-source implementation of the OpenGL specification |
NeroReflex
|
2024-06-21 10:39 (UTC) |
lib32-amdonly-gaming-mesa-git
|
24.2.0_devel.191030.0e220cd45a4.d41d8cd98f00b204e9800998ecf8427e-1 |
8 |
0.21
|
An open-source implementation of the OpenGL specification (32-bit) |
NeroReflex
|
2024-06-21 10:39 (UTC) |
bsp-patch-git
|
115.b15e82e-1 |
0 |
0.00
|
C implementation of the Binary Scripted Patch specification |
NieDzejkob
|
2019-06-01 20:05 (UTC) |
tilp-xdg
|
1.18-1 |
0 |
0.00
|
TI graphing calculator link/transfer program - with Support for the XDG Base Directory Specification |
noahvogt
|
2021-11-09 09:39 (UTC) |
python-xdgspec-git
|
0.2.1.r3.g45c3cef-3 |
0 |
0.00
|
XDG Base Directory Specification for Python |
nobodyinperson
|
2023-08-01 14:27 (UTC) |
winbox-xdg
|
3.40-1 |
9 |
0.09
|
Mikrotik RouterOS GUI Configurator (wine). xdg base directory specification compliant version |
nycex
|
2024-04-24 10:48 (UTC) |
unfs3
|
0.9.22-5 |
2 |
0.00
|
A user-space implementation of the NFSv3 server specification |
ohwg
|
2018-05-25 10:54 (UTC) |