|
juman
|
7.01-2 |
2 |
0.00
|
Morphological Analyzer for Japanese |
orphan
|
2021-05-14 14:16 (UTC) |
|
jsimugate
|
0.70-1 |
0 |
0.00
|
Simulate standard logic and more |
orphan
|
2020-06-22 15:35 (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) |
|
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-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) |
|
gog-darkest-dungeon
|
24839-1 |
2 |
0.00
|
Darkest Dungeon is a challenging gothic roguelike turn-based RPG about the psychological stresses of adventuring. |
bwrsandman
|
2021-03-21 15:12 (UTC) |
|
gedkeeper-git
|
v3.5.1.r4.g03c755c6-2 |
0 |
0.00
|
Personal genealogical database editor |
rilian
|
2024-03-03 18:36 (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) |
|
gdevelop
|
5.3.194-1 |
1 |
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. |
xiota
|
2024-03-12 18: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) |
|
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) |
|
fleng
|
20-1 |
0 |
0.00
|
A low level concurrent logic programming language descended from Prolog |
aarroyoc
|
2024-03-16 17:08 (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) |
|
exonerate
|
2.4.0-2 |
3 |
0.00
|
A general purpose tool for biological sequence comparison |
malacology
|
2024-02-13 04:43 (UTC) |
|
espresso-logic
|
1.1.1-1 |
3 |
0.00
|
The espresso PLA logic minimization program |
orphan
|
2020-04-11 03:04 (UTC) |
|
eqp
|
09e-3 |
0 |
0.00
|
Equational Prover (Theorem Prover for First-Order Equational Logic) |
oriba
|
2021-08-12 20:49 (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) |
|
eclipse-clp
|
7.0.63-1 |
0 |
0.00
|
Constraint Logic Programming System |
aarroyoc
|
2023-09-10 13:48 (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) |
|
digisim-git
|
1-5 |
0 |
0.00
|
A digital logic simulator programmed in lua |
vrighter
|
2023-03-01 12:52 (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) |
|
cedarlogic-git
|
v2.3.6.r82.d153a75-1 |
0 |
0.00
|
Free, Open Source Digital Logic Simulator |
arenm
|
2022-11-01 19:10 (UTC) |
|
carl-storm
|
14.25-1 |
0 |
0.00
|
The Computer ARithmetic and Logic library for the probabilistic model checker Storm |
volkm
|
2023-07-03 20:50 (UTC) |
|
carl-master14-git
|
c++14.18.12.r9.gb9ff46d9-1 |
0 |
0.00
|
CArL - the Computer ARithmetic and Logic library (master14 branch) |
volkm
|
2019-08-28 13:17 (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) |
|
carl
|
17.08-1 |
1 |
0.00
|
An Open Source C++ Library for Computer Arithmetic and Logic |
nafur
|
2017-09-08 07:40 (UTC) |
|
bricscad-fr_fr
|
24.2.03-1 |
2 |
0.00
|
Logiciel de CAO DWG |
la_poigne
|
2024-04-10 06:58 (UTC) |
|
boolr
|
v1.0.3-2 |
6 |
0.00
|
A digital logic simulator |
MarsSeed
|
2021-06-18 20:24 (UTC) |
|
bitscope-logic
|
1.2.FC20C-1 |
4 |
0.00
|
Bitscope logic software for oscilloscopes |
xblack
|
2016-01-21 22:44 (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) |
|
berusky2-data
|
0.12-3 |
5 |
0.00
|
A logic game based on the puzzle game Sokoban (Data files). |
SanskritFritz
|
2020-11-30 21:01 (UTC) |
|
berusky2
|
0.12-1 |
6 |
0.00
|
A logic game based on the puzzle game Sokoban. |
SanskritFritz
|
2020-11-27 13:14 (UTC) |
|
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) |
|
beagle-logic-firmware-git
|
r216.c52845a-1 |
0 |
0.00
|
A logic analyzer for the PRUs on the BeagleBone / BeagleBone Black |
MarsSeed
|
2020-06-21 15:27 (UTC) |
|
astronum
|
1.0.10-1 |
0 |
0.00
|
Program for simple astrological and numerological calculations |
begin-theadventu
|
2023-10-12 13:23 (UTC) |
|
artemis
|
18.2.0-6 |
3 |
0.00
|
A genome viewer and annotation tool that visualizes biological sequence features |
malacology
|
2023-05-14 12:14 (UTC) |
|
apertium-szl
|
0.1.0-1 |
0 |
0.00
|
Silesian morphological dictionary for apertium |
kruzah
|
2021-05-21 08:10 (UTC) |
|
apertium-fin
|
0.0.2-1 |
0 |
0.00
|
Finnish monolingual data and morphological analyser-generator for apertium |
kruzah
|
2021-05-20 22:28 (UTC) |
|
anylogic-university-8.2.4
|
8.2.4-1 |
0 |
0.00
|
AnyLogic University Edition - for public research in universities. Last x86 version |
DragonX256
|
2019-03-12 12:57 (UTC) |
|
anylogic-university
|
8.8.6-1 |
0 |
0.00
|
AnyLogic University Edition - for public research in universities |
DragonX256
|
2024-03-11 13:30 (UTC) |
|
anylogic-professional-8.2.4
|
8.2.4-1 |
0 |
0.00
|
AnyLogic Professional Edition - for companies and government organizations. Last x86 version |
DragonX256
|
2019-03-12 12:57 (UTC) |
|
anylogic-professional
|
8.8.6-1 |
0 |
0.00
|
AnyLogic Professional Edition - for companies and government organizations |
DragonX256
|
2024-03-11 13:30 (UTC) |
|
anylogic-ple-8.2.4
|
8.2.4-2 |
0 |
0.00
|
AnyLogic Personal Learning Edition - for beginners and students. Last x86 version |
DragonX256
|
2019-03-12 13:00 (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) |
|
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) |
|
abc-git
|
1.01-1 |
1 |
0.00
|
System for Sequential Logic Synthesis and Formal Verification |
orphan
|
2019-09-05 21:48 (UTC) |