|
cvc5-bin
|
1.1.2-1 |
1 |
0.00
|
An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems |
Neferin
|
2024-03-17 13:37 (UTC) |
|
marktext-bin
|
0.17.1-2 |
18 |
0.00
|
A simple and elegant open-source markdown editor that focused on speed and usability |
alerque
|
2024-03-28 00:02 (UTC) |
|
psi4-git
|
1.7.r22.g61c0b47982-1 |
4 |
0.00
|
Open-source quantum chemistry |
Tenshi65535
|
2023-02-09 05:54 (UTC) |
|
jazz2-bin
|
autoupdates-1 |
1 |
0.00
|
Jazz² Resurrection: Open-source Jazz Jackrabbit 2 reimplementation (release or nightly channel) |
orphan
|
2023-01-16 22:17 (UTC) |
|
coin-or-bonmin
|
1.8.9-1 |
3 |
0.00
|
Experimental open-source C++ code for solving general MINLP problems |
xantares
|
2023-05-03 19:11 (UTC) |
|
coin-or-vol
|
1.5.4-1 |
1 |
0.00
|
open-source implementation of a subgradient method that produces primal as well as dual solutions |
xantares
|
2023-04-16 07:48 (UTC) |
|
sol-client
|
1.8.9-1 |
1 |
0.00
|
Simple yet feature-rich open-source Minecraft client |
neeshie0
|
2022-12-31 21:35 (UTC) |
|
psi4
|
1.7-1 |
1 |
0.00
|
Open-source quantum chemistry - an electronic structure package in C++ driven by Python |
Tenshi65535
|
2022-12-17 09:13 (UTC) |
|
komodo-edit
|
12.0.1_18441-2 |
254 |
0.00
|
Free & Open-Source counterpart of ActiveState Komodo IDE - XUL based |
max-k
|
2020-11-09 08:09 (UTC) |
|
libpdfium-nojs
|
6367.r1.7b90b15a21-1 |
22 |
0.00
|
Open-source PDF rendering engine. |
selmf
|
2024-05-09 10:52 (UTC) |
|
httptoolkit
|
1:1.14.11-2 |
6 |
0.00
|
Beautiful, cross-platform & open-source HTTP(S) proxy, analyzer and client. |
jamezrin
|
2024-03-26 22:10 (UTC) |
|
intiface-desktop-bin
|
27.0.0-1 |
1 |
0.00
|
Open-source, cross-platform application that acts as a hub for sex hardware access |
silverhikari
|
2022-05-27 09:26 (UTC) |
|
ofork
|
10.0.6-1 |
1 |
0.00
|
OFORK is a OTRS fork open-source Help Desk and IT Service Management (ITSM) |
muhviehstarr
|
2023-03-01 21:16 (UTC) |
|
libopenshot-git
|
0.3.2.r61.ga9e34a9b-3 |
2 |
0.00
|
A high quality, open-source video editing, animation, and playback library for C++, Python, and Ruby (git version) |
dbermond
|
2024-04-07 12:13 (UTC) |
|
openmw-vr-git
|
r25608.ca2356615-1 |
1 |
0.00
|
An open-source engine reimplementation for the role-playing game Morrowind, fork with OpenXR VR support. |
haagch
|
2021-06-18 14:10 (UTC) |
|
nameinator
|
0.0.5-1 |
2 |
0.00
|
Open-source DNS benchmark utility - successor of namebench |
freswa
|
2020-09-07 17:05 (UTC) |
|
guiscrcpy-appimage
|
2023.1.1-7 |
1 |
0.00
|
A full fledged GUI integration for the award winning open-source android screen mirroring system |
orphan
|
2023-11-14 07:24 (UTC) |
|
gifcurry
|
6.0.1.0_0-1 |
18 |
0.00
|
The open-source, Haskell-built video editor for GIF makers. |
lettier
|
2020-10-13 04:16 (UTC) |
|
oss-cad-suite-build-bin
|
20240602-1 |
2 |
0.00
|
Nightly builds of open-source FPGA tools |
tannewt
|
2024-06-02 12:06 (UTC) |
|
peakeater-git
|
r86.acbc3ff-2 |
1 |
0.00
|
PeakEater is a free open-source cross-platform VST3/AU/LV2/CLAP wave shaper plugin |
apoorv569
|
2023-01-18 13:42 (UTC) |
|
ytsaurus
|
0.0.0.r65813.5b46de9-2 |
1 |
0.00
|
A scalable and fault-tolerant open-source big data platform. |
daskol
|
2023-07-31 03:10 (UTC) |
|
slashbase
|
0.9.0-1 |
1 |
0.00
|
Modern database IDE for your dev & data workflows. Supports MySQL, PostgreSQL & MongoDB. Free open-source database client. |
lagerfeuer
|
2023-05-05 22:09 (UTC) |
|
oscar-git
|
..r4286.32bef5b8-1 |
8 |
0.00
|
Open-source, cross platform, sleep tracking software with a focus on monitoring CPAP treatment. Fork of the sleepyhead project. |
harre
|
2023-08-29 23:20 (UTC) |
|
songrec-git
|
r295.3903735-1 |
3 |
0.00
|
An open-source, unofficial Shazam client for Linux, written in Rust. |
marin-m
|
2024-01-24 04:14 (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) |
|
ntfs2btrfs-git
|
20240115.r0.g1d55788-1 |
2 |
0.00
|
In-place conversion of Microsoft's NTFS filesystem to the open-source filesystem Btrfs |
SunRed
|
2024-04-11 18:06 (UTC) |
|
java11-openjfx
|
11.0.20.u1-1 |
1 |
0.00
|
Java OpenJFX 11 client application platform (open-source implementation of JavaFX) |
orphan
|
2023-11-29 19:23 (UTC) |
|
java11-openjfx-src
|
11.0.20.u1-1 |
1 |
0.00
|
Java OpenJFX 11 client application platform (open-source implementation of JavaFX) |
orphan
|
2023-11-29 19:23 (UTC) |
|
java11-openjfx-doc
|
11.0.20.u1-1 |
1 |
0.00
|
Java OpenJFX 11 client application platform (open-source implementation of JavaFX) |
orphan
|
2023-11-29 19:23 (UTC) |
|
openmodelica
|
1.22.4-1 |
8 |
0.00
|
Open-source Modelica-based modeling and simulation environment |
kyak
|
2024-05-22 06:48 (UTC) |
|
openasar-git
|
r827.4f264d8-1 |
5 |
0.00
|
Open-source alternative of Discord desktop's app.asar |
Kamack38
|
2024-01-13 18:36 (UTC) |
|
pterodactyl-panel
|
1.11.5-2 |
6 |
0.00
|
An open-source game server management panel |
AlphaJack
|
2024-03-12 23:38 (UTC) |
|
cerebro-bin
|
0.11.0-1 |
2 |
0.00
|
Open-source productivity booster with a brain |
HarmfulBreeze
|
2023-02-20 15:14 (UTC) |
|
predict
|
2.3.0-1 |
1 |
0.00
|
Satellite tracking, orbital prediction, open-source software |
orphan
|
2022-08-23 15:27 (UTC) |
|
websurfx-edge-git
|
v1.16.10.r0.g408858a-1 |
1 |
0.00
|
An open-source alternative to Searx that provides clean, ad-free, and organic results with incredible speed while keeping privacy and security in mind. |
pkg_maintainer
|
2024-05-06 20:26 (UTC) |
|
websurfx-git
|
v1.0.0.r722.99ec846-1 |
1 |
0.00
|
An open-source alternative to Searx that provides clean, ad-free, and organic results with incredible speed while keeping privacy and security in mind. |
pkg_maintainer
|
2023-10-02 17:27 (UTC) |
|
tome4-git
|
1.7.2.r117.g75e65d71a1-1 |
3 |
0.00
|
An open-source, single-player, role-playing roguelike game set in the world of Eyal. |
heavysink
|
2021-03-26 22:24 (UTC) |
|
airshipper-git
|
0.10.0.r6.0fa7c6d-1 |
3 |
0.00
|
The official launcher for Veloren - an open-world, open-source multiplayer voxel RPG |
Mckol
|
2023-01-02 20:15 (UTC) |
|
katago-avx2
|
1.14.1-1 |
2 |
0.00
|
Strong open-source self-play-trained Go engine |
vesath
|
2024-03-21 06:18 (UTC) |
|
veloren-git
|
0.15.0.r961.gb744f66733-1 |
3 |
0.00
|
The development version of an open-world, open-source multiplayer voxel RPG |
Mckol
|
2024-01-31 08:45 (UTC) |
|
flightgear-git
|
2020.4.0r16085.1757b1d5b-1 |
18 |
0.00
|
An open-source, multi-platform flight simulator |
AWhetter
|
2023-12-31 16:56 (UTC) |
|
maestral
|
1.9.3-1 |
13 |
0.00
|
A light-weight and open-source Dropbox client |
PlasticSoup
|
2024-04-21 21:22 (UTC) |
|
greptimedb-bin
|
0.9.0.20240527-1 |
1 |
0.00
|
Open-source time-series database. |
sunng
|
2024-05-27 02:32 (UTC) |
|
modrinth-cli-git
|
r229.7644701-1 |
1 |
0.00
|
Official Modrinth CLI launcher. Open-source, built by the community, for the community. |
Nixuge
|
2024-06-01 09:56 (UTC) |
|
tome4-bin
|
1.7.6-1 |
1 |
0.00
|
An open-source, single-player, role-playing roguelike game set in the world of Eyal. |
kyndair
|
2023-06-30 18:41 (UTC) |
|
tara
|
0.5.0-1 |
1 |
0.00
|
Tara is a modern, free, open-source, self-hostable Discord bot |
Decator_TheONLY
|
2023-06-12 22:26 (UTC) |
|
uvg266
|
0.8.0-1 |
2 |
0.00
|
An open-source VVC encoder |
dbermond
|
2023-09-27 16:43 (UTC) |
|
openhv
|
20240401-2 |
2 |
0.00
|
An open-source pixel-art science-fiction real-time-strategy game. |
Mailaender
|
2024-06-01 14:18 (UTC) |
|
crafty
|
25.2-4 |
90 |
0.00
|
A free, open-source computer chess program developed by Dr. Robert M. (Bob) Hyatt |
InstallerLegacy
|
2022-05-08 13:37 (UTC) |
|
openxcom-docs-git
|
1.0_r3113_ge2c5a1b45-1 |
16 |
0.00
|
Documentation for the open-source reimplementation of the famous X-COM game (git-version) |
WorMzy
|
2024-03-08 23:06 (UTC) |