bitwuzla
|
0.4.0-2 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-05-14 17:30 (UTC) |
bitwuzla-doc
|
0.4.0-2 |
0 |
0.00
|
Documentation for the Bitwuzla SMT solver |
meadow
|
2024-05-14 17:30 (UTC) |
bitwuzla-git
|
0.4.0.r51.g31330f2-1 |
0 |
0.00
|
SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations |
meadow
|
2024-05-14 17:30 (UTC) |
pacbro
|
1.0.8-1 |
0 |
0.00
|
Package Browser for Arch, terminal multi-panel edition |
cherio
|
2024-05-14 17:29 (UTC) |
emoj
|
4.1.0-1 |
8 |
0.00
|
Find relevant emoji from text on the command-line |
kleintux
|
2024-05-14 17:22 (UTC) |
chatgpt.sh
|
0.57.14-1 |
2 |
1.09
|
Shell wrapper for OpenAI's ChatGPT, DALL-E, Whisper, and TTS. Features LocalAI, Ollama, Gemini and Mistral integration. |
lilikoi
|
2024-05-14 17:19 (UTC) |
gamescope-nvidia
|
3.14.14-1 |
2 |
0.30
|
SteamOS session compositing window manager (NVIDIA patch) |
detian
|
2024-05-14 17:19 (UTC) |
hpp-fcl
|
2.4.4-2 |
1 |
0.00
|
An extension of the Flexible Collision Library |
Nim65s
|
2024-05-14 17:15 (UTC) |
hpp-fcl-docs
|
2.4.4-2 |
1 |
0.00
|
An extension of the Flexible Collision Library |
Nim65s
|
2024-05-14 17:15 (UTC) |
mintlocale
|
1.6.1-1 |
24 |
1.22
|
Language and locale selection tool |
Santi-Burgos
|
2024-05-14 17:04 (UTC) |
mullvad-browser-bin
|
13.0.15-1 |
28 |
3.72
|
Privacy-focused web browser developed by Mullvad VPN and the Tor Project |
tarball
|
2024-05-14 17:04 (UTC) |
erigon
|
1:2.60.0-2 |
6 |
0.00
|
Ethereum implementation on the efficiency frontier. |
vorot93
|
2024-05-14 17:02 (UTC) |
erigon-bin
|
2.60.0-1 |
1 |
0.00
|
Ethereum implementation on the efficiency frontier. Binary distribution |
xrchz
|
2024-05-14 17:02 (UTC) |
pyznap
|
1.6.0-2 |
4 |
0.00
|
ZFS snapshot tool written in Python |
fryfrog
|
2024-05-14 17:02 (UTC) |
python-pep621
|
0.6.1-2 |
0 |
0.00
|
PEP 621 metadata parsing |
orphan
|
2024-05-14 17:01 (UTC) |
eigenpy
|
3.5.1-2 |
1 |
0.00
|
Bindings between numpy and eigen using boost::python |
Nim65s
|
2024-05-14 16:54 (UTC) |
eigenpy-docs
|
3.5.1-2 |
1 |
0.00
|
Bindings between numpy and eigen using boost::python |
Nim65s
|
2024-05-14 16:54 (UTC) |
libfwbt
|
1.0-1 |
0 |
0.00
|
Parsing & Serialization library for the FWBT format |
Bertrahm
|
2024-05-14 16:54 (UTC) |
mariebuild
|
0.5.2-2 |
0 |
0.00
|
A simple build system with support for incremental builds |
Bertrahm
|
2024-05-14 16:42 (UTC) |
localsend
|
1.14.0-1 |
6 |
1.11
|
An open source cross-platform alternative to AirDrop. |
patlefort
|
2024-05-14 16:40 (UTC) |
flutter-engine
|
1:1.0.4-1 |
1 |
0.03
|
Engine for flutter applications. |
patlefort
|
2024-05-14 16:39 (UTC) |
brave-bin
|
1:1.65.133-1 |
767 |
14.31
|
Web browser that blocks ads and trackers by default (binary release) |
alerque
|
2024-05-14 16:32 (UTC) |
fermat
|
7.5-1 |
0 |
0.00
|
A computer algebra system for polynomial and matrix computation |
Dylan14
|
2024-05-14 16:20 (UTC) |
surrealdb-bin
|
1.5.0-1 |
4 |
1.45
|
A scalable, distributed, collaborative, document-graph database, for the realtime web |
quio
|
2024-05-14 16:18 (UTC) |
ryujinx-ava-bin
|
1.1.1310-1 |
2 |
0.00
|
Experimental Nintendo Switch Emulator written in C# (master build channel release, test ava build) |
honjow
|
2024-05-14 16:11 (UTC) |
xpipe-ptb
|
1:10.0-1 |
0 |
0.00
|
XPipe (Public Test Build) releases |
crschnick
|
2024-05-14 16:07 (UTC) |
projen
|
0.81.11-1 |
1 |
0.00
|
Define and maintain complex project configuration through code. projen synthesizes project configuration files from a well-typed definition written in JavaScript. |
XenGi
|
2024-05-14 16:05 (UTC) |
hyperscan-chimera-static
|
5.4.2-2 |
0 |
0.00
|
Hyperscan Intel library with chimera support |
txomon
|
2024-05-14 16:05 (UTC) |
quint
|
0.19.4-1 |
0 |
0.00
|
Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions |
rnbguy
|
2024-05-14 16:04 (UTC) |
rosary-tauri
|
1.2.3-1 |
0 |
0.00
|
A Bible App developed with tauri |
JamesRose017
|
2024-05-14 15:57 (UTC) |
zaproxy-weekly
|
2024_05_14-1 |
6 |
0.44
|
Integrated penetration testing tool for finding vulnerabilities in web applications, weekly Pre-release |
johnnybash
|
2024-05-14 15:42 (UTC) |
tea-qt
|
63.0.2-1 |
5 |
0.00
|
Powerful text editor for Linux, *BSD, Windows, OS/2, Mac and Haiku OS with PDF and DJVU support |
FabioLolix
|
2024-05-14 15:36 (UTC) |
tea-qt-git
|
63.0.2.r1.g2329f3b-1 |
1 |
0.00
|
Rich-featured text editor for Linux, *BSD, Windows, OS/2, Mac and Haiku OS. Stable git-commit. |
semiletov
|
2024-05-14 15:36 (UTC) |
mise
|
2024.5.15-1 |
15 |
2.88
|
The front-end to your dev env |
jdx
|
2024-05-14 15:33 (UTC) |
mise-bin
|
2024.5.15-1 |
12 |
2.44
|
The front-end to your dev env |
jdx
|
2024-05-14 15:33 (UTC) |
mondoo
|
11.3.1-1 |
1 |
0.00
|
Mondoo Client CLI for the Mondoo Policy as Code Platform |
arlimus
|
2024-05-14 15:30 (UTC) |
cnspec
|
11.4.0-1 |
1 |
0.00
|
Cloud-Native Security and Policy Framework |
atomic111
|
2024-05-14 15:30 (UTC) |
cnquery
|
11.4.0-1 |
0 |
0.00
|
Cloud-Native Query - Asset Inventory Framework |
atomic111
|
2024-05-14 15:30 (UTC) |
mmc-utils-git
|
1:r128.f757f41-1 |
6 |
0.00
|
Userspace tools for MMC/SD devices |
jpegxguy
|
2024-05-14 15:18 (UTC) |
papis
|
0.13-3 |
15 |
0.25
|
Papis is a powerful and highly extensible command-line based document and bibliography manager. |
BoostCookie
|
2024-05-14 15:14 (UTC) |
gitkraken
|
10.0.0-1 |
292 |
1.23
|
The intuitive, fast, and beautiful cross-platform Git client. |
Azd325
|
2024-05-14 15:13 (UTC) |
edmarketconnector
|
5.10.6-1 |
12 |
1.23
|
Downloads commodity market and other station data from the game Elite: Dangerous for use with all popular online and offline trading tools |
NeoTheFox
|
2024-05-14 15:08 (UTC) |
duckstation-git
|
0.1.r6757.g7626a9b-1 |
24 |
3.50
|
A Sony PlayStation (PSX) emulator, focusing on playability, speed, and long-term maintainability (git version) |
eugene
|
2024-05-14 15:07 (UTC) |
sveltosctl-bin
|
0.29.1-1 |
0 |
0.00
|
Sveltos CLI tool |
magnusref
|
2024-05-14 15:06 (UTC) |
charge-guru
|
r8.38563a9-2 |
1 |
0.49
|
Application to control SkyRC B6* chargers |
swearchnick
|
2024-05-14 15:05 (UTC) |
libb6
|
r5.4e330d5-2 |
0 |
0.00
|
Library for interfacing with SkyRC B6xx series chargers |
swearchnick
|
2024-05-14 15:04 (UTC) |
umu-launcher
|
0.1.RC4.r49.80579e5-1 |
3 |
2.02
|
This is the Unified Launcher for Windows Games on Linux, to run Proton with fixes outside of Steam |
loathingkernel
|
2024-05-14 15:04 (UTC) |
r-farver
|
2.1.2-3 |
1 |
0.00
|
High Performance Colour Space Manipulation |
greyltc
|
2024-05-14 14:45 (UTC) |
lib32-mesa-minimal-git
|
24.2.0_devel.189269.02efe52aab6-1 |
7 |
0.00
|
an open-source implementation of the OpenGL specification, git version |
Lone_Wolf
|
2024-05-14 14:44 (UTC) |
mesa-minimal-git
|
24.2.0_devel.189258.5502ecd7716-1 |
11 |
0.93
|
an open-source implementation of the OpenGL specification, stripped down git version |
Lone_Wolf
|
2024-05-14 14:42 (UTC) |