abc-git
|
1.01-1 |
1 |
0.00
|
System for Sequential Logic Synthesis and Formal Verification |
orphan
|
2019-09-05 21:48 (UTC) |
espresso-logic
|
1.1.1-1 |
3 |
0.00
|
The espresso PLA logic minimization program |
orphan
|
2020-04-11 03:04 (UTC) |
fl2000-dkms
|
r16.92da04a-1 |
1 |
0.00
|
Fresco Logic FL2000 USB to VGA adapter driver |
orphan
|
2019-07-31 12:31 (UTC) |
jsimugate
|
0.70-1 |
0 |
0.00
|
Simulate standard logic and more |
orphan
|
2020-06-22 15:35 (UTC) |
juman
|
7.01-2 |
2 |
0.00
|
Morphological Analyzer for Japanese |
orphan
|
2021-05-14 14:16 (UTC) |
juman++
|
1.02-1 |
0 |
0.00
|
Morphological Analyzer for Japanese |
orphan
|
2021-05-14 14:52 (UTC) |
key-logic
|
2.6.2-1 |
1 |
0.00
|
A dynamic logic proof tool |
orphan
|
2017-05-06 12:10 (UTC) |
lvm2-git
|
2.02.120.r33.g43224f2-1 |
0 |
0.00
|
Logical Volume Manager 2 utilities - git checkout |
orphan
|
2015-06-29 17:27 (UTC) |
morfeusz2-bin
|
1.9.16-1 |
0 |
0.00
|
Morphological analyser Morfeusz, binary version |
orphan
|
2020-11-25 13:11 (UTC) |
picmi-git
|
1:24.01.90.r22.gcb668b9-1 |
3 |
0.00
|
A nonogram logic game for KDE |
orphan
|
2024-03-22 12:34 (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-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-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-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) |
ruby-dry-logic
|
1.2.0-1 |
0 |
0.00
|
Predicate logic with rule composition |
orphan
|
2021-08-01 00:55 (UTC) |
saleae-logic-beta
|
1.2.29-1 |
16 |
0.00
|
High speed USB logic analyzer. |
orphan
|
2018-08-02 04:48 (UTC) |
scrm
|
1.7.4-1 |
0 |
0.00
|
A Coalescent Simulator for Genome-Scale Biological Sequences |
orphan
|
2020-05-15 02:30 (UTC) |
sudoku-solver-git
|
v1.0.0.r0.gb4bec10-1 |
0 |
0.00
|
Contains several logical methods of solving, as well as brute force selection |
orphan
|
2020-07-28 20:29 (UTC) |
ttf-ecofont-sans
|
2.04-1 |
0 |
0.00
|
Ecologically friendly sans font |
orphan
|
2020-12-09 18:26 (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) |
python-pymorphy3
|
1.2.0-00 |
1 |
0.16
|
Morphological analyzer (POS tagger + inflection engine) for Russian language. |
1over137
|
2023-09-04 18:40 (UTC) |
nonograms-katana-nativefier
|
1.0-1 |
0 |
0.00
|
A nodejs nativefier client for Nonograms Katana, a logic puzzle game developed and published by ucdevs. |
29ggf
|
2021-07-10 20:32 (UTC) |
ampart
|
1.3-2 |
0 |
0.00
|
A partition tool to modify Amlogic's proprietary eMMC partition format and FDT |
7Ji
|
2023-11-13 02:26 (UTC) |
ampart-git
|
1.3.r12.6f90ddd-2 |
0 |
0.00
|
A partition tool to modify Amlogic's proprietary eMMC partition format and FDT |
7Ji
|
2023-11-13 02:28 (UTC) |
mindustry_logic_bang_lang-bin
|
0.15.4-1 |
0 |
0.00
|
Mindustry logic extension language, for zero additional overhead! |
A4-Tacks
|
2024-03-28 09:22 (UTC) |
eclipse-clp
|
7.0.63-1 |
0 |
0.00
|
Constraint Logic Programming System |
aarroyoc
|
2023-09-10 13:48 (UTC) |
fleng
|
20-1 |
0 |
0.00
|
A low level concurrent logic programming language descended from Prolog |
aarroyoc
|
2024-03-16 17:08 (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) |
picat
|
3.5-1 |
2 |
0.00
|
A simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications. |
abeaumont
|
2023-07-10 20:53 (UTC) |
ttf-exo-2
|
2.001-1 |
5 |
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. |
accuminium
|
2023-05-30 19:22 (UTC) |
ols
|
0.9.7.2-2 |
10 |
0.00
|
A software client for the Open Bench Logic Sniffer logic analyser hardware. |
adlerweb
|
2023-09-01 20:46 (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) |
clingo
|
5.7.1-1 |
5 |
0.01
|
Grounding tools for (disjunctive) logic programs |
adsun
|
2024-02-16 13:52 (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) |
logic2010
|
20180112-5 |
0 |
0.00
|
Educational symbolic logic software provided for free by UCLA |
afontenot
|
2018-01-22 07:46 (UTC) |
python-turkish-morphology
|
1.2.5-3 |
1 |
0.00
|
A two-level morphological analyzer for Turkish |
alerque
|
2024-03-28 10:31 (UTC) |
python-proton-core
|
0.1.16-2 |
3 |
0.43
|
The proton-core component contains core logic used by the other Proton components. |
ali.molaei
|
2024-03-08 11:35 (UTC) |
bioawk
|
1.0-1 |
1 |
0.00
|
BWK awk modified for biological data |
alienzj
|
2017-06-09 20:30 (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) |
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) |
cedarlogic-git
|
v2.3.6.r82.d153a75-1 |
0 |
0.00
|
Free, Open Source Digital Logic Simulator |
arenm
|
2022-11-01 19:10 (UTC) |
gdevelop-git
|
v5.0.0.beta106.r10.g35bf3861a-1 |
5 |
0.00
|
A full featured, open source game development software, allowing to create HTML5 and native games without knowing a programming language. All the game logic is made thanks to an intuitive and powerful event based system. |
arthuro555
|
2021-03-20 16:57 (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) |
teyjus
|
2.1-1 |
1 |
0.00
|
An efficient implementation of the higher-order logic programming language Lambda Prolog |
aspirogrammer
|
2016-04-20 05:43 (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) |
gog-slay-the-princess
|
1.2a.72334-1 |
0 |
0.00
|
Choice-driven psychological horror visual novel. GOG version. |
Auerhuhn
|
2024-04-05 15:03 (UTC) |
gog-slay-the-princess-demo
|
1.0a.64269-1 |
0 |
0.00
|
Choice-driven psychological horror visual novel. GOG version. |
Auerhuhn
|
2024-04-05 13:44 (UTC) |