231 packages found. Page 5 of 5.

« First ‹ Previous 1 2 3 4 5

Name Version Votes Popularity? Description Maintainer
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
python-obspy 1.2.2-1 4 0.01 A Python framework for processing seismological data cucullus
python-pymorphy2 0.9.1-1 1 0.01 Morphological analyzer (POS tagger + inflection engine) for Russian language. vantu5z
wfdb 10.6.0-1 2 0.01 Software from PhysioNet for viewing, analyzing, and creating recordings of physiologic signals orphan
wfdb-samples 10.6.0-1 2 0.01 Software from PhysioNet for viewing, analyzing, and creating recordings of physiologic signals orphan
fuzzylite 6.0-2 8 0.01 C++ fuzzy logic control library orphan
libsigrok4dsl 1.12-1 5 0.02 Client software that supports the DSLogic DreamSourceLab logic analyzer codyps
dsview 1.12-2 10 0.03 Client software that supports the DreamSourceLab logic analyzer codyps
logisim-evolution 3.4.1-3 13 0.03 An educational tool for designing and simulating digital logic circuits (build from source) maniacata
python-obspy-docs 1.2.0-1 1 0.03 Set of HTML documentation for Obspy seismological framework. morealaz
clingo 5.5.0-1 5 0.04 Grounding tools for (disjunctive) logic programs adsun
logisim-evolution-bin 3.4.1-2 1 0.04 An educational tool for designing and simulating digital logic circuits (binary version) maniacata
mecab 0.996-6 9 0.04 Yet another part-of-speech and morphological analyzer. Yuanji
twelf 1.7.1-4 1 0.05 An implementation of the logical framework LF soimort
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
logisim 2.7.1-7 77 0.05 An educational tool for designing and simulating digital logic circuits Marcel_K
eprover 2.5-1 11 0.06 E is theorem prover for full first-order logic with equality. asch
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
digital 0.27-3 8 0.10 A digital logic designer and circuit simulator. edg-l
topologic-git 1.3.0-1 1 0.13 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-parse-git 1.1.0-1 1 0.16 Library to create dyanimic context free or switching automata msstern98
libsigrok-git 0.2.1.r3652.g025bd56f-1 11 0.16 Client software that supports various hardware logic analyzers, core library (git version) codyps
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
r-whisker 0.4-1 1 0.21 {{mustache}} for R, Logicless Templating dviktor
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
digimend-drivers-git-dkms 10.r0.gec5c16d-1 6 0.67 Linux kernel modules (DKMS) for non-Wacom USB graphics tablets. Git version. Arnett
libhunspell1.3 1.3.2-1 2 0.82 Only the libraries provided by hunspell, the spell checker and morphological analyzer erincerys
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
lib32-libraqm 0.7.1-1 4 0.98 A library that encapsulates the logic for complex text layout (32-bit) rodrigo21
saleae-logic2 2.3.28-1 5 2.79 Debug hardware like a pro tugyan

231 packages found. Page 5 of 5.

« First ‹ Previous 1 2 3 4 5