190 packages found. Page 1 of 4.

1 2 3 4 Next › Last »

Name Version Votes Popularity? Description Maintainer
abc-hg r3088.7cc77dc226de-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 10 0.00 A mind-bending psychological exploration game where nothing can be taken for granted orphan
anylogic-ple 8.4.0-6 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.4.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.4.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 2.8.4-3 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
beremiz-hg 1.2.r1879.e5ddbaf756cb-1 0 0.00 An integrated development environment for machine automation nlowe
berusky 1.7.1-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.10-2 7 0.00 A logic game based on the puzzle game Sokoban. SanskritFritz
berusky2-data 0.9-1 6 0.00 A logic game based on the puzzle game Sokoban - Data SanskritFritz
bioawk 1.0-1 0 0.00 BWK awk modified for biological data alienzj
bioawk-git 1.0.0.r51.fd40150-1 0 0.00 BWK awk modified for biological data alienzj
biojava 3.0.8-1 3 0.00 BioJava is an open-source project dedicated to providing a Java framework for processing biological data decryptedepsilon
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
chemdoodle 8.1.0-1 2 0.00 Chemical and Biological Publishing Software danmc
cmll 0.9e-1 0 0.00 A TeX package to write Linear Logic symbols johngowers
cosmosis v1.6rc1.r1.2a9d319-1 0 0.00 A cosmological parameter estimation code. andalenavals
cp2k-bin 6.1-1 1 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) berquist
dsview-git 0.98.r9.gb31f432-1 2 0.00 GUI programe for supporting various instruments from DreamSourceLab, including logic analyzer, oscilloscope, etc. anatolik
eclipse-clp 7.0.47-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
flashy 1.4.2-1 0 0.00 Java tool to handle firmware and logic flashing for iniVation devices. inivation
frog 0.18.2-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 sauliusl
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
glogic 2.6-2 1 0.00 An educational graphical logic circuit simulator orphan
gog-rogue-legacy 2.0.0.2-1 0 0.00 A genealogical "roguelite" where anyone can be a hero Runiq
gog-the-cat-lady 2.2.0.6-3 1 0.00 The Cat Lady is a psychological horror graphic adventure game developed by Remigiusz Michalski. carstene1ns
gtkballs 3.1.5-6 0 0.00 clone of Lines - logic game about balls orphan
juman 7.01-1 2 0.00 Morphological Analyzer for Japanese nosada
juman++ 1.01-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
lib32-wfdb 10.5.24-1 0 0.00 Software from PhysioNet for viewing, analyzing, and creating recordings of physiologic signals StreakyCobra
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
libmystem 3.0-1 2 0.00 C bindings for MyStem morphological analyser. daskol
libtermkey-git 0.r351.87a4d22-1 0 0.00 This library allows easy processing of keyboard entry from terminal-based programs. It handles all the necessary logic to recognise special keys, UTF-8 combining, and so on, with a simple interface. dave_v
litescope-git 95-2 0 0.00 A small footprint and configurable Logic Analyzer for LiteX cbjamo
logic-synthesis-bin 1.4-1 0 0.00 Logic synthesis system from UC Berkeley. joshauc
logic2010 20180112-5 0 0.00 Educational symbolic logic software provided for free by UCLA afontenot
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
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

190 packages found. Page 1 of 4.

1 2 3 4 Next › Last »