cutelyst-git
|
latest-1 |
0 |
0.00
|
A Web Framework built on top of Qt, using the simple approach of Catalyst (Perl) framework |
moustafine
|
2019-03-10 18:38 (UTC) |
cutelyst2-qt5
|
2.14.2-1 |
0 |
0.00
|
A Web Framework built on top of Qt, using the simple approach of Catalyst (Perl) framework. |
gdamjan
|
2021-07-07 18:26 (UTC) |
cvc5
|
1.1.2-3 |
0 |
0.00
|
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems |
Neferin
|
2024-06-24 16:00 (UTC) |
cvc5-bestperformance
|
1.1.2-3 |
0 |
0.00
|
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems configured for highest performance. |
Neferin
|
2024-06-24 16:01 (UTC) |
cx-bin
|
0.7.1-7 |
0 |
0.00
|
CX Blockchain Programming Language; latest binary release. skycoin.com/cx |
moe_narrow
|
2022-01-04 19:42 (UTC) |
cx-chains
|
0.22.0-1 |
0 |
0.00
|
Execute CX programs on blockchain. https://github.com/skycoin/cx-chains |
moe_narrow
|
2021-06-04 17:05 (UTC) |
cx-game
|
autogenerated-1 |
0 |
0.00
|
Skycoin NFT game prototype |
moe_narrow
|
2022-01-05 17:21 (UTC) |
cx-latest
|
autogenerated-1 |
0 |
0.00
|
CX Skycoin Blockchain Programming Language - most recent github commits (+opengl) |
moe_narrow
|
2021-02-23 01:56 (UTC) |
d4m-git
|
r124.402ef8a-00 |
0 |
0.00
|
Project Diva MegaMix+ mod manager |
orphan
|
2022-07-28 18:06 (UTC) |
dab-scanner
|
0.8-4 |
0 |
0.00
|
A simple command line program based on the DAB library |
rern
|
2023-09-14 01:44 (UTC) |
dad-bin
|
1.0.2-1 |
0 |
0.00
|
Dad is a small configuration management tool for Clojure. This project is heavily inspired by mitamae. |
ngrunwald
|
2022-04-22 11:35 (UTC) |
dae-bin-x64-v2
|
0.5.0-2 |
0 |
0.00
|
A Linux lightweight and high-performance transparent proxy solution based on eBPF. |
duzhaokun123
|
2024-01-18 02:01 (UTC) |
dafny-git
|
v3.0.0.rpre.rrelease.r1.r256.rgd25ae257-1 |
0 |
0.00
|
Dafny is a verification-aware programming language |
crave
|
2021-03-25 19:52 (UTC) |
dambe
|
7-1 |
0 |
0.00
|
New and improved tools for data analysis in molecular biology and evolution |
malacology
|
2021-05-11 15:48 (UTC) |
danse-bin
|
v0.4.0-1 |
0 |
0.00
|
A DNS proxy for DNS Over HTTPS/DNS Over TLS/DNSCrypt |
iamd3vil
|
2022-01-25 10:51 (UTC) |
dart-1.x
|
1.24.3-1 |
0 |
0.00
|
The dart programming language SDK |
bertogs
|
2020-12-19 23:03 (UTC) |
dart-sass-embedded
|
1.62.1-1 |
0 |
0.00
|
Wrapper for Dart Sass that implements the compiler side of the Embedded Sass protocol |
oweissbarth
|
2024-03-08 14:22 (UTC) |
darwin
|
1.4.5-2 |
0 |
0.00
|
The darwin prover suite. http://combination.cs.uiowa.edu/Darwin/ |
eugenk
|
2016-02-24 15:04 (UTC) |
dataplaneapi-git
|
2.7.0.r111.g56c34bbe-1 |
0 |
0.00
|
HAProxy Data Plane API (git version) |
Fijxu
|
2024-01-13 03:18 (UTC) |
datawarrior
|
5.5.0-1 |
0 |
0.00
|
Open-source data visualization and analysis program with embedded chemical intelligence |
ivanhoe1024
|
2021-04-15 09:32 (UTC) |
davix-git
|
R_0_5_0.r84.g9ddbd23-1 |
0 |
0.00
|
Davix aims to make the task of managing files over HTTP-based protocols simple. |
synthead
|
2015-12-02 08:23 (UTC) |
dayz-linux-cli-launcher
|
0.5.3-1 |
0 |
0.00
|
Launcher script for modded DayZ Standalone via Steam+Proton |
thenamesnano
|
2023-03-09 04:17 (UTC) |
db-wifi-login-woice-compat
|
0.1_20220904.1-1 |
0 |
0.00
|
Makes 'db-wifi-login' a drop-in replacement for '/usr/bin/woice' by providing an appropriate symlink. |
dreieck
|
2024-05-27 16:01 (UTC) |
dbasic
|
0.92.0-1 |
0 |
0.00
|
Modern implementation of the original Dartmouth BASIC compilers in the D programming language |
malacology
|
2023-10-20 09:41 (UTC) |
dbus-term-launcher
|
0.1.3-3 |
0 |
0.00
|
Wrapper program to launch arbitrary terminal with Terminal intent API |
thayne
|
2024-06-21 06:50 (UTC) |
dcompass-bin
|
20210812_0958-1 |
0 |
0.00
|
A high-performance programmable DNS component aiming at robustness, speed, and flexibility (binary release) |
orphan
|
2021-08-28 23:26 (UTC) |
dcon-git
|
0.1.2-1 |
0 |
0.00
|
A program that converts decimal degrees to dms |
Clara
|
2021-07-30 02:34 (UTC) |
dcpomatic-git
|
2.16.24.r9.gf44e5e0b2-1 |
0 |
0.00
|
A free, open-source program to generate Digital Cinema Packages (DCPs) from videos or images |
markusk
|
2022-09-12 21:12 (UTC) |
dctrl-tools
|
2.24-2 |
0 |
0.00
|
Command-line tools to process Debian package information |
orphan
|
2022-05-30 14:39 (UTC) |
ddns
|
2.1.2-1 |
0 |
0.00
|
Automatic provisioning of Dynamic DNS. |
kcolford
|
2017-02-08 17:39 (UTC) |
debhelper-git
|
13.15.3.r0.gebfe8e5-1 |
0 |
0.00
|
A collection of programs that can be used in a debian/rules file to automate common tasks |
xiota
|
2024-03-28 04:51 (UTC) |
debugedit-git
|
5.0.r15.g60ee634-2 |
0 |
0.00
|
Provides debugedits and scripts for creating debuginfo and source file distributions |
Chocobo1
|
2023-04-05 18:45 (UTC) |
debugtron
|
0.5.0-1 |
0 |
0.00
|
Debug in-production Electron based app |
bigshans
|
2021-10-29 17:23 (UTC) |
decrypt-git
|
r30.53a5a4f-1 |
0 |
0.00
|
Pipe programs through decrypt to make your boss think you are l33t |
kleintux
|
2022-11-25 07:53 (UTC) |
deepgit-preview
|
3.rc.2-1 |
0 |
0.00
|
A tool to investigate the history of source code. This is preview software intended to provide you with an opportunity to test-drive new builds of the next DeepGit release. |
ewirch
|
2017-09-19 13:10 (UTC) |
deepin-wayland-protocols-git
|
1.6.0.deepin.1.2.r0.g193899b-1 |
0 |
0.00
|
deepin Specific Protocols for Wayland |
justforlxz
|
2024-01-20 07:59 (UTC) |
deepin-wayland-protocols-reborn
|
1.6.0.deepin.1.2-3 |
0 |
0.00
|
deepin Specific Protocols for Wayland |
orphan
|
2022-12-05 04:03 (UTC) |
defyne-git
|
r218.3973335-1 |
0 |
0.00
|
Work-in-progress Fyne IDE |
Blutkoete
|
2024-06-18 18:09 (UTC) |
dehelper
|
13.5.2-1 |
0 |
0.00
|
Proprietary German dictionary software for linux |
sukanka
|
2024-04-28 13:47 (UTC) |
dejagnu-git
|
1.6.3.r47.g865dc67-1 |
0 |
0.00
|
A framework for testing other programs |
Chocobo1
|
2023-02-07 09:08 (UTC) |
dell-h625cdw
|
1.0_3-1 |
0 |
0.00
|
Proprietary driver for Dell H625cdw Color Laser Printer |
dito_ch
|
2019-10-28 08:10 (UTC) |
dell-venue-8-pro-5830-wifi-firmware
|
1-1 |
0 |
0.00
|
Firmware for the AR6004 WiFi controller in Dell Venue 8 Pro (5830 series) tablets |
cyrozap
|
2019-12-26 20:40 (UTC) |
denarius-git
|
v3.3.9.13.r9.g7164b78-1 |
0 |
0.00
|
Denarius (D) is an anonymous, untraceable, energy efficient, Proof-of-Work, and Proof-of-Stake cryptocurrency. |
buzzkillb
|
2021-07-23 20:01 (UTC) |
denariusqt-git
|
v3.3.9.13.r11.g5e28bd4-1 |
0 |
0.00
|
Denarius (D) is an anonymous, untraceable, energy efficient, Proof-of-Work, and Proof-of-Stake cryptocurrency. |
buzzkillb
|
2021-07-25 04:33 (UTC) |
dennis
|
0.9-1 |
0 |
0.00
|
Utilities for working with PO and POT files to ease development and improve localization quality |
nemaniarjun
|
2018-07-09 05:07 (UTC) |
dependency-check-cli
|
9.0.8-1 |
0 |
0.00
|
Dependency-Check is a Software Composition Analysis (SCA) tool that attempts to detect publicly disclosed vulnerabilities contained within a project's dependencies. |
robertfoster
|
2024-01-06 14:40 (UTC) |
depixelize-bzr
|
0.0.0-1 |
0 |
0.00
|
The depixelize binary provided with libdepixelize |
vinipsmaker
|
2015-06-14 05:06 (UTC) |
desk-exec
|
0.1.5-1 |
0 |
0.00
|
Execute programs defined in XDG desktop entries directly from the command line |
AxerTheAxe
|
2024-07-07 07:44 (UTC) |
desk-exec-bin
|
0.1.5-1 |
0 |
0.00
|
Execute programs defined in XDG desktop entries directly from the command line |
AxerTheAxe
|
2024-07-07 07:47 (UTC) |
desk-exec-git
|
0.1.5.r0.gb49de4c-1 |
0 |
0.00
|
Execute programs defined in XDG desktop entries directly from the command line |
AxerTheAxe
|
2024-07-07 07:49 (UTC) |