| 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.5.1-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.5.1-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.5.1-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.0-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
|
| 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
|
| biojava |
3.0.8-1 |
3 |
0.00 |
BioJava is an open-source project dedicated to providing a Java framework for processing biological data |
brumaire
|
| 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
|
| chemdoodle |
8.1.0-1 |
2 |
0.00 |
Chemical and Biological Publishing Software |
orphan
|
| 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 |
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
|
| eprover |
2.3-1 |
10 |
0.00 |
E is theorem prover for full first-order logic with equality. |
asch
|
| eqp |
09e-1 |
0 |
0.00 |
Equational Prover (Theorem Prover for First-Order Equational Logic) |
oriba
|
| fl2000-dkms |
r16.92da04a-1 |
0 |
0.00 |
Fresco Logic FL2000 USB to VGA adapter driver |
sergej
|
| flashy |
1.4.4-1 |
0 |
0.00 |
Java tool to handle firmware and logic flashing for iniVation devices. |
inivation
|
| frog |
0.19-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
|
| libraqm-git |
0.5.0.r27.gb51b28b-1 |
2 |
0.00 |
A library that encapsulates the logic for complex text layout (git version) |
dbermond
|
| 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. |
orphan
|
| 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
|