297 packages found. Page 1 of 6.

1 2 3 4 5 6 Next › Last »

Name Version Votes Popularity? Description Maintainer Last Updated
abc-git 1.01-1 1 0.00 System for Sequential Logic Synthesis and Formal Verification orphan 2019-09-05 21:48 (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)
aml-flash-tool 4.9-3 2 1.01 Linux version of Amlogic USB Burning Tool. yjun 2023-09-06 14:38 (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)
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)
anylogic-ple 8.8.6-1 1 0.00 AnyLogic Personal Learning Edition - for beginners and students 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-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)
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)
astronum 1.0.10-1 0 0.00 Program for simple astrological and numerological calculations begin-theadventu 2023-10-12 13:23 (UTC)
atsas 3.2.1-3 1 0.07 A program suite for small-angle scattering data analysis from biological macromolecules awacha 2023-12-13 16:03 (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)
berusky 1.7.2-1 14 0.00 A logic game based on the puzzle game Sokoban SanskritFritz 2020-11-28 20:46 (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)
berusky2 0.12-1 6 0.00 A logic game based on the puzzle game Sokoban. SanskritFritz 2020-11-27 13:14 (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)
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)
bitscope-logic 1.2.FC20C-1 4 0.00 Bitscope logic software for oscilloscopes xblack 2016-01-21 22:44 (UTC)
boolr v1.0.3-2 6 0.00 A digital logic simulator MarsSeed 2021-06-18 20:24 (UTC)
bricscad-fr_fr 24.2.03-1 2 0.00 Logiciel de CAO DWG la_poigne 2024-04-10 06:58 (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)
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)
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)
clingo 5.7.1-1 5 0.01 Grounding tools for (disjunctive) logic programs adsun 2024-02-16 13: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)
digisim-git 1-5 0 0.00 A digital logic simulator programmed in lua vrighter 2023-03-01 12:52 (UTC)
digital 0.29-4 12 0.00 A digital logic designer and circuit simulator. edg-l 2022-09-05 06:53 (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-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)
dsview 1:1.3.1-1 12 0.14 Client software that supports the DreamSourceLab logic analyzer codyps 2023-11-06 17:53 (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)
eclipse-clp 7.0.63-1 0 0.00 Constraint Logic Programming System aarroyoc 2023-09-10 13:48 (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)
eqp 09e-3 0 0.00 Equational Prover (Theorem Prover for First-Order Equational Logic) oriba 2021-08-12 20:49 (UTC)
espresso-logic 1.1.1-1 3 0.00 The espresso PLA logic minimization program orphan 2020-04-11 03:04 (UTC)
exonerate 2.4.0-2 3 0.00 A general purpose tool for biological sequence comparison malacology 2024-02-13 04:43 (UTC)
fl2000-dkms r16.92da04a-1 1 0.00 Fresco Logic FL2000 USB to VGA adapter driver orphan 2019-07-31 12:31 (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)
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)

297 packages found. Page 1 of 6.

1 2 3 4 5 6 Next › Last »