prover9
|
2009.11A-3 |
8 |
0.00
|
Prover9 is an automated theorem prover for first-order and equational logic |
soimort
|
2021-04-25 10:51 (UTC) |
python-biom-format
|
2.1.8-1 |
0 |
0.00
|
The Biological Observation Matrix (BIOM) Format Project |
orphan
|
2020-11-01 12:17 (UTC) |
python-dwdweather2
|
0.14.0-7 |
1 |
0.00
|
Client to access weather data from Deutscher Wetterdienst (DWD), the federal meteorological service in Germany |
iyanmv
|
2024-05-06 14:43 (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) |
python-fugashi
|
1.3.0-1 |
0 |
0.00
|
Cython MeCab wrapper for fast, pythonic Japanese tokenization and morphological analysis |
atticf
|
2024-05-13 06:31 (UTC) |
python-giotto-tda
|
0.4.0-0 |
0 |
0.00
|
A high performance topological machine learning toolbox in Python |
orphan
|
2021-01-21 11:18 (UTC) |
python-janome
|
0.5.0-1 |
0 |
0.00
|
Japanese morphological analysis engine written in pure Python |
orphan
|
2023-07-03 10:15 (UTC) |
python-litescope-git
|
2020.08.r10.g94e2d15-1 |
0 |
0.00
|
A small footprint and configurable embedded logic analyzer for LiteX |
xiretza
|
2020-11-17 11:40 (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-logicmin
|
0.3.18-1 |
1 |
0.00
|
Logic Minimization in Python |
dariost
|
2019-07-05 11:14 (UTC) |
python-mecab
|
1.0.6-1 |
2 |
0.00
|
Morphological Analysis Tool - Python3 interface |
orphan
|
2022-12-24 04:02 (UTC) |
python-meteocalc
|
1.1.0-1 |
1 |
0.00
|
Several functions for calculation of meteorological variables: dew point, heat index, wind chill, feels like temperature. |
orphan
|
2021-01-25 11:43 (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-mmtf
|
1.1.3-1 |
0 |
0.00
|
The macromolecular transmission format (MMTF) is a binary encoding of biological structures. |
hseara
|
2024-05-03 13:15 (UTC) |
python-mne
|
1.7.0-1 |
0 |
0.00
|
Python package for exploring, visualizing, and analyzing human neurophysiological data: MEG, EEG, sEEG, ECoG, and more |
cbrnr
|
2024-05-03 07:42 (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) |
python-neurokit2
|
0.2.7-2 |
0 |
0.00
|
The Python Toolbox for Neurophysiological Signal Processing. |
AlexBocken
|
2024-04-28 09:56 (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) |
python-panphon
|
0.19.1-2 |
0 |
0.00
|
Python package and data files for manipulating phonological segments (phones, phonemes) in terms of universal phonological features. |
robertfoster
|
2023-08-06 17:36 (UTC) |
python-pymorphy2
|
0.9.1-3 |
1 |
0.00
|
Morphological analyzer (POS tagger + inflection engine) for Russian language. |
vantu5z
|
2023-06-06 13:20 (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) |
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-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-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-scikit-fuzzy
|
0.4.2-1 |
0 |
0.00
|
A fuzzy logic toolkit for SciPy |
noblehelm
|
2022-02-15 17:22 (UTC) |
python-scoring-matrices
|
0.2.0-1 |
0 |
0.00
|
Dependency free, Cython-compatible scoring matrices to use with biological sequences. |
althonos
|
2024-05-06 11:21 (UTC) |
python-topylogic
|
1.4.4-1 |
1 |
0.00
|
Library to create dyanimic context free or switching automata |
msstern98
|
2021-03-29 02:53 (UTC) |
python-turkish-morphology
|
1.2.5-4 |
1 |
0.00
|
A two-level morphological analyzer for Turkish |
alerque
|
2024-04-27 20:19 (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) |
python2-libvslvm
|
20160110-1 |
0 |
0.00
|
library to access the Linux Logical Volume Manager (LVM) |
linuxSEAT
|
2018-07-18 11:16 (UTC) |
pzl_akari
|
32.1-1 |
7 |
0.00
|
A binary-determination logic puzzle, also called Light Up. |
SanskritFritz
|
2023-10-29 21:07 (UTC) |
pzl_futoshiki
|
32.1-1 |
7 |
0.00
|
Logic game in which players solve a Latin square. |
SanskritFritz
|
2023-10-29 21:07 (UTC) |
pzl_kakuro
|
32.1-1 |
7 |
0.00
|
An absorbing logic game. |
SanskritFritz
|
2023-10-29 21:07 (UTC) |
pzl_knotty
|
32.1-1 |
7 |
0.00
|
Logic game similar to Josh Wardle's Wordle. |
SanskritFritz
|
2023-10-29 21:07 (UTC) |
pzl_minesweeper
|
32.1-1 |
7 |
0.00
|
Minesweeper game which will always produce puzzles that can be solved using logic. |
SanskritFritz
|
2023-10-29 21:07 (UTC) |
pzl_skyscrapers
|
32.1-1 |
7 |
0.00
|
Logic game which like Sudoku is based around Latin squares. |
SanskritFritz
|
2023-10-29 21:07 (UTC) |
pzl_sudoku
|
32.1-1 |
7 |
0.00
|
The popular logic game. |
SanskritFritz
|
2023-10-29 21:07 (UTC) |
pzl_sumpuzzle
|
32.1-1 |
7 |
0.00
|
Test of logic and simple arithmetic in which the player positions numbers to satisfy six intersecting sums. |
SanskritFritz
|
2023-10-29 21:07 (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) |
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) |
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) |
quint
|
0.19.4-1 |
0 |
0.00
|
Quint is an executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions |
rnbguy
|
2024-05-14 16:04 (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) |
r-annaffy
|
1.76.0-1 |
0 |
0.00
|
Annotation tools for Affymetrix biological metadata |
BioArchLinuxBot
|
2024-05-02 20:44 (UTC) |
r-biocset
|
1.18.0-1 |
0 |
0.00
|
Representing Different Biological Sets |
BioArchLinuxBot
|
2024-05-03 07:44 (UTC) |
r-biodb
|
1.12.0-1 |
0 |
0.00
|
a library and a development framework for connecting to chemical and biological databases |
BioArchLinuxBot
|
2024-05-02 04:56 (UTC) |
r-biomm
|
1.15.0-2 |
0 |
0.00
|
Biological-informed Multi-stage Machine learning framework for phenotype prediction using omics data |
BioArchLinuxBot
|
2024-02-11 18:11 (UTC) |
r-biomvrcns
|
1.44.0-1 |
0 |
0.00
|
Copy Number study and Segmentation for multivariate biological data |
BioArchLinuxBot
|
2024-05-03 06:15 (UTC) |
r-bionar
|
1.6.0-1 |
0 |
0.00
|
Biological Network Analysis in R |
pekkarr
|
2024-05-10 18:12 (UTC) |
r-bionero
|
1.12.0-1 |
0 |
0.00
|
Biological Network Reconstruction Omnibus |
BioArchLinuxBot
|
2024-05-03 14:00 (UTC) |