227 packages found. Page 1 of 5.

1 2 3 4 5 Next › Last »

Name Version Votes Popularity? Description Maintainer
abc-git 1.01-1 1 0.00 System for Sequential Logic Synthesis and Formal Verification spaceships
aemet-cli 1.0-1 0 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
antichamber 1392664980-2 9 0.00 A mind-bending psychological exploration game where nothing can be taken for granted orphan
anylogic-ple 8.7.0-1 0 0.00 AnyLogic Personal Learning Edition - for beginners and students DragonX256
anylogic-ple-8.2.4 8.2.4-2 0 0.00 AnyLogic Personal Learning Edition - for beginners and students. Last x86 version DragonX256
anylogic-professional 8.7.0-1 0 0.00 AnyLogic Professional Edition - for companies and government organizations DragonX256
anylogic-professional-8.2.4 8.2.4-1 0 0.00 AnyLogic Professional Edition - for companies and government organizations. Last x86 version DragonX256
anylogic-university 8.7.0-1 0 0.00 AnyLogic University Edition - for public research in universities DragonX256
anylogic-university-8.2.4 8.2.4-1 0 0.00 AnyLogic University Edition - for public research in universities. Last x86 version DragonX256
atsas 3.0.3-1 0 0.00 A program suite for small-angle scattering data analysis from biological macromolecules awacha
avirusnamedtom-hib 0+h20131019-1 2 0.00 A Virus Named TOM, a fast-paced action-puzzler (Humble Bundle version) smls
beagle-logic-dkms-git r216.c52845a-1 0 0.00 A logic analyzer for the PRUs on the BeagleBone / BeagleBone Black TheNiceGuy
beagle-logic-firmware-git r216.c52845a-1 0 0.00 A logic analyzer for the PRUs on the BeagleBone / BeagleBone Black TheNiceGuy
beremiz-hg 1.2.r1879.e5ddbaf756cb-1 0 0.00 An integrated development environment for machine automation orphan
berusky 1.7.2-1 14 0.00 A logic game based on the puzzle game Sokoban SanskritFritz
berusky-data 1.7-1 3 0.00 A logic game based on the puzzle game Sokoban - data files SanskritFritz
berusky2 0.12-1 7 0.00 A logic game based on the puzzle game Sokoban. SanskritFritz
berusky2-data 0.12-3 6 0.00 A logic game based on the puzzle game Sokoban (Data files). SanskritFritz
biojava 3.0.8-1 3 0.00 BioJava is an open-source project dedicated to providing a Java framework for processing biological data sipak
bitscope-logic 1.2.FC20C-1 4 0.00 Bitscope logic software for oscilloscopes xblack
carl 17.08-1 1 0.00 An Open Source C++ Library for Computer Arithmetic and Logic nafur
carl-git 17.08.r2.g8f78930b-1 0 0.00 CArL - the Computer ARithmetic and Logic library s14h
carl-master14-git c++14.18.12.r9.gb9ff46d9-1 0 0.00 CArL - the Computer ARithmetic and Logic library (master14 branch) s14h
cmll 0.9e-1 0 0.00 A TeX package to write Linear Logic symbols johngowers
dsview-git 1.01.r31.gb018742-1 2 0.00 GUI programe for supporting various instruments from DreamSourceLab, including logic analyzer, oscilloscope, etc. anatolik
eclipse-clp 7.0.48-1 3 0.00 Constraint Logic Programming System kaptoxic
eqp 09e-1 0 0.00 Equational Prover (Theorem Prover for First-Order Equational Logic) oriba
exonerate 2.4.0-1 3 0.00 A general purpose tool for biological sequence comparison meanjollies
fl2000-dkms r16.92da04a-1 0 0.00 Fresco Logic FL2000 USB to VGA adapter driver sergej
flashy 1.5.6-1 0 0.00 Java tool to handle firmware and logic flashing for iniVation devices. inivation
frog 0.22-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
frog-git 1-4 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
fseq 1.84-1 1 0.00 software package that generates a continuous tag sequence density estimation allowing identification of biologically meaningful sites whose output can be displayed directly in the UCSC Genome Browser orphan
gdevelop 4.0.97-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. kprkpr
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. JoseluCross
glogic 2.6-2 1 0.00 An educational graphical logic circuit simulator orphan
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
gtkballs 3.1.5-6 0 0.00 clone of Lines - logic game about balls orphan
isabelle-tum 2021-1 0 0.00 A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Release mirror: TUM. MW360
jsimugate 0.70-1 0 0.00 Simulate standard logic and more orphan
juman 7.01-2 2 0.00 Morphological Analyzer for Japanese nosada
juman++ 1.02-1 0 0.00 Morphological Analyzer for Japanese nosada
key-logic 2.6.2-1 1 0.00 A dynamic logic proof tool jtsymon
la-mulana-hib 1.5.5.2-3 2 0.00 A "Ruins Exploration Archaeological action game" in which the player seeks the "Anthropo-origin" carstene1ns
labrador-git 1.0.r502.ac5052cd-1 0 0.00 Qt5 GUI for EspoTek all-in-one USB oscilloscope/ signal generator/ PSU/ logic analyzer/ multimeter cyberpunkrocker
lib32-wfdb 10.5.24-1 0 0.00 Software from PhysioNet for viewing, analyzing, and creating recordings of physiologic signals StreakyCobra
libhangul-git 0.1.0.r51.2ddc547f014a-1 0 0.00 A library to support hangul input method logic emersion
liblogicalaccess-git 1.85.0.r4.d539d93-1 0 0.00 C++ RFID / NFC Library for Windows/Linux/Mac. For PC/SC, NFC, ISO compliant and proprietary hardware TheAifam5
libraqm-git 0.5.0.r27.gb51b28b-1 2 0.00 A library that encapsulates the logic for complex text layout (git version) dbermond
librespeaker-bin 2.1.2.190110-1 0 0.00 An audio processing library which can perform noise suppression, beamforming, echo cancellation, direction of arrival calculation, hotword searching, etc. robertfoster

227 packages found. Page 1 of 5.

1 2 3 4 5 Next › Last »