logisim 
2.7.17 
77 
0.06 
An educational tool for designing and simulating digital logic circuits 
Marcel_K

octaveimage 
2.12.01 
60 
0.00 
The Octaveforge 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 
314 
48 
0.00 
A pointandclick logic adventure game by the creators of Samorost (requires copy of the full game) 
Rhinoceros

saleaelogic 
1.2.181 
42 
0.00 
High speed USB logic analyzer. 
keenerd

rubyarel 
9.0.01 
28 
0.01 
Arel Really Exasperates Logicians Arel is a SQL AST manager for Ruby 
orphan

isabelle 
20211 
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 
110 
19 
0.00 
A version of the famous Minesweeper game which will always produce puzzles that can be solved using logic. 
SanskritFritz

saleaelogicbeta 
1.2.291 
16 
0.00 
High speed USB logic analyzer. 
masser

berusky 
1.7.21 
14 
0.00 
A logic game based on the puzzle game Sokoban 
SanskritFritz

smartsimgit 
r73.20aa4bd1 
13 
0.00 
SmartSim is a digital logic circuit design and simulation package. 
Conte91

logisimevolution 
3.4.13 
13 
0.03 
An educational tool for designing and simulating digital logic circuits (build from source) 
maniacata

libsigrokgit 
0.2.1.r3652.g025bd56f1 
11 
0.19 
Client software that supports various hardware logic analyzers, core library (git version) 
codyps

eprover 
2.51 
11 
0.07 
E is theorem prover for full firstorder logic with equality. 
asch

pulseviewgit 
0.3.0.r744.g0adee2d1 
10 
0.00 
A Qt based logic analyzer GUI for sigrok. (git version) 
codyps

dsview 
1.122 
10 
0.03 
Client software that supports the DreamSourceLab logic analyzer 
codyps

ols 
0.9.7.21 
9 
0.00 
A software client for the Open Bench Logic Sniffer logic analyser hardware. 
adlerweb

mecab 
0.9966 
9 
0.05 
Yet another partofspeech and morphological analyzer. 
Yuanji

logisimevolutiongit 
3.0.0.r848.c86375e32 
9 
0.00 
An educational tool for designing and simulating digital logic circuits 
PyroLagus

libsigrokdecodegit 
0.2.0.r1038.g30d27bd1 
9 
0.00 
Client software that supports various hardware logic analyzers, protocol decoders library (git version) 
codyps

antichamber 
13926649802 
9 
0.00 
A mindbending psychological exploration game where nothing can be taken for granted 
orphan

sudokusavant 
1.35 
8 
0.00 
A GUI application to solve and generate sudoku puzzles through logical means 
berbae

prover9 
2009.11A3 
8 
0.00 
Prover9 is an automated theorem prover for firstorder and equational logic 
soimort

otfexo 
2.08 
8 
0.00 
A geometric sans serif font with a technological feel 
qmega

fuzzylite 
6.02 
8 
0.02 
C++ fuzzy logic control library 
orphan

digital 
0.273 
8 
0.12 
A digital logic designer and circuit simulator. 
edgl

berusky2 
0.121 
7 
0.00 
A logic game based on the puzzle game Sokoban. 
SanskritFritz

taudem 
5.3.81 
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.01 
6 
0.00 
Test of logic and simple arithmetic in which the player positions numbers to satisfy six intersecting sums. 
SanskritFritz

pzl_sudoku 
27.01 
6 
0.00 
The popular logic game. 
SanskritFritz

pzl_skyscrapers 
27.01 
6 
0.00 
Logic game which like Sudoku is based around Latin squares. 
SanskritFritz

pzl_minesweeper 
27.01 
6 
0.00 
Minesweeper game which will always produce puzzles that can be solved using logic. 
SanskritFritz

pzl_kakuro 
27.01 
6 
0.00 
An absorbing logic game. 
SanskritFritz

pzl_futoshiki 
27.01 
6 
0.00 
Logic game in which players solve a Latin square. 
SanskritFritz

pzl_akari 
27.01 
6 
0.00 
A binarydetermination logic puzzle, also called Light Up. 
SanskritFritz

gogterraria 
1:1.4.2.3.471021 
6 
0.00 
The very world is at your fingertips as you fight for survival, fortune, and glory. 
swix

digimenddriversgitdkms 
10.r0.gec5c16d1 
6 
0.80 
Linux kernel modules (DKMS) for nonWacom USB graphics tablets. Git version. 
Arnett

berusky2data 
0.123 
6 
0.00 
A logic game based on the puzzle game Sokoban (Data files). 
SanskritFritz

uclogictools 
51 
5 
0.10 
Show diagnostic information from UCLogic graphics tablets (rebranded as Huion, Yiynova, Ugee, Monoprice, Turcom and others) 
zanny

seqan 
2.3.11 
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

saleaelogic2 
2.3.281 
5 
3.35 
Debug hardware like a pro 
tugyan

lsimsmsnmp 
17.05.02.011 
5 
0.00 
LSI Logic MegaRAID Storage Manager Suite SNMP providers 
sl1pkn07

lsimsm 
17.05.02.011 
5 
0.00 
LSI Logic MegaRAID Storage Manager 
sl1pkn07

libsigrok4dsl 
1.121 
5 
0.02 
Client software that supports the DSLogic DreamSourceLab logic analyzer 
codyps

gdevelopgit 
v5.0.0.beta106.r10.g35bf3861a1 
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.01 
5 
0.04 
Grounding tools for (disjunctive) logic programs 
adsun

boolr 
v1.0.31 
5 
0.00 
A digital logic simulator 
hockdudu

zsurfgit 
0.1.01 
4 
0.00 
Ultra lightweight web browser in the spirit of Surf using QtWebEngine with frontend logic written in Javascript. 
SteveDeFacto

pythonobspy 
1.2.21 
4 
0.01 
A Python framework for processing seismological data 
cucullus

pk2lasvn 
165 
4 
0.00 
Program to use the Microchip PICkit 2 has as a logic analyzer and I/O probe 
mauritiusdadd

lib32libraqm 
0.7.11 
4 
1.17 
A library that encapsulates the logic for complex text layout (32bit) 
rodrigo21
