92114 packages found. Page 1 of 1843.

1 2 3 4 5 6 .. 1843 Next › Last »

Name Version Votes Popularity? Description Maintainer Last Updated
bitwuzla 0.5.0-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-30 00:55 (UTC)
bitwuzla-doc 0.5.0-1 0 0.00 Documentation for the Bitwuzla SMT solver meadow 2024-05-30 00:55 (UTC)
tdf-git 20240529.r20.1e89a93-1 0 0.00 A terminal-based PDF viewer prurigro 2024-05-30 00:54 (UTC)
jellything-git r628.34300db-1 0 0.00 Jellything media streaming server metamuffin 2024-05-30 00:53 (UTC)
keks-meet-server 1.1.0-2 0 0.00 Server for keks-meet, a simple and secure conferencing application for the web. metamuffin 2024-05-30 00:53 (UTC)
gnix 2.0.0-1 0 0.00 a simple stupid http reverse proxy metamuffin 2024-05-30 00:53 (UTC)
commacd-git 20190203.r77.0431104-1 2 0.00 A faster way to move around Bash prurigro 2024-05-30 00:53 (UTC)
muffon-git 2.0.3.r41.g3178f23-1 0 0.00 Music streaming browser,retrieves audio, video and metadata from various Internet sources. zxp19821005 2024-05-30 00:48 (UTC)
mtail-bin 3.0.1-1 0 0.00 extract whitebox monitoring data from application logs for collection in a timeseries database just1602 2024-05-30 00:42 (UTC)
yandex-music 5.2.2-1 10 2.61 Yandex Music - Personal recommendations, selections for any occasion and new music CucumberSpace 2024-05-30 00:40 (UTC)
jellyseerr 1.9.0-1 6 0.08 Request management and media discovery tool for the Plex ecosystem jab416171 2024-05-30 00:27 (UTC)
ruffle-nightly-bin 2024.05.30-1 19 0.94 A Flash Player emulator written in Rust ruffle 2024-05-30 00:24 (UTC)
electrum-appimage 4.5.4-1 2 0.00 Electrum Bitcoin wallet with bundled libraries digital_mystik 2024-05-30 00:23 (UTC)
paclogger 1.2.2-1 0 0.00 A Pacman hook written in C++ that logs all of the updates and downgrades every day. alexmurkoff 2024-05-30 00:09 (UTC)
r-spatiallibd 1.16.2-1 0 0.00 an R/Bioconductor package to visualize spatially-resolved transcriptomics data pekkarr 2024-05-30 00:04 (UTC)
r-flexplot 0.20.9-1 0 0.00 Graphically Based Data Analysis BioArchLinuxBot 2024-05-30 00:02 (UTC)
dart-sdk-dev 3.5.0_196.0.dev-1 11 0.75 The official Dart sdk from dart-lang project (Development branch) KlarkKable 2024-05-30 00:02 (UTC)
nextpnr-nexus-nightly 1:20240530_nextpnr_0.7_39_gb7f91e57-1 1 0.00 nextpnr portable FPGA place and route tool - for nexus lethalbit 2024-05-30 00:01 (UTC)
nextpnr-ice40-nightly 1:20240530_nextpnr_0.7_39_gb7f91e57-1 3 0.01 nextpnr portable FPGA place and route tool - for ice40 lethalbit 2024-05-30 00:01 (UTC)
r-stanheaders 2.32.9-1 1 0.00 C++ Header Files for Stan BioArchLinuxBot 2024-05-30 00:01 (UTC)
nextpnr-machxo2-nightly 1:20240530_nextpnr_0.7_39_gb7f91e57-1 0 0.00 nextpnr portable FPGA place and route tool - for machxo2 lethalbit 2024-05-30 00:01 (UTC)
nextpnr-ecp5-nightly 1:20240530_nextpnr_0.7_39_gb7f91e57-1 1 0.00 nextpnr portable FPGA place and route tool - for ecp5 lethalbit 2024-05-30 00:01 (UTC)
nextpnr-all-nightly 1:20240530_nextpnr_0.7_39_gb7f91e57-1 1 0.01 nextpnr portable FPGA place and route tool - ice40, ecp5, machxo2, nexus, and generic lethalbit 2024-05-30 00:01 (UTC)
nextpnr-generic-nightly 1:20240530_nextpnr_0.7_39_gb7f91e57-1 1 0.00 nextpnr portable FPGA place and route tool - generic lethalbit 2024-05-30 00:01 (UTC)
prjoxide-nightly 1:20240530_30712ff-1 0 0.00 Documenting Lattice's 28nm FPGA parts lethalbit 2024-05-30 00:01 (UTC)
prjtrellis-nightly 1:20240530_1.4_66_g2dab009-1 0 0.00 Documenting the Lattice ECP5 bit-stream format. lethalbit 2024-05-30 00:01 (UTC)
icestorm-nightly 1:20240530_c23e99c-1 1 0.00 Lattice iCE40 FPGAs Bitstream Documentation lethalbit 2024-05-30 00:00 (UTC)
mcy-nightly 1:20240530_yosys_0.41_2_gb01592a-1 0 0.00 Mutation Cover with Yosys lethalbit 2024-05-30 00:00 (UTC)
eqy-nightly 1:20240530_yosys_0.41_3_g702af89-1 0 0.00 Equivalence Checking with Yosys lethalbit 2024-05-30 00:00 (UTC)
sby-nightly 1:20240530_yosys_0.41_2_g641d5d5-1 0 0.00 Front-end for Yosys-based formal verification flows lethalbit 2024-05-30 00:00 (UTC)
yosys-nightly 1:20240530_yosys_0.41_109_g557968567-1 1 0.00 Yosys Open SYnthesis Suite, A framework for RTL synthesis lethalbit 2024-05-30 00:00 (UTC)
infisical-bin 0.22.3-1 1 0.00 The official Infisical CLI maidul98 2024-05-29 23:44 (UTC)
qpitch 1.0.1-5 11 0.49 instrument tuner micwoj92 2024-05-29 23:42 (UTC)
palemoon-gtk3 1:33.1.1-1 4 0.00 Open source web browser based on Firefox focusing on efficiency. micwoj92 2024-05-29 23:38 (UTC)
gpu-screen-recorder-git r596.0d558a3-1 29 1.36 A shadowplay-like screen recorder for Linux. The fastest screen recorder for Linux DEC05EBA 2024-05-29 23:26 (UTC)
bitcoin-core 27.0-1 11 0.00 Bitcoin Core headless P2P node mrxx 2024-05-29 23:23 (UTC)
garbage 0.4.3-1 2 0.00 Command-line interface to the FreeDesktop Trash can mzhang 2024-05-29 23:13 (UTC)
inko-git 0.13.0.r0.g183e5633-1 0 0.00 A language for building concurrent software with confidence yorickpeterse 2024-05-29 23:12 (UTC)
opengist-bin 1.7.2-2 0 0.00 Opengist Server BlackLotus89 2024-05-29 23:11 (UTC)
ollama-rocm-git 0.1.39.g96bc232b-1 1 0.24 Create, run and share large language models (LLMs) with ROCm sr.team 2024-05-29 23:07 (UTC)
gibson 0.2.6-1 0 0.00 A simple markdown go blog fredix 2024-05-29 23:01 (UTC)
nwg-displays 0.3.20-1 11 2.26 Output management utility for sway and Hyprland Wayland compositors nwg 2024-05-29 23:01 (UTC)
discord-canary 0.0.404-1 21 2.55 All-in-one voice and text chat for gamers - alpha build timschumi 2024-05-29 23:00 (UTC)
yandex-messenger 2.155.0-4 1 0.24 Yandex Messenger is designed for communication: send text messages, make audio and video calls in private and group chats, subscribe to and create channels. Communicate with colleagues in a private space. bulatovv 2024-05-29 23:00 (UTC)
ollama-cuda-git 0.1.39.g96bc232b-1 1 0.43 Create, run and share large language models (LLMs) with CUDA sr.team 2024-05-29 22:47 (UTC)
gexif 0.6.24-1 20 0.00 View and edit the EXIF tags contained in JPG and TIFF files mrxx 2024-05-29 22:34 (UTC)
bozohttpd 20220517-1 4 0.00 A small and secure HTTP version 1.1 server mrxx 2024-05-29 22:27 (UTC)
mousemode-git 1.0.r26.d28ca67-1 1 0.49 An intuitive, home-row mouse replacement randoragon 2024-05-29 22:25 (UTC)
firedragon 1:11.13.3-1.1 23 0.11 Floorp fork build using custom branding and settings dr460nf1r3 2024-05-29 22:25 (UTC)
firedragon-bin 1:11.13.3-1.1 0 0.00 Floorp fork build using custom branding and settings garudalinux 2024-05-29 22:25 (UTC)

92114 packages found. Page 1 of 1843.

1 2 3 4 5 6 .. 1843 Next › Last »