|
lsoracle-git
|
r358.febd1523-1 |
0 |
0.00
|
Logic Synthesis oracle (with yosys plugin enabled) |
fansp
|
2023-04-11 12:06 (UTC) |
|
spass
|
3.9-1 |
1 |
0.00
|
An Automated Theorem Prover for First-Order Logic with Equality. |
eugenk
|
2022-09-27 17:49 (UTC) |
|
logtalk
|
3.74.0-1 |
1 |
0.00
|
Object-Oriented Logic Programming Language |
eugeneai
|
2024-02-12 03:25 (UTC) |
|
newlogic-git
|
0.1.5_beta-1 |
0 |
0.00
|
Circuit Builder Desktop Application (like mmlogic) |
ericm
|
2019-06-14 23:25 (UTC) |
|
newlogic
|
0.1.5_beta-2 |
2 |
0.00
|
Circuit Builder Desktop Application (like mmlogic) |
ericm
|
2019-06-14 23:24 (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) |
|
digital
|
0.29-4 |
12 |
0.00
|
A digital logic designer and circuit simulator. |
edg-l
|
2022-09-05 06:53 (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) |
|
anylogic-university-8.2.4
|
8.2.4-1 |
0 |
0.00
|
AnyLogic University Edition - for public research in universities. Last x86 version |
DragonX256
|
2019-03-12 12:57 (UTC) |
|
anylogic-university
|
8.8.6-1 |
0 |
0.00
|
AnyLogic University Edition - for public research in universities |
DragonX256
|
2024-03-11 13:30 (UTC) |
|
anylogic-professional-8.2.4
|
8.2.4-1 |
0 |
0.00
|
AnyLogic Professional Edition - for companies and government organizations. Last x86 version |
DragonX256
|
2019-03-12 12:57 (UTC) |
|
anylogic-professional
|
8.8.6-1 |
0 |
0.00
|
AnyLogic Professional Edition - for companies and government organizations |
DragonX256
|
2024-03-11 13:30 (UTC) |
|
anylogic-ple-8.2.4
|
8.2.4-2 |
0 |
0.00
|
AnyLogic Personal Learning Edition - for beginners and students. Last x86 version |
DragonX256
|
2019-03-12 13:00 (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) |
|
ocaml-tsort
|
2.1.0-1 |
0 |
0.00
|
Easy to use and user-friendly topological sort module for OCaml |
dpeukert
|
2024-01-27 23:15 (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) |
|
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-pymystem3
|
0.2.0-1 |
0 |
0.00
|
A Python wrapper of the Yandex Mystem 3.1 morphological analyzer. |
daskol
|
2024-02-28 22:53 (UTC) |
|
mystem
|
3.1-2 |
3 |
0.00
|
Morphological analyser of the text for Russian, Polish and English. |
daskol
|
2024-02-28 22:55 (UTC) |
|
libmystem
|
3.0-1 |
3 |
0.00
|
C bindings for MyStem morphological analyser. |
daskol
|
2018-06-06 14:07 (UTC) |
|
python-pyufr-git
|
r67.2df1e2d-3 |
0 |
0.00
|
Python3 library to communicate with Digital Logic µFR-series NFC readers |
darthdomo
|
2021-12-13 13:31 (UTC) |
|
python-logicmin
|
0.3.18-1 |
1 |
0.00
|
Logic Minimization in Python |
dariost
|
2019-07-05 11:14 (UTC) |
|
python-obspy
|
1.4.0-1 |
5 |
0.00
|
A Python framework for processing seismological data |
cucullus
|
2022-12-14 16:42 (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) |
|
sigrok-firmware-dreamsourcelab-dslogic
|
0.97-2 |
2 |
0.00
|
Firmware for DreamsourceLab DSLogic & DScope logic analyzers |
codyps
|
2018-09-01 00:09 (UTC) |
|
sigrok-cli-git
|
0.6.0.r58.gb5c8f3a-1 |
1 |
0.00
|
Client software that supports various hardware logic analyzers, CLI client (git version) |
codyps
|
2019-01-18 20:50 (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) |
|
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-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) |
|
dsview
|
1:1.3.1-1 |
12 |
0.14
|
Client software that supports the DreamSourceLab logic analyzer |
codyps
|
2023-11-06 17:53 (UTC) |
|
python-g2p-blocks-git
|
167-3 |
2 |
0.00
|
Enable bcache or LVM on existing block devices. Convert between raw partitions, logical volumes, and bcache devices witout moving data. |
chris_l
|
2020-07-26 09:02 (UTC) |
|
thebridge
|
1410196636:1-2 |
3 |
0.00
|
A 2D logic puzzle game that plays with physics and perspective. |
Chais
|
2015-07-03 17:45 (UTC) |
|
python-mne
|
1.6.1-1 |
0 |
0.00
|
Python package for exploring, visualizing, and analyzing human neurophysiological data: MEG, EEG, sEEG, ECoG, and more |
cbrnr
|
2024-01-18 10:54 (UTC) |
|
tang-dynasty
|
5.0.3_30786-1 |
1 |
0.00
|
Tang Dynasty IDE for Anlogic FPGAs |
caylin
|
2021-09-24 07:11 (UTC) |
|
fuzzylite
|
6.0-7 |
11 |
0.03
|
C++ fuzzy logic control library |
carsme
|
2024-01-28 22:34 (UTC) |
|
python-xeus-python-shell
|
0.6.1-1 |
0 |
0.00
|
The xeus-python core python logic |
carlosal1015
|
2023-09-24 19:55 (UTC) |
|
octave-fuzzy-logic-toolkit
|
0.4.6-1 |
4 |
0.00
|
A mostly MATLAB-compatible fuzzy logic toolkit for Octave |
carlosal1015
|
2022-11-08 01:04 (UTC) |
|
octave-fl-core
|
1.0.0-5 |
1 |
0.00
|
The package contains code for basic functions in Fuzzy Logic for Octave |
carlosal1015
|
2022-02-11 01:24 (UTC) |
|
metview
|
5.19.2-1 |
3 |
0.00
|
ECMWF interactive meteorological application |
capitalaslash
|
2023-07-22 04:51 (UTC) |
|
magics++
|
4.14.1-1 |
4 |
0.00
|
Magics is the latest generation of the ECMWF's Meteorological plotting software MAGICS. |
capitalaslash
|
2023-07-21 20:13 (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) |
|
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) |
|
r-whisker
|
0.4.1-4 |
1 |
0.00
|
{{mustache}} for R, Logicless Templating |
BioArchLinuxBot
|
2024-04-24 19:18 (UTC) |
|
r-viseago
|
1.16.0-1 |
0 |
0.00
|
ViSEAGO: a Bioconductor package for clustering biological functions using Gene Ontology and semantic similarity |
BioArchLinuxBot
|
2023-10-26 05:33 (UTC) |
|
r-ttmap
|
1.24.0-1 |
0 |
0.00
|
Two-Tier Mapper: a clustering tool based on topological data analysis |
BioArchLinuxBot
|
2023-10-27 06:09 (UTC) |
|
r-timedate
|
4032.109-2 |
0 |
0.00
|
Rmetrics - Chronological and Calendar Objects |
BioArchLinuxBot
|
2024-02-29 18:03 (UTC) |
|
r-seqinr
|
4.2.36-1 |
0 |
0.00
|
Biological Sequences Retrieval and Analysis |
BioArchLinuxBot
|
2023-12-08 18:03 (UTC) |
|
r-psych
|
2.4.3-1 |
0 |
0.00
|
Procedures for Psychological, Psychometric, and Personality Research |
BioArchLinuxBot
|
2024-03-19 00:02 (UTC) |
|
r-potra
|
1.13.0-4 |
0 |
0.00
|
PoTRA: Pathways of Topological Rank Analysis |
BioArchLinuxBot
|
2023-04-29 05:10 (UTC) |
|
r-pigengene
|
1.28.0-1 |
0 |
0.00
|
Infers biological signatures from gene expression data |
BioArchLinuxBot
|
2023-11-01 13:05 (UTC) |