231 packages found. Page 1 of 5.

1 2 3 4 5 Next › Last »

Name Version Votes Popularity? Description Maintainer
saleae-logic2 2.3.28-1 5 2.79 Debug hardware like a pro tugyan
lib32-libraqm 0.7.1-1 4 0.98 A library that encapsulates the logic for complex text layout (32-bit) rodrigo21
python-license-expression 21.6.14-1 2 0.93 Utility library to parse, normalize and compare License expressions for Python using a boolean logic engine mxmehl
libhunspell1.3 1.3.2-1 2 0.82 Only the libraries provided by hunspell, the spell checker and morphological analyzer erincerys
digimend-drivers-git-dkms 10.r0.gec5c16d-1 6 0.67 Linux kernel modules (DKMS) for non-Wacom USB graphics tablets. Git version. Arnett
meteoinfo 2.4.2-1 1 0.61 An open source software suite to view and analyze meteorological and spatial data interactively (MeteoInfoMap) or do scientific computation and visualization (MeteoInfoLab) heavysink
r-whisker 0.4-1 1 0.21 {{mustache}} for R, Logicless Templating dviktor
isabelle 2021-1 24 0.17 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
libsigrok-git 0.2.1.r3652.g025bd56f-1 11 0.16 Client software that supports various hardware logic analyzers, core library (git version) codyps
topologic-parse-git 1.1.0-1 1 0.16 Library to create dyanimic context free or switching automata msstern98
python-topylogic 1.4.4-1 1 0.15 Library to create dyanimic context free or switching automata msstern98
topologic-git 1.3.0-1 1 0.13 Library to create dyanimic context free or switching automata msstern98
digital 0.27-3 8 0.10 A digital logic designer and circuit simulator. edg-l
uclogic-tools 5-1 5 0.08 Show diagnostic information from UC-Logic graphics tablets (rebranded as Huion, Yiynova, Ugee, Monoprice, Turcom and others) zanny
eprover 2.5-1 11 0.06 E is theorem prover for full first-order logic with equality. asch
logisim 2.7.1-7 77 0.05 An educational tool for designing and simulating digital logic circuits Marcel_K
python-meteocalc 1.1.0-1 1 0.05 Several functions for calculation of meteorological variables: dew point, heat index, wind chill, feels like temperature. Rogach
twelf 1.7.1-4 1 0.05 An implementation of the logical framework LF soimort
mecab 0.996-6 9 0.04 Yet another part-of-speech and morphological analyzer. Yuanji
logisim-evolution-bin 3.4.1-2 1 0.04 An educational tool for designing and simulating digital logic circuits (binary version) maniacata
clingo 5.5.0-1 5 0.04 Grounding tools for (disjunctive) logic programs adsun
python-obspy-docs 1.2.0-1 1 0.03 Set of HTML documentation for Obspy seismological framework. morealaz
logisim-evolution 3.4.1-3 13 0.03 An educational tool for designing and simulating digital logic circuits (build from source) maniacata
dsview 1.12-2 10 0.03 Client software that supports the DreamSourceLab logic analyzer codyps
libsigrok4dsl 1.12-1 5 0.02 Client software that supports the DSLogic DreamSourceLab logic analyzer codyps
fuzzylite 6.0-2 8 0.01 C++ fuzzy logic control library orphan
wfdb-samples 10.6.0-1 2 0.01 Software from PhysioNet for viewing, analyzing, and creating recordings of physiologic signals orphan
wfdb 10.6.0-1 2 0.01 Software from PhysioNet for viewing, analyzing, and creating recordings of physiologic signals orphan
python-pymorphy2 0.9.1-1 1 0.01 Morphological analyzer (POS tagger + inflection engine) for Russian language. vantu5z
python-obspy 1.2.2-1 4 0.01 A Python framework for processing seismological data cucullus
cp2k-bin 7.1-1 2 0.01 A quantum chemistry and solid state physics software package for atomistic simulations of solid state, liquid, molecular, periodic, material, crystal, and biological systems. (precompiled, OpenMP) berquist
ruby-arel 9.0.0-1 28 0.01 Arel Really Exasperates Logicians Arel is a SQL AST manager for Ruby orphan
digital-git v0.27.r72.g5aa8e2bc2-2 1 0.00 A digital logic designer and circuit simulator. Git development version VitalyR
sigrok-firmware-dreamsourcelab-dslogic 0.97-2 2 0.00 Firmware for DreamsourceLab DSLogic & DScope logic analyzers codyps
ttf-exo-2 2.000-1 3 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. hwesselmann
python-g2p-blocks-git 167-3 1 0.00 Enable bcache or LVM on existing block devices. Convert between raw partitions, logical volumes, and bcache devices witout moving data. chris_l
espresso-logic 1.1.1-1 3 0.00 The espresso PLA logic minimization program classabbyamp
sigrok-firmware-saleae-logic16 0-1 3 0.00 FX2 firmware and the FPGA bitstreams required for using the Saleae Logic16. Synthead
gog-terraria 1:1.4.2.3.47102-1 6 0.00 The very world is at your fingertips as you fight for survival, fortune, and glory. swix
gog-rogue-legacy 2.0.0.2-1 1 0.00 A genealogical "roguelite" where anyone can be a hero Runiq
sigrok-firmware-saleae-logic 1.2.10-1 1 0.00 Firmware and FPGA bitstream binaries for Saleae Logic (Pro) devices used with Sigrok. samekh
verifybamid 1.1.3-1.1 1 0.00 Verify identity and purity of sequence data mrwillbarnz
artemis 18.1.0-1 2 0.00 A genome viewer and annotation tool that visualizes biological sequence features mrwillbarnz
boolr v1.0.3-2 5 0.00 A digital logic simulator hockdudu
python-turkish-morphology 1.2.4-1 1 0.00 A two-level morphological analyzer for Turkish caleb
mystem 3.0-1 3 0.00 Morphological analyser of the text for Russian, Polish and English. daskol
libmystem 3.0-1 3 0.00 C bindings for MyStem morphological analyser. daskol
saleae-logic 1.2.18-1 42 0.00 High speed USB logic analyzer. keenerd
python-dwdweather2 0.14.0-1 1 0.00 Client to access weather data from Deutscher Wetterdienst (DWD), the federal meteorological service in Germany iyanmv
metview 5.8.1-1 3 0.00 ECMWF interactive meteorological application graziano

231 packages found. Page 1 of 5.

1 2 3 4 5 Next › Last »