296 packages found. Page 1 of 6.

1 2 3 4 5 6 Next › Last »

Name Version Votes Popularity? Description Maintainer Last Updated
linux-firmware-qlogic-git 20240312.3b128b60-1 77 2.05 Firmware files for Linux - qlogic / Firmware for QLogic devices MRWITEK 2024-03-15 11:25 (UTC)
saleae-logic2 2.4.14-1 12 0.80 Debug hardware like a pro tugyan 2024-02-27 00:05 (UTC)
python-proton-core 0.1.16-2 3 0.76 The proton-core component contains core logic used by the other Proton components. ali.molaei 2024-03-08 11:35 (UTC)
pulseview-git 0.3.0.r1150.gae8dd8753ec0-1 14 0.71 A Qt based logic analyzer GUI for sigrok. (git version) codyps 2023-07-11 12:00 (UTC)
libsigrokdecode-git 0.2.0.r1038.g30d27bd-1 11 0.65 Client software that supports various hardware logic analyzers, protocol decoders library (git version) codyps 2019-01-04 21:46 (UTC)
libsigrok-git 0.2.1.r3652.g025bd56f-1 14 0.65 Client software that supports various hardware logic analyzers, core library (git version) codyps 2020-07-13 17:51 (UTC)
jason-bin 3.2.0-1 1 0.37 Fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language. laurasabucedo 2024-02-01 12:15 (UTC)
mecab-git r144.32041d9-1 13 0.29 Yet another part-of-speech and morphological analyzer. hidebu 2016-03-29 11:27 (UTC)
python-pymorphy3 1.2.0-00 1 0.28 Morphological analyzer (POS tagger + inflection engine) for Russian language. 1over137 2023-09-04 18:40 (UTC)
fuzzylite-git r1042.9e47f8ac-1 2 0.24 C++ fuzzy logic control library Gigas002 2024-01-19 13:09 (UTC)
dsview 1:1.3.1-1 12 0.24 Client software that supports the DreamSourceLab logic analyzer codyps 2023-11-06 17:53 (UTC)
r-chron 2.3.61-2 1 0.21 Chronological Objects which Can Handle Dates and Times BioArchLinuxBot 2024-03-14 18:06 (UTC)
kingstvis 3.6.2-1 2 0.18 Kingst Virtual Instruments - Logic Analyzer kro007 2023-10-28 09:56 (UTC)
atsas 3.2.1-3 1 0.14 A program suite for small-angle scattering data analysis from biological macromolecules awacha 2023-12-13 16:03 (UTC)
logisim-evolution 3.8.0-1 25 0.11 An educational tool for designing and simulating digital logic circuits yigits 2022-10-02 20:07 (UTC)
fuzzylite 6.0-7 11 0.06 C++ fuzzy logic control library carsme 2024-01-28 22:34 (UTC)
linux-firmware-qlogic-xz 20230804.7be2766d-2 5 0.04 Firmware files for Linux - qlogic / Firmware for QLogic devices TheDcoder 2023-09-11 11:25 (UTC)
logisim 2.7.1-7 83 0.03 An educational tool for designing and simulating digital logic circuits gabry3795 2020-04-19 19:53 (UTC)
seiscomp 6.2.0-1 3 0.02 A seismological software for data acquisition, processing, distribution and analysis. morealaz 2024-02-06 12:04 (UTC)
seiscomp-git 5.0.1.r0.g9235548-1 2 0.02 A seismological software for data acquisition, processing, distribution and interactive analysis (GitHub version). morealaz 2022-06-22 07:23 (UTC)
aml-flash-tool 4.9-3 1 0.02 Linux version of Amlogic USB Burning Tool. yjun 2023-09-06 14:38 (UTC)
clingo 5.7.1-1 5 0.01 Grounding tools for (disjunctive) logic programs adsun 2024-02-16 13:52 (UTC)
machinarium 3-14 49 0.00 A point-and-click logic adventure game by the creators of Samorost (requires copy of the full game) Mr.Smith1974 2018-06-04 11:15 (UTC)
antichamber 1392664980-2 10 0.00 A mind-bending psychological exploration game where nothing can be taken for granted Mr.Smith1974 2015-06-12 17:27 (UTC)
gplates 2.4.0-2 2 0.00 GPlates is a plate tectonics program. Manipulate reconstructions of geological and paleogeographic features through geological time. Interactively visualize vector, raster and volume data. tamamizu 2023-12-19 14:01 (UTC)
swmm5-git 5.2.3-1 1 0.00 Hydraulic and hidrologic modelation engine for wastewater drainage systems. lothar_m 2023-07-05 17:52 (UTC)
ttf-exo-2 2.001-1 5 0.00 Exo 2 is a complete redrawing of Exo, a contemporary geometric sans serif typeface that tries to convey a technological/futuristic feeling while keeping an elegant design. accuminium 2023-05-30 19:22 (UTC)
r-geomap 2.5.5-1 1 0.00 Topographic and Geologic Mapping BioArchLinuxBot 2023-09-02 00:01 (UTC)
isabelle-tum 2021_1-1 1 0.00 A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Release mirror: TUM. MW360 2021-12-13 23:15 (UTC)
aemet-cli 1.0-1 1 0.00 Aplicación de terminal que permite obtener las previsiones del tiempo meteorológico en España. Usa datos abiertos de la Agencia Estatal de Meteorología (AEMET) del Gobierno de España. davidpblcrd 2017-09-12 16:23 (UTC)
digital 0.29-4 12 0.00 A digital logic designer and circuit simulator. edg-l 2022-09-05 06:53 (UTC)
python-altgraph 0.17.4-1 11 0.00 A graph (network) package for constructing graphs, BFS and DFS traversals, topological sort, shortest paths, etc. with graphviz output. flying-sheep 2023-12-12 08:05 (UTC)
lib32-libraqm 0.10.0-1 5 0.00 A library that encapsulates the logic for complex text layout (32-bit) Grumpyoldgamer 2023-10-16 17:03 (UTC)
logisim-ita-bin 2.16.1.2-1 1 0.00 An educational tool for designing and simulating digital logic circuits (Italian fork) maniacata 2020-05-19 00:03 (UTC)
labrador-git 1:r583.2cc0678b-1 3 0.00 Qt5 GUI for EspoTek all-in-one USB oscilloscope/ signal generator/ PSU/ logic analyzer/ multimeter keldrin 2022-12-27 22:37 (UTC)
python-grilops 0.9.1-2 1 0.00 GRId LOgic Puzzle Solver vEnhance 2022-12-26 06:42 (UTC)
logisim-evolution-bin 3.8.0-1 7 0.00 An educational tool for designing and simulating digital logic circuits (binary version) Paragoumba 2022-12-04 21:32 (UTC)
last-align 1542-1 1 0.00 Genome-scale comparison of biological sequences luscinius 2024-02-20 05:39 (UTC)
octave-image 2.14.0-1 62 0.00 The Octave-forge Image package provides functions for processing images. The package also provides functions for feature extraction, image statistics, spatial and geometric transformations, morphological operations, linear filtering, and much more. pingplug 2022-11-08 01:30 (UTC)
dsview-git 1.2.0.r15.g9264bce-1 4 0.00 GUI programe for supporting various instruments from DreamSourceLab, including logic analyzer, oscilloscope, etc. anatolik 2022-08-01 16:10 (UTC)
anylogic-ple 8.8.6-1 1 0.00 AnyLogic Personal Learning Edition - for beginners and students DragonX256 2024-03-11 13:30 (UTC)
fl2000-dkms r16.92da04a-1 1 0.00 Fresco Logic FL2000 USB to VGA adapter driver orphan 2019-07-31 12:31 (UTC)
tang-dynasty 5.0.3_30786-1 1 0.00 Tang Dynasty IDE for Anlogic FPGAs caylin 2021-09-24 07:11 (UTC)
python-obspy 1.4.0-1 5 0.00 A Python framework for processing seismological data cucullus 2022-12-14 16:42 (UTC)
isabelle 2023-1 25 0.00 A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. bitwave 2023-09-18 11:16 (UTC)
ttf-new-athena-unicode 5.008-1 1 0.00 A freeware multilingual font distributed by the American Philological Association. FantasqueX 2022-07-04 06:39 (UTC)
picat 3.5-1 2 0.00 A simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications. abeaumont 2023-07-10 20:53 (UTC)
zsurf-git 0.1.0-1 4 0.00 Ultra lightweight web browser in the spirit of Surf using QtWebEngine with front-end logic written in Javascript. SteveDeFacto 2017-03-29 12:26 (UTC)
zatikon 1.003-3 0 0.00 Turn-based board strategy game inspired by chess, made by Chronic Logic lukky513 2015-11-01 22:44 (UTC)
xf86-video-cirrus 1.6.0-1 0 0.00 Cirrus Logic video driver for the Xorg X server orphan 2022-07-27 05:25 (UTC)

296 packages found. Page 1 of 6.

1 2 3 4 5 6 Next › Last »