glucose
|
4.1-1 |
1 |
0.00
|
Parallel SAT solver based on Minisat, with glue clauses. |
keenerd
|
2018-01-30 23:26 (UTC) |
lingeling
|
180517-1 |
1 |
0.00
|
A BSP SAT solver derived from Picosat. |
keenerd
|
2019-04-29 03:39 (UTC) |
picosat
|
965-2 |
2 |
0.00
|
The PicoSAT solver |
keenerd
|
2019-04-29 20:12 (UTC) |
powershell-lts-bin
|
7.4.2-1 |
3 |
0.00
|
PowerShell Core is a cross-platform (Windows, Linux, and macOS) automation and configuration tool/framework |
kistlin
|
2024-04-12 04:07 (UTC) |
thoptv-appimage
|
46.3.0-1 |
1 |
0.00
|
Thoptv is the best source to enjoy Ultimate Movies, sports Matches, IPL and Latest Shows, radio and many much more thing’s.it’s totally free of cost you don’t need to pay any single to use this application it has a premium plan. |
kkzone
|
2021-07-01 03:40 (UTC) |
python-getdevinfo
|
2.0.0-2 |
5 |
0.00
|
A device information gatherer for Linux and macOS. |
knedlyk
|
2024-02-13 12:17 (UTC) |
ecosim-git
|
r211.1d2cb9a-1 |
1 |
0.00
|
An interactive ecosystem and evolution simulator written in C and OpenGL, for GNU/Linux. |
KokaKiwi
|
2020-11-04 12:09 (UTC) |
mcmojave-cursors-git
|
r9.d3a9b60-1 |
1 |
0.00
|
x-cursor theme inspired by macOS and based on capitaine-cursors |
KokaKiwi
|
2021-01-21 20:11 (UTC) |
quickwit
|
0.8.1-1 |
0 |
0.00
|
A fast and cost-efficient distributed search engine for large-scale, immutable data |
KokaKiwi
|
2024-04-16 08:21 (UTC) |
snaphu
|
2.0.5-1 |
0 |
0.00
|
Statistical-Cost, Network-Flow Algorithm for Phase Unwrapping |
kubrick
|
2022-05-08 14:35 (UTC) |
yesplaymusicosd-electron-git
|
0.4.5.r22.g7a9fd28-1 |
2 |
0.00
|
高颜值的第三方网易云播放器,支持 Windows / macOS / Linux 支持桌面歌词! (with system electrton) |
kuohuanhuan
|
2022-06-11 04:47 (UTC) |
yesplaymusicosd-git
|
0.4.5.r22.g7a9fd28-1 |
2 |
0.00
|
高颜值的第三方网易云播放器,支持 Windows / macOS / Linux 支持桌面歌词! |
kuohuanhuan
|
2022-06-11 04:47 (UTC) |
vcpkg-git
|
2023.06.20.r43.g288e8bebf4-1 |
10 |
0.01
|
C++ library manager for Windows, Linux, and MacOS |
kyechou
|
2023-06-25 08:00 (UTC) |
gog-pillars_of_eternity_ii_deadfire_explorers_pack_pet_cosmo_dlc
|
5.0.0.0040-1 |
0 |
0.00
|
DLC for the pillars of eternity ii deadfire game. |
kyndair
|
2023-01-19 23:07 (UTC) |
cosmic-term-git
|
r138.d6946d4-1 |
1 |
0.06
|
WIP COSMIC Terminal Emulator |
kyuzial
|
2024-04-03 05:18 (UTC) |
cmix
|
20-1 |
0 |
0.00
|
lossless data compression program aimed at optimizing compression ratio at the cost of high CPU/memory usage |
l-koehler
|
2024-03-30 12:47 (UTC) |
edk2-ovmf-macos
|
1:r74.527588d-1 |
1 |
0.00
|
A collection of EDK II UEFI firmware files with macOS compatibility. |
lazerl0rd
|
2021-03-18 12:44 (UTC) |
biliup-app-appimage
|
0.4.1-1 |
0 |
0.00
|
Bilibili uploader, supports Windows, Linux, macOS. |
Lehmaning
|
2022-11-28 05:01 (UTC) |
biliup-app-bin
|
0.4.1-1 |
1 |
0.00
|
Bilibili uploader, supports Windows, Linux, macOS. |
Lehmaning
|
2022-11-28 05:04 (UTC) |
cpod-appimage
|
1.28.0-3 |
0 |
0.00
|
A simple, beautiful podcast app for Windows, macOS, and Linux. |
LeSnake
|
2021-09-19 14:08 (UTC) |
cargs
|
1.1.0-1 |
0 |
0.00
|
A lightweight cross-platform getopt alternative that works on Linux, Windows and macOS. Command line argument parser library for C/C++. Can be used to parse argv and argc parameters. |
likle
|
2024-01-07 17:17 (UTC) |
cwalk
|
1.2.9-1 |
0 |
0.00
|
Path library for C/C++. Cross-Platform for Linux, FreeBSD, Windows and MacOS. Supports UNIX and Windows path styles on those platforms. |
likle
|
2024-02-03 09:21 (UTC) |
amazon-corretto-16
|
16.0.2.7.1-1 |
1 |
0.00
|
No-cost, multiplatform, production-ready distribution of OpenJDK |
lnulzer
|
2021-07-24 03:40 (UTC) |
amazon-corretto-17
|
17.0.11.9.1-1 |
2 |
0.01
|
No-cost, multiplatform, production-ready distribution of OpenJDK |
lnulzer
|
2024-04-16 19:06 (UTC) |
amazon-corretto-18
|
18.0.2.9.1-1 |
1 |
0.00
|
No-cost, multiplatform, production-ready distribution of OpenJDK |
lnulzer
|
2022-07-19 20:09 (UTC) |
amazon-corretto-19-bin
|
19.0.2.7.1-1 |
0 |
0.00
|
No-cost, multiplatform, production-ready distribution of OpenJDK |
lnulzer
|
2023-01-18 17:56 (UTC) |
amazon-corretto-20-bin
|
20.0.2.10.1-1 |
0 |
0.00
|
No-cost, multiplatform, production-ready distribution of OpenJDK |
lnulzer
|
2023-08-24 16:29 (UTC) |
amazon-corretto-21-bin
|
21.0.3.9.1-1 |
0 |
0.00
|
No-cost, multiplatform, production-ready distribution of OpenJDK |
lnulzer
|
2024-04-16 19:13 (UTC) |
amazon-corretto-22-bin
|
22.0.0.37.1-1 |
0 |
0.00
|
No-cost, multiplatform, production-ready distribution of OpenJDK |
lnulzer
|
2024-04-01 11:41 (UTC) |
dissenter-browser-bin
|
1.5.114-2 |
17 |
0.00
|
The free speech web browser. Browse faster by blocking ads and trackers that violate your privacy and cost you time and money. |
loonixman
|
2020-04-03 10:26 (UTC) |
ocaml-poll
|
0.3.1-1 |
0 |
0.00
|
Portable OCaml interface to macOS/Linux/Windows native IO event notification mechanisms |
lthms
|
2024-01-21 21:55 (UTC) |
python-cocotb
|
1.8.1-1 |
3 |
0.00
|
Coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python |
m42uko
|
2023-10-16 08:44 (UTC) |
python-cocotb-git
|
r3638.13a4c949-1 |
1 |
0.00
|
Coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python |
m42uko
|
2023-10-16 08:53 (UTC) |
cosfs
|
1.0.19-2 |
1 |
0.00
|
cosfs 能让您在Linux/Mac OS X 系统中把Tencent COS bucket 挂载到本地文件 系统中,您能够便捷的通过本地文件系统操作COS 上的对象,实现数据的共享。 |
maghsk
|
2022-01-27 01:27 (UTC) |
cosmopolitan-bin
|
3.3.3-5 |
0 |
0.00
|
Build-once run-anywhere c library. |
maintuner
|
2024-04-30 19:28 (UTC) |
r-rcpphungarian
|
0.3-2 |
0 |
0.00
|
Solves Minimum Cost Bipartite Matching Problems |
malacology
|
2024-02-23 00:02 (UTC) |
cocos2d-x-src
|
3.17.2-1 |
13 |
0.00
|
Cocos2D-X is a game engine that supports multiple platforms such as iOS, Android, WinXP/7/8, WP8, BlackBerry, MeeGo, Marmelade, WebOS, Mac OS X |
MarsSeed
|
2019-06-22 22:16 (UTC) |
drogon-git
|
1.7.1.c5398b2-1 |
5 |
0.00
|
A C++14/17 based HTTP web application framework running on Linux/macOS/Unix |
marty1885
|
2022-11-12 01:47 (UTC) |
inspircd
|
3.17.0-2 |
11 |
0.02
|
InspIRCd is a modular Internet Relay Chat (IRC) server written in C++ for Linux, BSD, Windows and macOS systems. |
Max-P
|
2024-03-07 08:19 (UTC) |
hid-fanatecff-dkms
|
r56.0e56c48-1 |
1 |
0.00
|
Driver to support force feedback and load cells for the FANATEC controller ecosystem |
mcoffin
|
2022-10-16 19:58 (UTC) |
qcost
|
0.8.2-1 |
0 |
0.00
|
QCost is a software to write bill of quantities in the construction world. |
mickele
|
2016-05-28 10:47 (UTC) |
xsynth-dssi
|
0.9.4-5 |
20 |
0.12
|
An analog-style (VCOs-VCF-VCA) synth plugin for DSSI |
micwoj92
|
2024-05-26 05:53 (UTC) |
dynamic-wallpaper-macos-catalina-kde
|
1.0.0-1 |
0 |
0.00
|
MacOS Catalina dynamic dekstop wallpaper for kde. |
mikkra
|
2021-11-05 15:01 (UTC) |
whitesur-icon-theme
|
2024.05.28-1 |
3 |
1.15
|
MacOS Big Sur like icon theme for linux desktops |
Misaka13514
|
2024-05-28 15:39 (UTC) |
overseerr
|
1.33.2-1 |
1 |
0.00
|
Request management and media discovery tool for the Plex ecosystem |
mmozeiko
|
2023-07-28 15:19 (UTC) |
overseerr-git
|
r1361.341e3b8f-1 |
0 |
0.00
|
Request management and media discovery tool for the Plex ecosystem |
mmozeiko
|
2022-04-01 20:25 (UTC) |
cosmographia-bin
|
4.2-1 |
1 |
0.00
|
Cosmographia is a visualization program rendering the solar system and its bodies in 3D to create a freely navigable map of the solar system |
Mr.Smith1974
|
2023-08-12 09:03 (UTC) |
cosmonium-git
|
v0.3.0.dev581.161.gf6c3458-1 |
2 |
0.00
|
3D astronomy and space exploration program |
Mr.Smith1974
|
2023-07-11 13:39 (UTC) |
picoscope
|
6.14.36_4r5676-1 |
13 |
0.00
|
gui for picotech oscilloscope |
mti
|
2021-04-13 15:27 (UTC) |
mcmojave-cursors
|
1.0-2 |
4 |
0.02
|
X-cursor theme inspired by macOS and based on capitaine-cursors |
mvidaldp
|
2021-12-01 20:15 (UTC) |