|
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) |
|
perl-dist-zilla-role-bootstrap
|
1.001004-1 |
0 |
0.00
|
Shared logic for bootstrap things. |
Freed
|
2023-03-10 15:39 (UTC) |
|
digisim-git
|
1-5 |
0 |
0.00
|
A digital logic simulator programmed in lua |
vrighter
|
2023-03-01 12:52 (UTC) |
|
wal2json
|
2_5-1 |
1 |
0.00
|
Output plugin for logical decoding PostgreSQL WAL's |
ProFfeSsoRr
|
2023-02-19 07:33 (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) |
|
r-ade4
|
1.7.22-1 |
0 |
0.00
|
Analysis of Ecological Data: Exploratory and Euclidean Methods in Environmental Sciences |
BioArchLinuxBot
|
2023-02-09 18:07 (UTC) |
|
mecab-ipadic-git
|
r154.046fa78-2 |
0 |
0.00
|
Yet another Japanese morphological analyzer (IPADIC dictionary) |
atticf
|
2023-01-23 08:58 (UTC) |
|
python-fugashi
|
1.2.1-3 |
0 |
0.00
|
Cython MeCab wrapper for fast, pythonic Japanese tokenization and morphological analysis |
atticf
|
2023-01-23 08:56 (UTC) |
|
mingw-w64-hunspell
|
1.7.2-1 |
2 |
0.00
|
Spell checker and morphological analyzer library and program (mingw-w64) |
adsun
|
2022-12-30 13:38 (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-mecab
|
1.0.6-1 |
2 |
0.00
|
Morphological Analysis Tool - Python3 interface |
orphan
|
2022-12-24 04:02 (UTC) |
|
python-obspy
|
1.4.0-1 |
5 |
0.00
|
A Python framework for processing seismological data |
cucullus
|
2022-12-14 16:42 (UTC) |
|
python-obspy-docs
|
1.4.0-1 |
1 |
0.00
|
Set of HTML documentation for Obspy seismological framework. |
morealaz
|
2022-12-14 13:05 (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) |
|
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) |
|
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) |
|
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) |
|
cedarlogic-git
|
v2.3.6.r82.d153a75-1 |
0 |
0.00
|
Free, Open Source Digital Logic Simulator |
arenm
|
2022-11-01 19:10 (UTC) |
|
systemd-hosts.d
|
1.0-1 |
0 |
0.00
|
Keep your hosts records in logically separated files |
onedwide
|
2022-10-25 19:26 (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) |
|
spass
|
3.9-1 |
1 |
0.00
|
An Automated Theorem Prover for First-Order Logic with Equality. |
eugenk
|
2022-09-27 17: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) |
|
digital
|
0.29-4 |
13 |
0.75
|
A digital logic designer and circuit simulator. |
edg-l
|
2022-09-05 06:53 (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) |
|
pglogical2
|
2.4.1-2 |
1 |
0.00
|
Logical replication for PostgreSQL |
samuel.jimenez
|
2022-08-10 15:25 (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) |
|
xf86-video-cirrus
|
1.6.0-1 |
0 |
0.00
|
Cirrus Logic video driver for the Xorg X server |
orphan
|
2022-07-27 05:25 (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) |
|
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) |
|
eprover
|
2.6-1 |
11 |
0.00
|
E is theorem prover for full first-order logic with equality. |
asch
|
2022-06-16 10:56 (UTC) |
|
python-frog-git
|
1-2 |
1 |
0.00
|
Python binding for Frog, a NLP suite for Dutch containing a part-of-speech tagger, lemmatizer, morphological analyser, named entity recognition, shallow parser and dependency parser |
proycon
|
2022-06-12 18:22 (UTC) |
|
r-kmer
|
1.1.2-4 |
0 |
0.00
|
Fast K-Mer Counting and Clustering for Biological Sequence Analysis |
BioArchLinuxBot
|
2022-06-06 05:47 (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) |
|
bioawk-git
|
1.0.0.r51.fd40150-2 |
1 |
0.00
|
BWK awk modified for biological data |
alienzj
|
2022-05-18 13:22 (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) |
|
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) |
|
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) |
|
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-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) |
|
python-logical-unification
|
0.4.5-1 |
0 |
0.00
|
Straightforward unification in Python that's extensible via generic functions. |
orphan
|
2022-04-29 07:58 (UTC) |
|
python-scikit-fuzzy
|
0.4.2-1 |
0 |
0.00
|
A fuzzy logic toolkit for SciPy |
noblehelm
|
2022-02-15 17:22 (UTC) |
|
taler-merchant-git
|
r3276.ccb3e0f1-1 |
0 |
0.00
|
Merchant logic implementation(s) and support code |
grufo
|
2022-02-15 01:06 (UTC) |
|
python-morfessor
|
2.0.6-4 |
0 |
0.00
|
A tool for unsupervised and semi-supervised morphological segmentation |
adrien1018
|
2022-02-14 06:23 (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) |
|
paclast
|
r5-2 |
0 |
0.00
|
list installed pacman packages in chronological order. |
koonix
|
2022-02-08 13:37 (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) |
|
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) |
|
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) |
|
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) |