|
logisim
|
2.7.1-7 |
83 |
0.02
|
An educational tool for designing and simulating digital logic circuits |
gabry3795
|
2020-04-19 19:53 (UTC) |
|
linux-firmware-qlogic-git
|
20240312.3b128b60-1 |
76 |
1.16
|
Firmware files for Linux - qlogic / Firmware for QLogic devices |
MRWITEK
|
2024-03-15 11:25 (UTC) |
|
octave-image
|
2.14.0-1 |
62 |
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
|
2022-11-08 01:30 (UTC) |
|
machinarium
|
3-14 |
49 |
0.00
|
A point-and-click logic adventure game by the creators of Samorost (requires copy of the full game) |
Mr.Smith1974
|
2018-06-04 11:15 (UTC) |
|
saleae-logic
|
1.2.18-1 |
42 |
0.00
|
High speed USB logic analyzer. |
qubidt
|
2018-05-10 02:15 (UTC) |
|
logisim-evolution
|
3.8.0-1 |
26 |
0.71
|
An educational tool for designing and simulating digital logic circuits |
yigits
|
2022-10-02 20:07 (UTC) |
|
isabelle
|
2023-1 |
25 |
0.00
|
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
|
2023-09-18 11:16 (UTC) |
|
saleae-logic-beta
|
1.2.29-1 |
16 |
0.00
|
High speed USB logic analyzer. |
orphan
|
2018-08-02 04:48 (UTC) |
|
pulseview-git
|
0.3.0.r1150.gae8dd8753ec0-1 |
14 |
0.40
|
A Qt based logic analyzer GUI for sigrok. (git version) |
codyps
|
2023-07-11 12:00 (UTC) |
|
libsigrok-git
|
0.2.1.r3652.g025bd56f-1 |
14 |
0.37
|
Client software that supports various hardware logic analyzers, core library (git version) |
codyps
|
2020-07-13 17:51 (UTC) |
|
berusky
|
1.7.2-1 |
14 |
0.00
|
A logic game based on the puzzle game Sokoban |
SanskritFritz
|
2020-11-28 20:46 (UTC) |
|
smartsim-git
|
r73.20aa4bd-1 |
13 |
0.00
|
SmartSim is a digital logic circuit design and simulation package. |
Conte91
|
2015-08-07 18:33 (UTC) |
|
mecab-git
|
r144.32041d9-1 |
13 |
0.16
|
Yet another part-of-speech and morphological analyzer. |
hidebu
|
2016-03-29 11:27 (UTC) |
|
saleae-logic2
|
2.4.14-1 |
12 |
0.45
|
Debug hardware like a pro |
tugyan
|
2024-02-27 00:05 (UTC) |
|
dsview
|
1:1.3.1-1 |
12 |
0.14
|
Client software that supports the DreamSourceLab logic analyzer |
codyps
|
2023-11-06 17:53 (UTC) |
|
digital
|
0.29-4 |
12 |
0.00
|
A digital logic designer and circuit simulator. |
edg-l
|
2022-09-05 06:53 (UTC) |
|
python-altgraph
|
0.17.4-1 |
11 |
0.00
|
A graph (network) package for constructing graphs, BFS and DFS traversals, topological sort, shortest paths, etc. with graphviz output. |
flying-sheep
|
2023-12-12 08:05 (UTC) |
|
libsigrokdecode-git
|
0.2.0.r1038.g30d27bd-1 |
11 |
0.37
|
Client software that supports various hardware logic analyzers, protocol decoders library (git version) |
codyps
|
2019-01-04 21:46 (UTC) |
|
fuzzylite
|
6.0-7 |
11 |
0.03
|
C++ fuzzy logic control library |
carsme
|
2024-01-28 22:34 (UTC) |
|
eprover
|
2.6-1 |
11 |
0.00
|
E is theorem prover for full first-order logic with equality. |
asch
|
2022-06-16 10:56 (UTC) |
|
ols
|
0.9.7.2-2 |
10 |
0.00
|
A software client for the Open Bench Logic Sniffer logic analyser hardware. |
adlerweb
|
2023-09-01 20:46 (UTC) |
|
antichamber
|
1392664980-2 |
10 |
0.00
|
A mind-bending psychological exploration game where nothing can be taken for granted |
Mr.Smith1974
|
2015-06-12 17:27 (UTC) |
|
logisim-evolution-git
|
3.8.0+759.r4907.20240403.44999b523-1 |
9 |
0.00
|
An educational tool for designing and simulating digital logic circuits. |
dreieck
|
2024-04-04 20:40 (UTC) |
|
sudoku-savant
|
1.3-6 |
8 |
0.00
|
A GUI application to solve and generate sudoku puzzles through logical means |
berbae
|
2023-09-28 09:54 (UTC) |
|
prover9
|
2009.11A-3 |
8 |
0.00
|
Prover9 is an automated theorem prover for first-order and equational logic |
soimort
|
2021-04-25 10:51 (UTC) |
|
otf-exo
|
2.1-1 |
8 |
0.00
|
A geometric sans serif font with a technological feel |
qmega
|
2024-02-24 03:49 (UTC) |
|
pzl_akari
|
32.1-1 |
7 |
0.00
|
A binary-determination logic puzzle, also called Light Up. |
SanskritFritz
|
2023-10-29 21:07 (UTC) |
|
pzl_futoshiki
|
32.1-1 |
7 |
0.00
|
Logic game in which players solve a Latin square. |
SanskritFritz
|
2023-10-29 21:07 (UTC) |
|
pzl_kakuro
|
32.1-1 |
7 |
0.00
|
An absorbing logic game. |
SanskritFritz
|
2023-10-29 21:07 (UTC) |
|
pzl_knotty
|
32.1-1 |
7 |
0.00
|
Logic game similar to Josh Wardle's Wordle. |
SanskritFritz
|
2023-10-29 21:07 (UTC) |
|
pzl_minesweeper
|
32.1-1 |
7 |
0.00
|
Minesweeper game which will always produce puzzles that can be solved using logic. |
SanskritFritz
|
2023-10-29 21:07 (UTC) |
|
pzl_skyscrapers
|
32.1-1 |
7 |
0.00
|
Logic game which like Sudoku is based around Latin squares. |
SanskritFritz
|
2023-10-29 21:07 (UTC) |
|
pzl_sudoku
|
32.1-1 |
7 |
0.00
|
The popular logic game. |
SanskritFritz
|
2023-10-29 21:07 (UTC) |
|
pzl_sumpuzzle
|
32.1-1 |
7 |
0.00
|
Test of logic and simple arithmetic in which the player positions numbers to satisfy six intersecting sums. |
SanskritFritz
|
2023-10-29 21:07 (UTC) |
|
lsi-msm
|
17.05.06.00-1 |
7 |
0.87
|
LSI Logic MegaRAID Storage Manager |
sl1pkn07
|
2022-08-15 17:39 (UTC) |
|
lsi-msm-snmp
|
17.05.06.00-1 |
7 |
0.87
|
LSI Logic MegaRAID Storage Manager Suite SNMP providers |
sl1pkn07
|
2022-08-15 17:39 (UTC) |
|
logisim-evolution-bin
|
3.8.0-1 |
7 |
0.00
|
An educational tool for designing and simulating digital logic circuits (binary version) |
Paragoumba
|
2022-12-04 21:32 (UTC) |
|
uclogic-tools
|
5-1 |
6 |
0.00
|
Show diagnostic information from UC-Logic graphics tablets (rebranded as Huion, Yiynova, Ugee, Monoprice, Turcom and others) |
zan
|
2019-06-20 17:42 (UTC) |
|
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
|
2018-01-22 04:11 (UTC) |
|
boolr
|
v1.0.3-2 |
6 |
0.00
|
A digital logic simulator |
MarsSeed
|
2021-06-18 20:24 (UTC) |
|
berusky2
|
0.12-1 |
6 |
0.00
|
A logic game based on the puzzle game Sokoban. |
SanskritFritz
|
2020-11-27 13:14 (UTC) |
|
ttf-exo-2
|
2.001-1 |
5 |
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. |
accuminium
|
2023-05-30 19:22 (UTC) |
|
seqan
|
2.4.0-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 |
kleintux
|
2021-09-17 10:30 (UTC) |
|
python-obspy
|
1.4.0-1 |
5 |
0.00
|
A Python framework for processing seismological data |
cucullus
|
2022-12-14 16:42 (UTC) |
|
linux-firmware-qlogic-xz
|
20230804.7be2766d-2 |
5 |
0.03
|
Firmware files for Linux - qlogic / Firmware for QLogic devices |
TheDcoder
|
2023-09-11 11:25 (UTC) |
|
lib32-libraqm
|
0.10.0-1 |
5 |
0.00
|
A library that encapsulates the logic for complex text layout (32-bit) |
Grumpyoldgamer
|
2023-10-16 17:03 (UTC) |
|
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. |
arthuro555
|
2021-03-20 16:57 (UTC) |
|
clingo
|
5.7.1-1 |
5 |
0.01
|
Grounding tools for (disjunctive) logic programs |
adsun
|
2024-02-16 13:52 (UTC) |
|
berusky2-data
|
0.12-3 |
5 |
0.00
|
A logic game based on the puzzle game Sokoban (Data files). |
SanskritFritz
|
2020-11-30 21:01 (UTC) |
|
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
|
2017-03-29 12:26 (UTC) |