| 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 |
nlowe
|
| 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 |
orphan
|
| 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 |
20180125-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 |
21142-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-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
|
| 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-libraqm |
0.7.1-1 |
2 |
0.00 |
A library that encapsulates the logic for complex text layout (32-bit) |
rodrigo21
|
| 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
|