|
spass
|
3.9-1 |
1 |
0.00
|
An Automated Theorem Prover for First-Order Logic with Equality. |
eugenk
|
2022-09-27 17:49 (UTC) |
|
sigrok-firmware-sysclk-lwla
|
0.1-2 |
1 |
0.00
|
Firmware for SysClk LWLA-1016/1034 logic analysers |
uffe
|
2024-01-22 11:33 (UTC) |
|
sigrok-firmware-asix-sigma
|
0.1-2 |
1 |
0.00
|
Firmware for Asix Sigma logic analysers |
uffe
|
2024-01-22 12:17 (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) |
|
scryer-prolog
|
0.9.4-1 |
1 |
0.00
|
An open source industrial strength production environment that is also a testbed for bleeding edge research in logic and constraint programming |
aarroyoc
|
2024-03-17 10:21 (UTC) |
|
scanastudio
|
4.0.19-1 |
1 |
0.00
|
ScanaStudio is a software for Ikalogic logic analyzers |
mruslan
|
2021-09-21 13:42 (UTC) |
|
r-whisker
|
0.4.1-4 |
1 |
0.00
|
{{mustache}} for R, Logicless Templating |
BioArchLinuxBot
|
2024-04-24 19:18 (UTC) |
|
r-geomap
|
2.5.5-2 |
1 |
0.00
|
Topographic and Geologic Mapping |
BioArchLinuxBot
|
2024-04-25 11:35 (UTC) |
|
r-chron
|
2.3.61-2 |
1 |
0.10
|
Chronological Objects which Can Handle Dates and Times |
BioArchLinuxBot
|
2024-03-14 18:06 (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-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-pymorphy3
|
1.2.0-00 |
1 |
0.12
|
Morphological analyzer (POS tagger + inflection engine) for Russian language. |
1over137
|
2023-09-04 18:40 (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-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-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-logicmin
|
0.3.18-1 |
1 |
0.00
|
Logic Minimization in Python |
dariost
|
2019-07-05 11:14 (UTC) |
|
python-grilops
|
0.10.3-1 |
1 |
0.00
|
GRId LOgic Puzzle Solver |
vEnhance
|
2024-04-30 22:26 (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-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) |
|
php-vld
|
0.14.0-2 |
1 |
0.00
|
The Vulcan Logic Dumper hooks into the Zend Engine and dumps all the opcodes (execution units) of a script. |
pcarvalho
|
2019-03-18 14:56 (UTC) |
|
pglogical2
|
2.4.1-2 |
1 |
0.00
|
Logical replication for PostgreSQL |
samuel.jimenez
|
2022-08-10 15:25 (UTC) |
|
opentheory
|
1:1.4.20180810-1 |
1 |
0.00
|
a tool for processing higher-order logic theory packages |
xrchz
|
2018-09-27 12:13 (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) |
|
ncbi-toolkit
|
27.0.0-1 |
1 |
0.00
|
Applications, scripts and C++ libraries for the analysis of biological data |
mschu
|
2023-11-09 16:12 (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) |
|
logtalk
|
3.74.0-1 |
1 |
0.00
|
Object-Oriented Logic Programming Language |
eugeneai
|
2024-02-12 03:25 (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) |
|
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) |
|
last-align
|
1542-1 |
1 |
0.00
|
Genome-scale comparison of biological sequences |
luscinius
|
2024-02-20 05:39 (UTC) |
|
key-logic
|
2.6.2-1 |
1 |
0.00
|
A dynamic logic proof tool |
orphan
|
2017-05-06 12:10 (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) |
|
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) |
|
gog-rogue-legacy
|
2.0.0.2-1 |
1 |
0.00
|
A genealogical "roguelite" where anyone can be a hero |
orphan
|
2017-02-27 15:26 (UTC) |
|
frog
|
0.32-1 |
1 |
0.00
|
Frog is an integration of memory-based natural language processing (NLP) modules developed for Dutch. It includes a tokenizer, part-of-speech tagger, lemmatizer, morphological analyser, named entity recognition, shallow parser and dependency parser. |
proycon
|
2023-12-05 14:52 (UTC) |
|
fl2000-dkms
|
r16.92da04a-1 |
1 |
0.00
|
Fresco Logic FL2000 USB to VGA adapter driver |
orphan
|
2019-07-31 12:31 (UTC) |
|
digital-logic-sim-git
|
1.0.2-1.1 |
1 |
0.65
|
Simple digital logic simulator made by Sebastian Lague for his series on digital logic |
Oman395
|
2023-02-17 14:02 (UTC) |
|
digital-git
|
v0.30.r6.gaa9c14270-1 |
1 |
0.00
|
A digital logic designer and circuit simulator. Git development version |
VitalyR
|
2023-04-21 06:02 (UTC) |
|
carl
|
17.08-1 |
1 |
0.00
|
An Open Source C++ Library for Computer Arithmetic and Logic |
nafur
|
2017-09-08 07: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) |
|
bioawk
|
1.0-1 |
1 |
0.00
|
BWK awk modified for biological data |
alienzj
|
2017-06-09 20:30 (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) |
|
anylogic-ple
|
8.8.6-1 |
1 |
0.00
|
AnyLogic Personal Learning Edition - for beginners and students |
DragonX256
|
2024-03-11 13:30 (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) |
|
abc-git
|
1.01-1 |
1 |
0.00
|
System for Sequential Logic Synthesis and Formal Verification |
orphan
|
2019-09-05 21:48 (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) |
|
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) |
|
wiredpanda
|
4.1.12-1 |
0 |
0.00
|
Software developed in order to help students learn about logic circuits. |
joao-zip
|
2024-04-26 15:48 (UTC) |
|
vlogsolv
|
1.2-0 |
0 |
0.00
|
cli program that calculates value tables for logical expressions |
nzbr
|
2020-11-29 21:53 (UTC) |
|
vampire
|
4.5.1-1 |
0 |
0.00
|
A theorem prover for first-order logic |
patrick.luehne
|
2020-11-25 20: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) |