berusky-data
|
1.7-1 |
3 |
0.00
|
A logic game based on the puzzle game Sokoban - data files |
SanskritFritz
|
2015-07-24 14:25 (UTC) |
berusky2
|
0.12-1 |
6 |
0.00
|
A logic game based on the puzzle game Sokoban. |
SanskritFritz
|
2020-11-27 13:14 (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) |
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) |
linux-firmware-qlogic-uncompressed
|
20231211.f2e52a1c-1 |
2 |
0.00
|
Firmware files for Linux (without module compression) - qlogic / Firmware for QLogic devices |
severach
|
2023-12-17 22:20 (UTC) |
lsi-msm
|
17.05.06.00-1 |
7 |
0.57
|
LSI Logic MegaRAID Storage Manager |
sl1pkn07
|
2022-08-15 17:39 (UTC) |
lsi-msm-snmp
|
17.05.06.00-1 |
7 |
0.57
|
LSI Logic MegaRAID Storage Manager Suite SNMP providers |
sl1pkn07
|
2022-08-15 17:39 (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) |
twelf
|
1.7.1-4 |
1 |
0.00
|
An implementation of the logical framework LF |
soimort
|
2021-05-07 15:34 (UTC) |
twelf-git
|
20130819-4 |
1 |
0.00
|
An implementation of the logical framework LF |
soimort
|
2021-01-23 20:24 (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) |
gplates
|
2.4.0-2 |
2 |
0.00
|
GPlates is a plate tectonics program. Manipulate reconstructions of geological and paleogeographic features through geological time. Interactively visualize vector, raster and volume data. |
tamamizu
|
2023-12-19 14:01 (UTC) |
clcapture-git
|
5.0.0.0.r8.g6ab103e-4 |
0 |
0.00
|
24 channel, 100Msps logic analyzer hardware and software |
taotieren
|
2024-01-23 12:06 (UTC) |
logicanalyzer-git
|
5.0.0.0.r8.g6ab103e-4 |
0 |
0.00
|
24 channel, 100Msps logic analyzer hardware and software |
taotieren
|
2024-01-23 12:06 (UTC) |
ttf-exo2-variable
|
1.0-1 |
0 |
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. |
terag
|
2022-01-25 16:22 (UTC) |
saleae-logic2
|
2.4.14-1 |
12 |
0.34
|
Debug hardware like a pro |
tugyan
|
2024-02-27 00:05 (UTC) |
sigrok-firmware-asix-sigma
|
0.1-2 |
1 |
0.00
|
Firmware for Asix Sigma logic analysers |
uffe
|
2024-01-22 12:17 (UTC) |
sigrok-firmware-sysclk-lwla
|
0.1-2 |
1 |
0.00
|
Firmware for SysClk LWLA-1016/1034 logic analysers |
uffe
|
2024-01-22 11:33 (UTC) |
ruby-settingslogic
|
2.0.9-1 |
0 |
0.00
|
A simple and straightforward settings solution that uses an ERB enabled YAML file and a singleton design pattern. |
Valantin
|
2018-01-24 10:27 (UTC) |
python-pymorphy2
|
0.9.1-3 |
1 |
0.00
|
Morphological analyzer (POS tagger + inflection engine) for Russian language. |
vantu5z
|
2023-06-06 13:20 (UTC) |
python-grilops
|
0.10.3-1 |
1 |
0.00
|
GRId LOgic Puzzle Solver |
vEnhance
|
2024-04-30 22:26 (UTC) |
digital-git
|
v0.30.r6.gaa9c14270-1 |
1 |
0.00
|
A digital logic designer and circuit simulator. Git development version |
VitalyR
|
2023-04-21 06:02 (UTC) |
piscope
|
0.8-1 |
0 |
0.00
|
piscope is a logic analyser (digital waveform viewer) for the Raspberry. It shows the state (high or low) of selected GPIO in real-time. |
vleon1
|
2022-01-19 11:38 (UTC) |
carl-master14-git
|
c++14.18.12.r9.gb9ff46d9-1 |
0 |
0.00
|
CArL - the Computer ARithmetic and Logic library (master14 branch) |
volkm
|
2019-08-28 13:17 (UTC) |
carl-storm
|
14.25-1 |
0 |
0.00
|
The Computer ARithmetic and Logic library for the probabilistic model checker Storm |
volkm
|
2023-07-03 20:50 (UTC) |
digisim-git
|
1-5 |
0 |
0.00
|
A digital logic simulator programmed in lua |
vrighter
|
2023-03-01 12:52 (UTC) |
prooftools-gtk-bin
|
0.6.2-1 |
0 |
0.00
|
A symbolic logic proof tree generator |
winslow
|
2024-04-20 22:54 (UTC) |
bitscope-logic
|
1.2.FC20C-1 |
4 |
0.00
|
Bitscope logic software for oscilloscopes |
xblack
|
2016-01-21 22:44 (UTC) |
libsigrok-chromium-twinkie
|
0.5.2-1 |
0 |
0.00
|
Client software that supports various hardware logic analyzers, core library |
XenGi
|
2023-08-24 21:31 (UTC) |
python-litescope-git
|
2020.08.r10.g94e2d15-1 |
0 |
0.00
|
A small footprint and configurable embedded logic analyzer for LiteX |
xiretza
|
2020-11-17 11:40 (UTC) |
python-quicklogic-fasm-git
|
r56.fafa623-1 |
0 |
0.00
|
Tools, scripts and resources for generating a bitstream from FASM files for QuickLogic FPGAs |
xiretza
|
2022-05-14 18:03 (UTC) |
python-quicklogic-fasm-utils-git
|
r13.3d6a375-1 |
0 |
0.00
|
A set of tools for creating FASM assemblers for the Symbiflow project |
xiretza
|
2022-05-14 18:04 (UTC) |
qlf_fasm-git
|
r44.e5d0915-1 |
0 |
0.00
|
FASM to/from bitstream converter for QuickLogic qlf FPGA device family |
xiretza
|
2022-05-14 18:30 (UTC) |
quicklogic-timings-importer-git
|
r75.eec0737-2 |
0 |
0.00
|
Importer of timing data from Quicklogic EOS-S3 to SDF |
xiretza
|
2022-05-15 07:08 (UTC) |
opentheory
|
1:1.4.20180810-1 |
1 |
0.00
|
a tool for processing higher-order logic theory packages |
xrchz
|
2018-09-27 12:13 (UTC) |
logisim-evolution
|
3.8.0-1 |
27 |
1.40
|
An educational tool for designing and simulating digital logic circuits |
yigits
|
2022-10-02 20:07 (UTC) |
aml-flash-tool
|
4.9-3 |
2 |
0.76
|
Linux version of Amlogic USB Burning Tool. |
yjun
|
2023-09-06 14:38 (UTC) |
libsigrok-sipeed-slogic-git
|
0.2.1.r4311.gda175133-1 |
0 |
0.00
|
Client software that supports various hardware logic analyzers, core library with Sipeed Slogic Analyzer support patches (git version) |
yjun
|
2024-01-02 14:13 (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) |
miteiru
|
4.2.1-2 |
0 |
0.00
|
An open source Electron video player to learn Japanese. It has main language dictionary and tokenizer (morphological analyzer), heavily based on External software MeCab |
zxp19821005
|
2024-03-22 02:39 (UTC) |
miteiru-bin
|
2.2.0-7 |
0 |
0.00
|
An open source Electron video player to learn Japanese. It has main language dictionary and tokenizer (morphological analyzer), heavily based on External software MeCab |
zxp19821005
|
2024-03-22 02:30 (UTC) |
nexus-wallet-bin
|
3.1.3-1 |
0 |
0.00
|
The official Logical and Interface layers of the Nexus Software Stack. |
zxp19821005
|
2024-03-01 01:32 (UTC) |