231 packages found. Page 1 of 5.

1 2 3 4 5 Next › Last »

Name Version Votes Popularity? Description Maintainer
logisim 2.7.1-7 77 0.06 An educational tool for designing and simulating digital logic circuits Marcel_K
octave-image 2.12.0-1 60 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
machinarium 3-14 48 0.00 A point-and-click logic adventure game by the creators of Samorost (requires copy of the full game) Rhinoceros
saleae-logic 1.2.18-1 42 0.00 High speed USB logic analyzer. keenerd
ruby-arel 9.0.0-1 28 0.01 Arel Really Exasperates Logicians Arel is a SQL AST manager for Ruby orphan
isabelle 2021-1 24 0.20 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
minestein 1-10 19 0.00 A version of the famous Minesweeper game which will always produce puzzles that can be solved using logic. SanskritFritz
saleae-logic-beta 1.2.29-1 16 0.00 High speed USB logic analyzer. masser
berusky 1.7.2-1 14 0.00 A logic game based on the puzzle game Sokoban SanskritFritz
smartsim-git r73.20aa4bd-1 13 0.00 SmartSim is a digital logic circuit design and simulation package. Conte91
logisim-evolution 3.4.1-3 13 0.03 An educational tool for designing and simulating digital logic circuits (build from source) maniacata
libsigrok-git 0.2.1.r3652.g025bd56f-1 11 0.19 Client software that supports various hardware logic analyzers, core library (git version) codyps
eprover 2.5-1 11 0.07 E is theorem prover for full first-order logic with equality. asch
pulseview-git 0.3.0.r744.g0adee2d-1 10 0.00 A Qt based logic analyzer GUI for sigrok. (git version) codyps
dsview 1.12-2 10 0.03 Client software that supports the DreamSourceLab logic analyzer codyps
ols 0.9.7.2-1 9 0.00 A software client for the Open Bench Logic Sniffer logic analyser hardware. adlerweb
mecab 0.996-6 9 0.05 Yet another part-of-speech and morphological analyzer. Yuanji
logisim-evolution-git 3.0.0.r848.c86375e3-2 9 0.00 An educational tool for designing and simulating digital logic circuits PyroLagus
libsigrokdecode-git 0.2.0.r1038.g30d27bd-1 9 0.00 Client software that supports various hardware logic analyzers, protocol decoders library (git version) codyps
antichamber 1392664980-2 9 0.00 A mind-bending psychological exploration game where nothing can be taken for granted orphan
sudoku-savant 1.3-5 8 0.00 A GUI application to solve and generate sudoku puzzles through logical means berbae
prover9 2009.11A-3 8 0.00 Prover9 is an automated theorem prover for first-order and equational logic soimort
otf-exo 2.0-8 8 0.00 A geometric sans serif font with a technological feel qmega
fuzzylite 6.0-2 8 0.02 C++ fuzzy logic control library orphan
digital 0.27-3 8 0.12 A digital logic designer and circuit simulator. edg-l
berusky2 0.12-1 7 0.00 A logic game based on the puzzle game Sokoban. SanskritFritz
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
pzl_sumpuzzle 27.0-1 6 0.00 Test of logic and simple arithmetic in which the player positions numbers to satisfy six intersecting sums. SanskritFritz
pzl_sudoku 27.0-1 6 0.00 The popular logic game. SanskritFritz
pzl_skyscrapers 27.0-1 6 0.00 Logic game which like Sudoku is based around Latin squares. SanskritFritz
pzl_minesweeper 27.0-1 6 0.00 Minesweeper game which will always produce puzzles that can be solved using logic. SanskritFritz
pzl_kakuro 27.0-1 6 0.00 An absorbing logic game. SanskritFritz
pzl_futoshiki 27.0-1 6 0.00 Logic game in which players solve a Latin square. SanskritFritz
pzl_akari 27.0-1 6 0.00 A binary-determination logic puzzle, also called Light Up. SanskritFritz
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
digimend-drivers-git-dkms 10.r0.gec5c16d-1 6 0.80 Linux kernel modules (DKMS) for non-Wacom USB graphics tablets. Git version. Arnett
berusky2-data 0.12-3 6 0.00 A logic game based on the puzzle game Sokoban (Data files). SanskritFritz
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
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
saleae-logic2 2.3.28-1 5 3.35 Debug hardware like a pro tugyan
lsi-msm-snmp 17.05.02.01-1 5 0.00 LSI Logic MegaRAID Storage Manager Suite SNMP providers sl1pkn07
lsi-msm 17.05.02.01-1 5 0.00 LSI Logic MegaRAID Storage Manager sl1pkn07
libsigrok4dsl 1.12-1 5 0.02 Client software that supports the DSLogic DreamSourceLab logic analyzer codyps
gdevelop-git v5.0.0.beta106.r10.g35bf3861a-1 5 0.00 A full featured, open source game development software, allowing to create HTML5 and native games without knowing a programming language. All the game logic is made thanks to an intuitive and powerful event based system. JoseluCross
clingo 5.5.0-1 5 0.04 Grounding tools for (disjunctive) logic programs adsun
boolr v1.0.3-1 5 0.00 A digital logic simulator hockdudu
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
python-obspy 1.2.2-1 4 0.01 A Python framework for processing seismological data cucullus
pk2-la-svn 16-5 4 0.00 Program to use the Microchip PICkit 2 has as a logic analyzer and I/O probe mauritiusdadd
lib32-libraqm 0.7.1-1 4 1.17 A library that encapsulates the logic for complex text layout (32-bit) rodrigo21

231 packages found. Page 1 of 5.

1 2 3 4 5 Next › Last »