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) |
fl2000-dkms
|
r16.92da04a-1 |
1 |
0.00
|
Fresco Logic FL2000 USB to VGA adapter driver |
orphan
|
2019-07-31 12:31 (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) |
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) |
dsview
|
1:1.3.2-1 |
12 |
0.07
|
Client software that supports the DreamSourceLab logic analyzer |
codyps
|
2024-05-17 00:23 (UTC) |
digital-logic-sim-git
|
1.0.2-1.1 |
1 |
0.43
|
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) |
digital
|
0.29-4 |
13 |
0.56
|
A digital logic designer and circuit simulator. |
edg-l
|
2022-09-05 06:53 (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) |
clingo
|
5.7.1-1 |
5 |
0.00
|
Grounding tools for (disjunctive) logic programs |
adsun
|
2024-02-16 13:52 (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) |
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.04-1 |
2 |
0.00
|
Logiciel de CAO DWG |
la_poigne
|
2024-05-07 13:05 (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) |
atsas
|
3.2.1-3 |
1 |
0.04
|
A program suite for small-angle scattering data analysis from biological macromolecules |
awacha
|
2023-12-13 16:03 (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) |
anylogic-ple
|
8.8.6-1 |
1 |
0.00
|
AnyLogic Personal Learning Edition - for beginners and students |
DragonX256
|
2024-03-11 13:30 (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) |
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) |
ampack-git
|
0.1.0-1 |
1 |
1.00
|
A tool to unpack / (re)pack AMLogic burning images |
7Ji
|
2024-05-20 04:49 (UTC) |
aml-flash-tool
|
4.9-3 |
2 |
0.49
|
Linux version of Amlogic USB Burning Tool. |
yjun
|
2023-09-06 14:38 (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) |