lsoracle-git
|
r358.febd1523-1 |
0 |
0.00
|
Logic Synthesis oracle (with yosys plugin enabled) |
fansp
|
2023-04-11 12:06 (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) |
lsi-msm
|
17.05.06.00-1 |
7 |
0.87
|
LSI Logic MegaRAID Storage Manager |
sl1pkn07
|
2022-08-15 17:39 (UTC) |
lparse
|
1.1.2-2 |
0 |
0.00
|
Lparse is a front-end to smodels that generates a variable-free simple logic |
Luker88
|
2018-06-08 16:25 (UTC) |
logtalk
|
3.74.0-1 |
1 |
0.00
|
Object-Oriented Logic Programming Language |
eugeneai
|
2024-02-12 03:25 (UTC) |
logisim-ita-bin
|
2.16.1.2-1 |
1 |
0.00
|
An educational tool for designing and simulating digital logic circuits (Italian fork) |
maniacata
|
2020-05-19 00:03 (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) |
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) |
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) |
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) |
logicdraw-git
|
r101.1d8805f-2 |
0 |
0.00
|
An application to perform simulations of logic gates, in which you can paint your circuit like in raster graphics editor. |
PWN1109
|
2018-01-11 09:47 (UTC) |
logicdraw
|
0.1.13-1 |
0 |
0.00
|
An application to perform simulations of logic gates, in which you can paint your circuit like in raster graphics editor. |
PWN1109
|
2018-01-10 12:30 (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) |
logic2010
|
20180112-5 |
0 |
0.00
|
Educational symbolic logic software provided for free by UCLA |
afontenot
|
2018-01-22 07:46 (UTC) |
logic-synthesis-bin
|
1.4-1 |
0 |
0.00
|
Logic synthesis system from UC Berkeley. |
joshauc
|
2018-11-23 09:11 (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) |
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) |
linux-firmware-qlogic-git
|
20240312.3b128b60-1 |
77 |
2.05
|
Firmware files for Linux - qlogic / Firmware for QLogic devices |
MRWITEK
|
2024-03-15 11:25 (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) |
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) |
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) |
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) |
libraqm-git
|
0.5.0.r27.gb51b28b-1 |
2 |
0.00
|
A library that encapsulates the logic for complex text layout (git version) |
dbermond
|
2018-12-04 17:14 (UTC) |
libmystem
|
3.0-1 |
3 |
0.00
|
C bindings for MyStem morphological analyser. |
daskol
|
2018-06-06 14:07 (UTC) |
libhangul-git
|
0.1.0.r51.2ddc547f014a-2 |
1 |
0.00
|
A library to support hangul input method logic |
emersion
|
2022-12-05 10:30 (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) |
last-align
|
1542-1 |
1 |
0.00
|
Genome-scale comparison of biological sequences |
luscinius
|
2024-02-20 05:39 (UTC) |
labrador-git
|
1:r583.2cc0678b-1 |
3 |
0.00
|
Qt5 GUI for EspoTek all-in-one USB oscilloscope/ signal generator/ PSU/ logic analyzer/ multimeter |
keldrin
|
2022-12-27 22:37 (UTC) |
kingstvis
|
3.6.2-1 |
2 |
0.10
|
Kingst Virtual Instruments - Logic Analyzer |
kro007
|
2023-10-28 09:56 (UTC) |
key-logic
|
2.6.2-1 |
1 |
0.00
|
A dynamic logic proof tool |
orphan
|
2017-05-06 12:10 (UTC) |
juman++
|
1.02-1 |
0 |
0.00
|
Morphological Analyzer for Japanese |
orphan
|
2021-05-14 14:52 (UTC) |
juman
|
7.01-2 |
2 |
0.00
|
Morphological Analyzer for Japanese |
orphan
|
2021-05-14 14:16 (UTC) |
jsimugate
|
0.70-1 |
0 |
0.00
|
Simulate standard logic and more |
orphan
|
2020-06-22 15:35 (UTC) |
jason-bin
|
3.2.0-1 |
1 |
0.21
|
Fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language. |
laurasabucedo
|
2024-02-01 12:15 (UTC) |
isabelle-tum
|
2021_1-1 |
1 |
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. Release mirror: TUM. |
MW360
|
2021-12-13 23:15 (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) |
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) |
gog-slay-the-princess-demo
|
1.0a.64269-1 |
0 |
0.00
|
Choice-driven psychological horror visual novel. GOG version. |
Auerhuhn
|
2024-04-05 13:44 (UTC) |
gog-slay-the-princess
|
1.2a.72334-1 |
0 |
0.00
|
Choice-driven psychological horror visual novel. GOG version. |
Auerhuhn
|
2024-04-05 15:03 (UTC) |
gog-rogue-legacy
|
2.0.0.2-1 |
1 |
0.00
|
A genealogical "roguelite" where anyone can be a hero |
Runiq
|
2017-02-27 15:26 (UTC) |
gog-darkest-dungeon
|
24839-1 |
2 |
0.00
|
Darkest Dungeon is a challenging gothic roguelike turn-based RPG about the psychological stresses of adventuring. |
bwrsandman
|
2021-03-21 15:12 (UTC) |
gedkeeper-git
|
v3.5.1.r4.g03c755c6-2 |
0 |
0.00
|
Personal genealogical database editor |
rilian
|
2024-03-03 18:36 (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) |
gdevelop
|
5.3.194-1 |
1 |
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. |
xiota
|
2024-03-12 18:49 (UTC) |
garlmap
|
r0-1 |
0 |
0.00
|
Garlmap is the Gapless Almighty Rule-based Logical Mpv Audio Player |
neogenetic
|
2022-09-18 19:03 (UTC) |
fuzzylite-git
|
r1042.9e47f8ac-1 |
2 |
0.16
|
C++ fuzzy logic control library |
Gigas002
|
2024-01-19 13:09 (UTC) |
fuzzylite
|
6.0-7 |
11 |
0.03
|
C++ fuzzy logic control library |
carsme
|
2024-01-28 22:34 (UTC) |
frog
|
0.32-1 |
1 |
0.00
|
Frog is an integration of memory-based natural language processing (NLP) modules developed for Dutch. It includes a tokenizer, part-of-speech tagger, lemmatizer, morphological analyser, named entity recognition, shallow parser and dependency parser. |
proycon
|
2023-12-05 14:52 (UTC) |
fleng
|
20-1 |
0 |
0.00
|
A low level concurrent logic programming language descended from Prolog |
aarroyoc
|
2024-03-16 17:08 (UTC) |
flashy
|
1.6.0-1 |
0 |
0.00
|
Java tool to handle firmware and logic flashing for iniVation devices. |
inivation
|
2022-05-25 20:40 (UTC) |