231 packages found. Page 1 of 5.

1 2 3 4 5 Next › Last »

Name Version Votes Popularity? Description Maintainer
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
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
zatikon 1.003-3 0 0.00 Turn-based board strategy game inspired by chess, made by Chronic Logic lukky513
xsb 3.8-1 0 0.00 A Logic Programming and Deductive Database system for Unix and Windows. ATiltedTree
wmcpuwatch 0.2-1 1 0.00 A dockapp to show the load of every logical CPU on the system 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
wal2json 2_3-1 1 0.00 Output plugin for logical decoding PostgreSQL WAL's ProFfeSsoRr
vlogsolv 1.2-0 0 0.00 cli program that calculates value tables for logical expressions nzbr
verifybamid 1.1.3-1.1 1 0.00 Verify identity and purity of sequence data mrwillbarnz
vdt 5.4.68-1 1 0.00 Visual Disk Test performs i/o tests on files, logical volumes, partitions or whole disks. masutu
vdr-amlhddevice 0-1 0 0.00 Output device for Amlogic SOCs CReimer
vampire 4.5.1-1 0 0.00 A theorem prover for first-order logic patrick.luehne
uclogic-tools 5-1 5 0.10 Show diagnostic information from UC-Logic graphics tablets (rebranded as Huion, Yiynova, Ugee, Monoprice, Turcom and others) zanny
twelf-git 20130819-4 1 0.00 An implementation of the logical framework LF soimort
twelf 1.7.1-4 1 0.06 An implementation of the logical framework LF soimort
turtl-core-rs 0.1.2-5 1 0.00 Turtl's logic core, built in Rust neoninteger
ttf-new-athena-unicode 5.005-1 0 0.00 A freeware multilingual font distributed by the American Philological Association. aksr
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
ttf-ecofont-sans 2.04-1 0 0.00 Ecologically friendly sans font orphan
treemap 3b1243-1 0 0.00 a tool for analysing relationships between evolutionary histories of ecologically linked species malacology
topologic-parse-git 1.1.0-1 1 0.19 Library to create dyanimic context free or switching automata msstern98
topologic-git 1.3.0-1 1 0.16 Library to create dyanimic context free or switching automata msstern98
thebridge 1410196636:1-2 3 0.00 A 2D logic puzzle game that plays with physics and perspective. Chais
teyjus 2.1-1 1 0.00 An efficient implementation of the higher-order logic programming language Lambda Prolog kaptoxic
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
swmm5-git 5.0.022-1 0 0.00 Hydraulic and hidrologic modelation engine for wastewater drainage systems. lothar_m
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
sudoku-savant 1.3-5 8 0.00 A GUI application to solve and generate sudoku puzzles through logical means berbae
stardict-arramooz 0.1-1 1 0.00 Arramooz Alwaseet: Arabic Dictionary for Morphological analysis munzirtaha
spin-git 6.5.2.r23.g6651f97-1 0 0.00 Explicit state logic model checking tool kyechou
spass 3.9-1 1 0.00 An Automated Theorem Prover for First-Order Logic with Equality. eugenk
sombrero 1.1-3 0 0.00 Self-Organizing Map for Biological Regulatory Element Recognition and Ordering allencch
smodels 2.34-1 0 0.00 Implementation of the stable model semantics for logic programs Luker88
smartsim-git r73.20aa4bd-1 13 0.00 SmartSim is a digital logic circuit design and simulation package. Conte91
sis 1.4-1 0 0.00 Legacy Logic Synthesis Software lotation
sigrok-firmware-sysclk-lwla 0.1-1 1 0.00 Firmware for SysClk LWLA-1016/1034 logic analysers uffe
sigrok-firmware-saleae-logic16 0-1 3 0.00 FX2 firmware and the FPGA bitstreams required for using the Saleae Logic16. Synthead
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
sigrok-firmware-dreamsourcelab-dslogic 0.97-2 2 0.00 Firmware for DreamsourceLab DSLogic & DScope logic analyzers codyps
sigrok-firmware-asix-sigma 0.1-1 1 0.00 Firmware for Asix Sigma logic analysers uffe
sigrok-cli-git 0.6.0.r58.gb5c8f3a-1 1 0.00 Client software that supports various hardware logic analyzers, CLI client (git version) codyps
sfst 1.4.7e-2 0 0.00 Toolbox for the implementation of morphological analyzers and other tools. hansolo
seqan-git r.fcad60a-1 1 0.00 C++ library of efficient algorithms and data structures for the analysis of sequences with the focus on biological data orphan
seqan 2.3.1-1 5 0.00 SeqAn is an open source C++ library of efficient algorithms and data structures for the analysis of sequences with the focus on biological data orphan
seeed-voicecard-dkms-git r323.014b0b7-1 0 0.00 The drivers of Seed Studio ReSpeaker Mic Hat and ReSpeaker Mic Arrays for Raspberry Pi. robertfoster
seeed-voicecard-8mic-dkms-git r323.014b0b7-1 0 0.00 DTB Overlay for Seed Studio ReSpeaker 6-Mics Circular Array Kit for Raspberry Pi. robertfoster
seeed-voicecard-4mic-dkms-git r323.014b0b7-1 0 0.00 DTB Overlay for Seed Studio ReSpeaker 4 Mic Array and 4-Mics Linear Array Kit for Raspberry Pi. robertfoster
scrm 1.7.4-1 0 0.00 A Coalescent Simulator for Genome-Scale Biological Sequences orphan
scanastudio 4.0.17-1 1 0.00 ScanaStudio is a software for Ikalogic logic analyzers mruslan

231 packages found. Page 1 of 5.

1 2 3 4 5 Next › Last »