|
berusky-data
|
1.7-1 |
3 |
0.00
|
A logic game based on the puzzle game Sokoban - data files |
SanskritFritz
|
2015-07-24 14:25 (UTC) |
|
berusky
|
1.7.2-1 |
14 |
0.00
|
A logic game based on the puzzle game Sokoban |
SanskritFritz
|
2020-11-28 20:46 (UTC) |
|
pglogical2
|
2.4.1-2 |
1 |
0.00
|
Logical replication for PostgreSQL |
samuel.jimenez
|
2022-08-10 15:25 (UTC) |
|
sigrok-firmware-saleae-logic
|
1.2.10-1 |
2 |
0.00
|
Firmware and FPGA bitstream binaries for Saleae Logic (Pro) devices used with Sigrok. |
samekh
|
2020-05-19 18:51 (UTC) |
|
carl-git
|
17.08.r2.g8f78930b-1 |
0 |
0.00
|
CArL - the Computer ARithmetic and Logic library |
s14h
|
2017-08-17 08:55 (UTC) |
|
gog-rogue-legacy
|
2.0.0.2-1 |
1 |
0.00
|
A genealogical "roguelite" where anyone can be a hero |
Runiq
|
2017-02-27 15:26 (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) |
|
quint
|
0.19.2-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-04-10 00:10 (UTC) |
|
gedkeeper-git
|
v3.5.1.r4.g03c755c6-2 |
0 |
0.00
|
Personal genealogical database editor |
rilian
|
2024-03-03 18:36 (UTC) |
|
saleae-logic
|
1.2.18-1 |
42 |
0.00
|
High speed USB logic analyzer. |
qubidt
|
2018-05-10 02:15 (UTC) |
|
otf-exo
|
2.1-1 |
8 |
0.00
|
A geometric sans serif font with a technological feel |
qmega
|
2024-02-24 03:49 (UTC) |
|
logicdraw-git
|
r101.1d8805f-2 |
0 |
0.00
|
An application to perform simulations of logic gates, in which you can paint your circuit like in raster graphics editor. |
PWN1109
|
2018-01-11 09:47 (UTC) |
|
logicdraw
|
0.1.13-1 |
0 |
0.00
|
An application to perform simulations of logic gates, in which you can paint your circuit like in raster graphics editor. |
PWN1109
|
2018-01-10 12:30 (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) |
|
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) |
|
wal2json
|
2_5-1 |
1 |
0.00
|
Output plugin for logical decoding PostgreSQL WAL's |
ProFfeSsoRr
|
2023-02-19 07:33 (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) |
|
cp2k-bin
|
2024.1-1 |
2 |
0.00
|
A quantum chemistry and solid state physics software package for atomistic simulations of solid state, liquid, molecular, periodic, material, crystal, and biological systems. (precompiled, OpenMP) |
petronny
|
2024-01-15 07:57 (UTC) |
|
r-tenxplore
|
1.24.0-2 |
0 |
0.00
|
ontological exploration of scRNA-seq of 1.3 million mouse neurons from 10x genomics |
pekkarr
|
2024-04-27 04:19 (UTC) |
|
r-shinymeta
|
0.2.0.3-1 |
0 |
0.00
|
Export Domain Logic from Shiny using Meta-Programming |
pekkarr
|
2023-11-25 07:21 (UTC) |
|
r-screenr
|
1.4.0-3 |
0 |
0.00
|
Package to Perform High Throughput Biological Screening |
pekkarr
|
2024-04-25 18:56 (UTC) |
|
r-multirnaflow
|
1.0.0-3 |
0 |
0.00
|
An R package for analysing RNA-seq raw counts with several biological conditions and different time points |
pekkarr
|
2024-04-27 06:59 (UTC) |
|
r-macarron
|
1.6.0-3 |
0 |
0.00
|
Prioritization of potentially bioactive metabolic features from epidemiological and environmental metabolomics datasets |
pekkarr
|
2024-04-27 07:16 (UTC) |
|
r-enrichviewnet
|
1.0.0-3 |
0 |
0.00
|
From functional enrichment results to biological networks |
pekkarr
|
2024-04-26 19:09 (UTC) |
|
r-bionar
|
1.4.4-1 |
0 |
0.00
|
Biological Network Analysis in R |
pekkarr
|
2024-03-12 12:03 (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) |
|
vampire
|
4.5.1-1 |
0 |
0.00
|
A theorem prover for first-order logic |
patrick.luehne
|
2020-11-25 20:37 (UTC) |
|
smt-manager-git
|
r22.2e6f1ef-1 |
0 |
0.00
|
Enable or disable logical cores, or display your current CPU topology. |
patlefort
|
2023-12-26 09:15 (UTC) |
|
logisim-evolution-bin
|
3.8.0-1 |
7 |
0.00
|
An educational tool for designing and simulating digital logic circuits (binary version) |
Paragoumba
|
2022-12-04 21:32 (UTC) |
|
eqp
|
09e-3 |
0 |
0.00
|
Equational Prover (Theorem Prover for First-Order Equational Logic) |
oriba
|
2021-08-12 20:49 (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) |
|
digital-logic-sim-git
|
1.0.2-1.1 |
1 |
0.75
|
Simple digital logic simulator made by Sebastian Lague for his series on digital logic |
Oman395
|
2023-02-17 14:02 (UTC) |
|
vlogsolv
|
1.2-0 |
0 |
0.00
|
cli program that calculates value tables for logical expressions |
nzbr
|
2020-11-29 21:53 (UTC) |
|
python-scikit-fuzzy
|
0.4.2-1 |
0 |
0.00
|
A fuzzy logic toolkit for SciPy |
noblehelm
|
2022-02-15 17:22 (UTC) |
|
turtl-core-rs
|
0.1.2-5 |
1 |
0.00
|
Turtl's logic core, built in Rust |
neoninteger
|
2020-03-12 11:44 (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) |
|
carl
|
17.08-1 |
1 |
0.00
|
An Open Source C++ Library for Computer Arithmetic and Logic |
nafur
|
2017-09-08 07:40 (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) |
|
stardict-arramooz
|
0.1-1 |
1 |
0.00
|
Arramooz Alwaseet: Arabic Dictionary for Morphological analysis |
munzirtaha
|
2016-12-25 15:57 (UTC) |
|
topologic-parse-git
|
1.1.0-1 |
1 |
0.00
|
Library to create dyanimic context free or switching automata |
msstern98
|
2021-03-26 16:21 (UTC) |
|
topologic-git
|
1.3.0-1 |
1 |
0.00
|
Library to create dyanimic context free or switching automata |
msstern98
|
2021-03-25 14:23 (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) |
|
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) |
|
linux-firmware-qlogic-git
|
20240312.3b128b60-1 |
77 |
2.05
|
Firmware files for Linux - qlogic / Firmware for QLogic devices |
MRWITEK
|
2024-03-15 11:25 (UTC) |
|
scanastudio
|
4.0.19-1 |
1 |
0.00
|
ScanaStudio is a software for Ikalogic logic analyzers |
mruslan
|
2021-09-21 13:42 (UTC) |
|
machinarium
|
3-14 |
49 |
0.00
|
A point-and-click logic adventure game by the creators of Samorost (requires copy of the full game) |
Mr.Smith1974
|
2018-06-04 11:15 (UTC) |
|
antichamber
|
1392664980-2 |
10 |
0.00
|
A mind-bending psychological exploration game where nothing can be taken for granted |
Mr.Smith1974
|
2015-06-12 17:27 (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) |
|
seiscomp
|
6.2.0-1 |
3 |
0.01
|
A seismological software for data acquisition, processing, distribution and analysis. |
morealaz
|
2024-02-06 12:04 (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) |