|
pk2-la-svn
|
16-5 |
4 |
0.00
|
Program to use the Microchip PICkit 2 has as a logic analyzer and I/O probe |
mauritiusdadd
|
2020-09-10 08:33 (UTC) |
|
vdt
|
5.4.68-1 |
1 |
0.00
|
Visual Disk Test performs i/o tests on files, logical volumes, partitions or whole disks. |
masutu
|
2015-07-06 20:47 (UTC) |
|
boolr
|
v1.0.3-2 |
6 |
0.00
|
A digital logic simulator |
MarsSeed
|
2021-06-18 20:24 (UTC) |
|
beagle-logic-firmware-git
|
r216.c52845a-1 |
0 |
0.00
|
A logic analyzer for the PRUs on the BeagleBone / BeagleBone Black |
MarsSeed
|
2020-06-21 15:27 (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) |
|
treemap
|
3b1243-7 |
0 |
0.00
|
a tool for analysing relationships between evolutionary histories of ecologically linked species |
malacology
|
2024-01-22 06:01 (UTC) |
|
r-geoscale
|
2.0.1-2 |
0 |
0.00
|
Geological Time Scale Plotting |
malacology
|
2024-02-23 00:01 (UTC) |
|
r-ecoindr
|
2.0-2 |
0 |
0.00
|
Ecological Indicators |
malacology
|
2024-03-06 00:05 (UTC) |
|
exonerate
|
2.4.0-2 |
3 |
0.00
|
A general purpose tool for biological sequence comparison |
malacology
|
2024-02-13 04:43 (UTC) |
|
artemis
|
18.2.0-6 |
3 |
0.00
|
A genome viewer and annotation tool that visualizes biological sequence features |
malacology
|
2023-05-14 12:14 (UTC) |
|
last-align
|
1542-1 |
1 |
0.00
|
Genome-scale comparison of biological sequences |
luscinius
|
2024-02-20 05:39 (UTC) |
|
zatikon
|
1.003-3 |
0 |
0.00
|
Turn-based board strategy game inspired by chess, made by Chronic Logic |
lukky513
|
2015-11-01 22:44 (UTC) |
|
smodels
|
2.34-1 |
0 |
0.00
|
Implementation of the stable model semantics for logic programs |
Luker88
|
2015-11-09 20:11 (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) |
|
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) |
|
sis
|
1.4-1 |
0 |
0.00
|
Legacy Logic Synthesis Software |
lotation
|
2021-05-07 12:52 (UTC) |
|
python2-libvslvm
|
20160110-1 |
0 |
0.00
|
library to access the Linux Logical Volume Manager (LVM) |
linuxSEAT
|
2018-07-18 11:16 (UTC) |
|
bricscad-fr_fr
|
24.2.03-1 |
2 |
0.00
|
Logiciel de CAO DWG |
la_poigne
|
2024-04-10 06:58 (UTC) |
|
jason-bin
|
3.2.0-1 |
1 |
0.24
|
Fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language. |
laurasabucedo
|
2024-02-01 12:15 (UTC) |
|
spin-git
|
6.5.2.r23.g6651f97-1 |
0 |
0.00
|
Explicit state logic model checking tool |
kyechou
|
2020-12-24 18:20 (UTC) |
|
quicklogic-fpga-toolchain-bin
|
0.1.0-1 |
0 |
0.00
|
SymbiFlow variant provided as QuickLogic's vendor toolchain |
ktemkin
|
2020-06-09 03:46 (UTC) |
|
apertium-szl
|
0.1.0-1 |
0 |
0.00
|
Silesian morphological dictionary for apertium |
kruzah
|
2021-05-21 08:10 (UTC) |
|
apertium-fin
|
0.0.2-1 |
0 |
0.00
|
Finnish monolingual data and morphological analyser-generator for apertium |
kruzah
|
2021-05-20 22:28 (UTC) |
|
kingstvis
|
3.6.2-1 |
2 |
0.12
|
Kingst Virtual Instruments - Logic Analyzer |
kro007
|
2023-10-28 09:56 (UTC) |
|
paclast
|
r5-2 |
0 |
0.00
|
list installed pacman packages in chronological order. |
koonix
|
2022-02-08 13:37 (UTC) |
|
rodovid
|
0.3.18-1 |
2 |
0.00
|
Rodovid is a drag-n-drop genealogic program for Linux |
knedlyk
|
2016-04-06 14:10 (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) |
|
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) |
|
postgres-decoderbufs
|
1.7.0-1 |
0 |
0.00
|
A PostgreSQL logical decoder output plugin to deliver data as Protocol Buffers, adapted for Debezium |
k0ste
|
2021-10-01 13:44 (UTC) |
|
logic-synthesis-bin
|
1.4-1 |
0 |
0.00
|
Logic synthesis system from UC Berkeley. |
joshauc
|
2018-11-23 09:11 (UTC) |
|
python-dwdweather2
|
0.14.0-6 |
1 |
0.00
|
Client to access weather data from Deutscher Wetterdienst (DWD), the federal meteorological service in Germany |
iyanmv
|
2023-05-04 18:02 (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) |
|
python-mmtf
|
1.1.2-1 |
0 |
0.00
|
The macromolecular transmission format (MMTF) is a binary encoding of biological structures. |
hseara
|
2021-01-20 21:26 (UTC) |
|
mecab-git
|
r144.32041d9-1 |
13 |
0.19
|
Yet another part-of-speech and morphological analyzer. |
hidebu
|
2016-03-29 11:27 (UTC) |
|
meteoinfo
|
3.5.11-1 |
1 |
0.00
|
An open source software suite to view and analyze meteorological and spatial data interactively (MeteoInfoMap) or do scientific computation and visualization (MeteoInfoLab) |
heavysink
|
2023-04-08 07:56 (UTC) |
|
sfst
|
1.4.7e-2 |
0 |
0.00
|
Toolbox for the implementation of morphological analyzers and other tools. |
hansolo
|
2020-12-01 14:36 (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) |
|
taler-merchant-git
|
r3276.ccb3e0f1-1 |
0 |
0.00
|
Merchant logic implementation(s) and support code |
grufo
|
2022-02-15 01:06 (UTC) |
|
taler-merchant
|
0.9.4-1 |
0 |
0.00
|
Merchant logic implementation(s) and support code |
grufo
|
2024-03-29 16:15 (UTC) |
|
r-biostrings
|
2.70.3-1 |
0 |
0.00
|
Efficient manipulation of biological strings |
greyltc
|
2024-04-09 12:18 (UTC) |
|
nodejs-http-master
|
1.2.7-2 |
0 |
0.00
|
a front end http service with with easy setup of reverse proxy/redirecting/other-actions logic |
greyltc
|
2018-01-23 19:01 (UTC) |
|
fuzzylite-git
|
r1042.9e47f8ac-1 |
2 |
0.18
|
C++ fuzzy logic control library |
Gigas002
|
2024-01-19 13:09 (UTC) |
|
perl-linux-lvm
|
0.17-1 |
3 |
0.00
|
Perl extension for accessing Logical Volume Manager (LVM) data structures in Linux. |
ghostlovescore
|
2015-07-05 09:39 (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) |
|
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) |
|
perl-dist-zilla-role-bootstrap
|
1.001004-1 |
0 |
0.00
|
Shared logic for bootstrap things. |
Freed
|
2023-03-10 15:39 (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) |
|
ttf-new-athena-unicode
|
5.008-1 |
1 |
0.00
|
A freeware multilingual font distributed by the American Philological Association. |
FantasqueX
|
2022-07-04 06:39 (UTC) |
|
python-minikanren
|
1.0.3-1 |
0 |
0.00
|
An extensible, lightweight relational/logic programming DSL written in pure Python |
FantasqueX
|
2022-05-01 16:27 (UTC) |
|
lsoracle-git
|
r358.febd1523-1 |
0 |
0.00
|
Logic Synthesis oracle (with yosys plugin enabled) |
fansp
|
2023-04-11 12:06 (UTC) |