|
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) |
|
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) |
|
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-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-university
|
8.8.6-1 |
0 |
0.00
|
AnyLogic University Edition - for public research in universities |
DragonX256
|
2024-03-11 13:30 (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) |
|
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) |
|
apertium-szl
|
0.1.0-1 |
0 |
0.00
|
Silesian morphological dictionary for apertium |
kruzah
|
2021-05-21 08:10 (UTC) |
|
astronum
|
1.0.10-1 |
0 |
0.00
|
Program for simple astrological and numerological calculations |
begin-theadventu
|
2023-10-12 13:23 (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) |
|
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-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-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) |
|
cedarlogic-git
|
v2.3.6.r82.d153a75-1 |
0 |
0.00
|
Free, Open Source Digital Logic Simulator |
arenm
|
2022-11-01 19:10 (UTC) |
|
digisim-git
|
1-5 |
0 |
0.00
|
A digital logic simulator programmed in lua |
vrighter
|
2023-03-01 12:52 (UTC) |
|
eclipse-clp
|
7.0.63-1 |
0 |
0.00
|
Constraint Logic Programming System |
aarroyoc
|
2023-09-10 13:48 (UTC) |
|
eqp
|
09e-3 |
0 |
0.00
|
Equational Prover (Theorem Prover for First-Order Equational Logic) |
oriba
|
2021-08-12 20:49 (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) |
|
fleng
|
20-1 |
0 |
0.00
|
A low level concurrent logic programming language descended from Prolog |
aarroyoc
|
2024-03-16 17:08 (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) |
|
gedkeeper-git
|
v3.5.1.r4.g03c755c6-2 |
0 |
0.00
|
Personal genealogical database editor |
rilian
|
2024-03-03 18:36 (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) |
|
jsimugate
|
0.70-1 |
0 |
0.00
|
Simulate standard logic and more |
orphan
|
2020-06-22 15:35 (UTC) |
|
juman++
|
1.02-1 |
0 |
0.00
|
Morphological Analyzer for Japanese |
orphan
|
2021-05-14 14:52 (UTC) |
|
libsigrok-chromium-twinkie
|
0.5.2-1 |
0 |
0.00
|
Client software that supports various hardware logic analyzers, core library |
XenGi
|
2023-08-24 21:31 (UTC) |
|
libsigrok-sipeed-slogic-git
|
0.2.1.r4311.gda175133-1 |
0 |
0.00
|
Client software that supports various hardware logic analyzers, core library with Sipeed Slogic Analyzer support patches (git version) |
yjun
|
2024-01-02 14:13 (UTC) |
|
logic-synthesis-bin
|
1.4-1 |
0 |
0.00
|
Logic synthesis system from UC Berkeley. |
joshauc
|
2018-11-23 09:11 (UTC) |
|
logic2010
|
20180112-5 |
0 |
0.00
|
Educational symbolic logic software provided for free by UCLA |
afontenot
|
2018-01-22 07:46 (UTC) |
|
logicanalyzer-git
|
5.0.0.0.r8.g6ab103e-4 |
0 |
0.00
|
24 channel, 100Msps logic analyzer hardware and software |
taotieren
|
2024-01-23 12:06 (UTC) |
|
clcapture-git
|
5.0.0.0.r8.g6ab103e-4 |
0 |
0.00
|
24 channel, 100Msps logic analyzer hardware and software |
taotieren
|
2024-01-23 12:06 (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) |
|
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) |
|
lparse
|
1.1.2-2 |
0 |
0.00
|
Lparse is a front-end to smodels that generates a variable-free simple logic |
Luker88
|
2018-06-08 16:25 (UTC) |
|
lsoracle-git
|
r358.febd1523-1 |
0 |
0.00
|
Logic Synthesis oracle (with yosys plugin enabled) |
fansp
|
2023-04-11 12:06 (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) |
|
mecab-ipadic-git
|
r154.046fa78-2 |
0 |
0.00
|
Yet another Japanese morphological analyzer (IPADIC dictionary) |
atticf
|
2023-01-23 08:58 (UTC) |
|
mindustry_logic_bang_lang-bin
|
0.15.8-1 |
0 |
0.00
|
Mindustry logic extension language, for zero additional overhead! |
A4-Tacks
|
2024-04-26 16:53 (UTC) |
|
miteiru
|
4.2.1-2 |
0 |
0.00
|
An open source Electron video player to learn Japanese. It has main language dictionary and tokenizer (morphological analyzer), heavily based on External software MeCab |
zxp19821005
|
2024-03-22 02:39 (UTC) |
|
miteiru-bin
|
2.2.0-7 |
0 |
0.00
|
An open source Electron video player to learn Japanese. It has main language dictionary and tokenizer (morphological analyzer), heavily based on External software MeCab |
zxp19821005
|
2024-03-22 02:30 (UTC) |
|
morfeusz2-bin
|
1.9.16-1 |
0 |
0.00
|
Morphological analyser Morfeusz, binary version |
orphan
|
2020-11-25 13:11 (UTC) |
|
newlogic-git
|
0.1.5_beta-1 |
0 |
0.00
|
Circuit Builder Desktop Application (like mmlogic) |
ericm
|
2019-06-14 23:25 (UTC) |
|
nexus-wallet-bin
|
3.1.3-1 |
0 |
0.00
|
The official Logical and Interface layers of the Nexus Software Stack. |
zxp19821005
|
2024-03-01 01:32 (UTC) |
|
nodejs-http-master
|
1.2.7-2 |
0 |
0.00
|
a front end http service with with easy setup of reverse proxy/redirecting/other-actions logic |
greyltc
|
2018-01-23 19:01 (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) |
|
ocaml-tsort
|
2.1.0-1 |
0 |
0.00
|
Easy to use and user-friendly topological sort module for OCaml |
dpeukert
|
2024-01-27 23:15 (UTC) |
|
paclast
|
r5-2 |
0 |
0.00
|
list installed pacman packages in chronological order. |
koonix
|
2022-02-08 13:37 (UTC) |
|
perl-dist-zilla-role-bootstrap
|
1.001004-1 |
0 |
0.00
|
Shared logic for bootstrap things. |
Freed
|
2023-03-10 15:39 (UTC) |
|
piscope
|
0.8-1 |
0 |
0.00
|
piscope is a logic analyser (digital waveform viewer) for the Raspberry. It shows the state (high or low) of selected GPIO in real-time. |
vleon1
|
2022-01-19 11:38 (UTC) |