python-proton-core
|
0.1.16-4 |
5 |
2.02
|
The proton-core component contains core logic used by the other Proton components. |
ali.molaei
|
2024-04-30 17:49 (UTC) |
linux-firmware-qlogic-git
|
20240312.3b128b60-1 |
77 |
1.54
|
Firmware files for Linux - qlogic / Firmware for QLogic devices |
MRWITEK
|
2024-03-15 11:25 (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) |
logisim
|
2.7.1-7 |
84 |
0.91
|
An educational tool for designing and simulating digital logic circuits |
gabry3795
|
2020-04-19 19:53 (UTC) |
fuzzylite
|
6.0-7 |
12 |
0.89
|
C++ fuzzy logic control library |
carsme
|
2024-01-28 22:34 (UTC) |
logisim-evolution-bin
|
3.8.0-1 |
8 |
0.87
|
An educational tool for designing and simulating digital logic circuits (binary version) |
Paragoumba
|
2022-12-04 21:32 (UTC) |
digital
|
0.29-4 |
13 |
0.87
|
A digital logic designer and circuit simulator. |
edg-l
|
2022-09-05 06:53 (UTC) |
aml-flash-tool
|
4.9-3 |
2 |
0.76
|
Linux version of Amlogic USB Burning Tool. |
yjun
|
2023-09-06 14:38 (UTC) |
lsi-msm
|
17.05.06.00-1 |
7 |
0.65
|
LSI Logic MegaRAID Storage Manager |
sl1pkn07
|
2022-08-15 17:39 (UTC) |
lsi-msm-snmp
|
17.05.06.00-1 |
7 |
0.65
|
LSI Logic MegaRAID Storage Manager Suite SNMP providers |
sl1pkn07
|
2022-08-15 17:39 (UTC) |
digital-logic-sim-git
|
1.0.2-1.1 |
1 |
0.57
|
Simple digital logic simulator made by Sebastian Lague for his series on digital logic |
Oman395
|
2023-02-17 14:02 (UTC) |
saleae-logic2
|
2.4.14-1 |
12 |
0.34
|
Debug hardware like a pro |
tugyan
|
2024-02-27 00:05 (UTC) |
pulseview-git
|
0.3.0.r1150.gae8dd8753ec0-1 |
14 |
0.30
|
A Qt based logic analyzer GUI for sigrok. (git version) |
codyps
|
2023-07-11 12:00 (UTC) |
libsigrokdecode-git
|
0.2.0.r1038.g30d27bd-1 |
11 |
0.28
|
Client software that supports various hardware logic analyzers, protocol decoders library (git version) |
codyps
|
2019-01-04 21:46 (UTC) |
libsigrok-git
|
0.2.1.r3652.g025bd56f-1 |
14 |
0.28
|
Client software that supports various hardware logic analyzers, core library (git version) |
codyps
|
2020-07-13 17:51 (UTC) |
jason-bin
|
3.2.0-1 |
1 |
0.16
|
Fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language. |
laurasabucedo
|
2024-02-01 12:15 (UTC) |
mecab-git
|
r144.32041d9-1 |
13 |
0.12
|
Yet another part-of-speech and morphological analyzer. |
hidebu
|
2016-03-29 11:27 (UTC) |
python-pymorphy3
|
1.2.0-00 |
1 |
0.12
|
Morphological analyzer (POS tagger + inflection engine) for Russian language. |
1over137
|
2023-09-04 18:40 (UTC) |
fuzzylite-git
|
r1042.9e47f8ac-1 |
2 |
0.10
|
C++ fuzzy logic control library |
Gigas002
|
2024-01-19 13:09 (UTC) |
dsview
|
1:1.3.1-1 |
12 |
0.10
|
Client software that supports the DreamSourceLab logic analyzer |
codyps
|
2023-11-06 17:53 (UTC) |
r-chron
|
2.3.61-2 |
1 |
0.09
|
Chronological Objects which Can Handle Dates and Times |
BioArchLinuxBot
|
2024-03-14 18:06 (UTC) |
kingstvis
|
3.6.2-1 |
2 |
0.08
|
Kingst Virtual Instruments - Logic Analyzer |
kro007
|
2023-10-28 09:56 (UTC) |
atsas
|
3.2.1-3 |
1 |
0.06
|
A program suite for small-angle scattering data analysis from biological macromolecules |
awacha
|
2023-12-13 16:03 (UTC) |
linux-firmware-qlogic-xz
|
20230804.7be2766d-2 |
5 |
0.02
|
Firmware files for Linux - qlogic / Firmware for QLogic devices |
TheDcoder
|
2023-09-11 11:25 (UTC) |
seiscomp
|
6.2.0-1 |
3 |
0.01
|
A seismological software for data acquisition, processing, distribution and analysis. |
morealaz
|
2024-02-06 12:04 (UTC) |
seiscomp-git
|
5.0.1.r0.g9235548-1 |
2 |
0.01
|
A seismological software for data acquisition, processing, distribution and interactive analysis (GitHub version). |
morealaz
|
2022-06-22 07:23 (UTC) |
clingo
|
5.7.1-1 |
5 |
0.01
|
Grounding tools for (disjunctive) logic programs |
adsun
|
2024-02-16 13:52 (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) |
orphan
|
2018-06-04 11:15 (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) |
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) |
swmm5-git
|
5.2.3-1 |
1 |
0.00
|
Hydraulic and hidrologic modelation engine for wastewater drainage systems. |
lothar_m
|
2023-07-05 17:52 (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) |
r-geomap
|
2.5.5-2 |
1 |
0.00
|
Topographic and Geologic Mapping |
BioArchLinuxBot
|
2024-04-25 11:35 (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) |
aemet-cli
|
1.0-1 |
1 |
0.00
|
Aplicación de terminal que permite obtener las previsiones del tiempo meteorológico en España. Usa datos abiertos de la Agencia Estatal de Meteorología (AEMET) del Gobierno de España. |
davidpblcrd
|
2017-09-12 16:23 (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) |
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) |
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) |
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) |
python-grilops
|
0.10.3-1 |
1 |
0.00
|
GRId LOgic Puzzle Solver |
vEnhance
|
2024-04-30 22:26 (UTC) |
last-align
|
1542-1 |
1 |
0.00
|
Genome-scale comparison of biological sequences |
luscinius
|
2024-02-20 05:39 (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) |
dsview-git
|
1.2.0.r15.g9264bce-1 |
4 |
0.00
|
GUI programe for supporting various instruments from DreamSourceLab, including logic analyzer, oscilloscope, etc. |
anatolik
|
2022-08-01 16:10 (UTC) |
anylogic-ple
|
8.8.6-1 |
1 |
0.00
|
AnyLogic Personal Learning Edition - for beginners and students |
DragonX256
|
2024-03-11 13:30 (UTC) |
fl2000-dkms
|
r16.92da04a-1 |
1 |
0.00
|
Fresco Logic FL2000 USB to VGA adapter driver |
orphan
|
2019-07-31 12:31 (UTC) |
tang-dynasty
|
5.0.3_30786-1 |
1 |
0.00
|
Tang Dynasty IDE for Anlogic FPGAs |
caylin
|
2021-09-24 07:11 (UTC) |
python-obspy
|
1.4.0-1 |
5 |
0.00
|
A Python framework for processing seismological data |
cucullus
|
2022-12-14 16:42 (UTC) |
picat
|
3.5-1 |
2 |
0.00
|
A simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications. |
abeaumont
|
2023-07-10 20:53 (UTC) |
isabelle
|
2023-1 |
26 |
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) |
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) |