231 packages found. Page 4 of 5.

« First ‹ Previous 1 2 3 4 5 Next › Last »

Name Version Votes Popularity? Description Maintainer
spin-git 6.5.2.r23.g6651f97-1 0 0.00 Explicit state logic model checking tool kyechou
stardict-arramooz 0.1-1 1 0.00 Arramooz Alwaseet: Arabic Dictionary for Morphological analysis munzirtaha
sudoku-savant 1.3-5 8 0.00 A GUI application to solve and generate sudoku puzzles through logical means berbae
sudoku-solver-git v1.0.0.r0.gb4bec10-1 0 0.00 Contains several logical methods of solving, as well as brute force selection orphan
swmm5-git 5.0.022-1 0 0.00 Hydraulic and hidrologic modelation engine for wastewater drainage systems. lothar_m
taudem 5.3.8-1 6 0.00 TauDEM (Terrain Analysis Using Digital Elevation Models) is a suite of Digital Elevation Model (DEM) tools for the extraction and analysis of hydrologic information from topography as represented by a DEM. geosam
teyjus 2.1-1 1 0.00 An efficient implementation of the higher-order logic programming language Lambda Prolog kaptoxic
thebridge 1410196636:1-2 3 0.00 A 2D logic puzzle game that plays with physics and perspective. Chais
treemap 3b1243-1 0 0.00 a tool for analysing relationships between evolutionary histories of ecologically linked species malacology
ttf-ecofont-sans 2.04-1 0 0.00 Ecologically friendly sans font orphan
ttf-new-athena-unicode 5.005-1 0 0.00 A freeware multilingual font distributed by the American Philological Association. aksr
turtl-core-rs 0.1.2-5 1 0.00 Turtl's logic core, built in Rust neoninteger
twelf-git 20130819-4 1 0.00 An implementation of the logical framework LF soimort
vampire 4.5.1-1 0 0.00 A theorem prover for first-order logic patrick.luehne
vdr-amlhddevice 0-1 0 0.00 Output device for Amlogic SOCs CReimer
vdt 5.4.68-1 1 0.00 Visual Disk Test performs i/o tests on files, logical volumes, partitions or whole disks. masutu
vlogsolv 1.2-0 0 0.00 cli program that calculates value tables for logical expressions nzbr
wal2json 2_3-1 1 0.00 Output plugin for logical decoding PostgreSQL WAL's ProFfeSsoRr
wmcpuwatch 0.2-1 1 0.00 A dockapp to show the load of every logical CPU on the system orphan
xsb 3.8-1 0 0.00 A Logic Programming and Deductive Database system for Unix and Windows. ATiltedTree
zatikon 1.003-3 0 0.00 Turn-based board strategy game inspired by chess, made by Chronic Logic lukky513
zsurf-webkit-git 0.1.0-1 1 0.00 Ultra lightweight web browser in the spirit of Surf using QtWebKit1 with front-end logic written in Javascript. SteveDeFacto
meteo 1.0.2+r2.ea7996c-1 2 0.00 Meteo es un proyecto de software libre que recopila datos meteorológicos para Radit. jfperini
newlogic 0.1.5_beta-2 2 0.00 Circuit Builder Desktop Application (like mmlogic) ericm
python-license-expression 21.6.14-1 1 0.00 Utility library to parse, normalize and compare License expressions for Python using a boolean logic engine mxmehl
python-logicmin 0.3.18-1 1 0.00 Logic Minimization in Python dariost
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
otf-exo 2.0-8 8 0.00 A geometric sans serif font with a technological feel qmega
scanastudio 4.0.17-1 1 0.00 ScanaStudio is a software for Ikalogic logic analyzers mruslan
bioawk 1.0-1 1 0.00 BWK awk modified for biological data alienzj
bioawk-git 1.0.0.r51.fd40150-1 1 0.00 BWK awk modified for biological data alienzj
logtalk 3.44.0-1 1 0.00 Object-Oriented Logic Programming Language eugeneai
metview 5.8.1-1 3 0.00 ECMWF interactive meteorological application graziano
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
saleae-logic 1.2.18-1 42 0.00 High speed USB logic analyzer. keenerd
libmystem 3.0-1 3 0.00 C bindings for MyStem morphological analyser. daskol
mystem 3.0-1 3 0.00 Morphological analyser of the text for Russian, Polish and English. daskol
python-turkish-morphology 1.2.4-1 1 0.00 A two-level morphological analyzer for Turkish caleb
boolr v1.0.3-1 5 0.00 A digital logic simulator hockdudu
artemis 18.1.0-1 2 0.00 A genome viewer and annotation tool that visualizes biological sequence features mrwillbarnz
verifybamid 1.1.3-1.1 1 0.00 Verify identity and purity of sequence data mrwillbarnz
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
gog-rogue-legacy 2.0.0.2-1 1 0.00 A genealogical "roguelite" where anyone can be a hero Runiq
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
sigrok-firmware-saleae-logic16 0-1 3 0.00 FX2 firmware and the FPGA bitstreams required for using the Saleae Logic16. Synthead
espresso-logic 1.1.1-1 3 0.00 The espresso PLA logic minimization program classabbyamp
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
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
sigrok-firmware-dreamsourcelab-dslogic 0.97-2 2 0.00 Firmware for DreamsourceLab DSLogic & DScope logic analyzers codyps
digital-git v0.27.r72.g5aa8e2bc2-2 1 0.01 A digital logic designer and circuit simulator. Git development version VitalyR

231 packages found. Page 4 of 5.

« First ‹ Previous 1 2 3 4 5 Next › Last »