|
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) |
|
lvm2-git
|
2.02.120.r33.g43224f2-1 |
0 |
0.00
|
Logical Volume Manager 2 utilities - git checkout |
orphan
|
2015-06-29 17:27 (UTC) |
|
thebridge
|
1410196636:1-2 |
3 |
0.00
|
A 2D logic puzzle game that plays with physics and perspective. |
Chais
|
2015-07-03 17:45 (UTC) |
|
perl-linux-lvm
|
0.17-1 |
3 |
0.00
|
Perl extension for accessing Logical Volume Manager (LVM) data structures in Linux. |
ghostlovescore
|
2015-07-05 09:39 (UTC) |
|
vdt
|
5.4.68-1 |
1 |
0.00
|
Visual Disk Test performs i/o tests on files, logical volumes, partitions or whole disks. |
masutu
|
2015-07-06 20:47 (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) |
|
smartsim-git
|
r73.20aa4bd-1 |
13 |
0.00
|
SmartSim is a digital logic circuit design and simulation package. |
Conte91
|
2015-08-07 18:33 (UTC) |
|
zatikon
|
1.003-3 |
0 |
0.00
|
Turn-based board strategy game inspired by chess, made by Chronic Logic |
lukky513
|
2015-11-01 22:44 (UTC) |
|
smodels
|
2.34-1 |
0 |
0.00
|
Implementation of the stable model semantics for logic programs |
Luker88
|
2015-11-09 20:11 (UTC) |
|
bitscope-logic
|
1.2.FC20C-1 |
4 |
0.00
|
Bitscope logic software for oscilloscopes |
xblack
|
2016-01-21 22:44 (UTC) |
|
mecab-git
|
r144.32041d9-1 |
13 |
0.12
|
Yet another part-of-speech and morphological analyzer. |
hidebu
|
2016-03-29 11:27 (UTC) |
|
rodovid
|
0.3.18-1 |
2 |
0.00
|
Rodovid is a drag-n-drop genealogic program for Linux |
knedlyk
|
2016-04-06 14:10 (UTC) |
|
teyjus
|
2.1-1 |
1 |
0.00
|
An efficient implementation of the higher-order logic programming language Lambda Prolog |
aspirogrammer
|
2016-04-20 05:43 (UTC) |
|
stardict-arramooz
|
0.1-1 |
1 |
0.00
|
Arramooz Alwaseet: Arabic Dictionary for Morphological analysis |
munzirtaha
|
2016-12-25 15:57 (UTC) |
|
gog-rogue-legacy
|
2.0.0.2-1 |
1 |
0.00
|
A genealogical "roguelite" where anyone can be a hero |
orphan
|
2017-02-27 15:26 (UTC) |
|
zsurf-git
|
0.1.0-1 |
4 |
0.00
|
Ultra lightweight web browser in the spirit of Surf using QtWebEngine with front-end logic written in Javascript. |
SteveDeFacto
|
2017-03-29 12:26 (UTC) |
|
key-logic
|
2.6.2-1 |
1 |
0.00
|
A dynamic logic proof tool |
orphan
|
2017-05-06 12:10 (UTC) |
|
bioawk
|
1.0-1 |
1 |
0.00
|
BWK awk modified for biological data |
alienzj
|
2017-06-09 20:30 (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) |
|
roguelegacy-hib
|
20132812-2 |
0 |
0.00
|
A genealogical "roguelite" where anyone can be a hero |
MCMic
|
2017-08-23 19:51 (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) |
|
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) |
|
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
|
2018-01-10 12:30 (UTC) |
|
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
|
2018-01-11 09:47 (UTC) |
|
taudem
|
5.3.8-1 |
6 |
0.00
|
TauDEM (Terrain Analysis Using Digital Elevation Models) is a suite of Digital Elevation Model (DEM) tools for the extraction and analysis of hydrologic information from topography as represented by a DEM. |
geosam
|
2018-01-22 04:11 (UTC) |
|
logic2010
|
20180112-5 |
0 |
0.00
|
Educational symbolic logic software provided for free by UCLA |
afontenot
|
2018-01-22 07:46 (UTC) |
|
nodejs-http-master
|
1.2.7-2 |
0 |
0.00
|
a front end http service with with easy setup of reverse proxy/redirecting/other-actions logic |
greyltc
|
2018-01-23 19:01 (UTC) |
|
ruby-settingslogic
|
2.0.9-1 |
0 |
0.00
|
A simple and straightforward settings solution that uses an ERB enabled YAML file and a singleton design pattern. |
Valantin
|
2018-01-24 10:27 (UTC) |
|
saleae-logic
|
1.2.18-1 |
42 |
0.00
|
High speed USB logic analyzer. |
qubidt
|
2018-05-10 02:15 (UTC) |
|
machinarium
|
3-14 |
49 |
0.00
|
A point-and-click logic adventure game by the creators of Samorost (requires copy of the full game) |
orphan
|
2018-06-04 11:15 (UTC) |
|
libmystem
|
3.0-1 |
3 |
0.00
|
C bindings for MyStem morphological analyser. |
daskol
|
2018-06-06 14:07 (UTC) |
|
lparse
|
1.1.2-2 |
0 |
0.00
|
Lparse is a front-end to smodels that generates a variable-free simple logic |
Luker88
|
2018-06-08 16:25 (UTC) |
|
python2-libvslvm
|
20160110-1 |
0 |
0.00
|
library to access the Linux Logical Volume Manager (LVM) |
linuxSEAT
|
2018-07-18 11:16 (UTC) |
|
saleae-logic-beta
|
1.2.29-1 |
16 |
0.00
|
High speed USB logic analyzer. |
orphan
|
2018-08-02 04:48 (UTC) |
|
sigrok-firmware-dreamsourcelab-dslogic
|
0.97-2 |
2 |
0.00
|
Firmware for DreamsourceLab DSLogic & DScope logic analyzers |
codyps
|
2018-09-01 00:09 (UTC) |
|
opentheory
|
1:1.4.20180810-1 |
1 |
0.00
|
a tool for processing higher-order logic theory packages |
xrchz
|
2018-09-27 12:13 (UTC) |
|
logic-synthesis-bin
|
1.4-1 |
0 |
0.00
|
Logic synthesis system from UC Berkeley. |
joshauc
|
2018-11-23 09:11 (UTC) |
|
libraqm-git
|
0.5.0.r27.gb51b28b-1 |
2 |
0.00
|
A library that encapsulates the logic for complex text layout (git version) |
dbermond
|
2018-12-04 17:14 (UTC) |
|
libsigrokdecode-git
|
0.2.0.r1038.g30d27bd-1 |
11 |
0.28
|
Client software that supports various hardware logic analyzers, protocol decoders library (git version) |
codyps
|
2019-01-04 21:46 (UTC) |
|
sigrok-cli-git
|
0.6.0.r58.gb5c8f3a-1 |
1 |
0.00
|
Client software that supports various hardware logic analyzers, CLI client (git version) |
codyps
|
2019-01-18 20:50 (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.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) |
|
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) |
|
php-vld
|
0.14.0-2 |
1 |
0.00
|
The Vulcan Logic Dumper hooks into the Zend Engine and dumps all the opcodes (execution units) of a script. |
pcarvalho
|
2019-03-18 14:56 (UTC) |
|
newlogic
|
0.1.5_beta-2 |
2 |
0.00
|
Circuit Builder Desktop Application (like mmlogic) |
ericm
|
2019-06-14 23:24 (UTC) |
|
newlogic-git
|
0.1.5_beta-1 |
0 |
0.00
|
Circuit Builder Desktop Application (like mmlogic) |
ericm
|
2019-06-14 23:25 (UTC) |
|
uclogic-tools
|
5-1 |
6 |
0.00
|
Show diagnostic information from UC-Logic graphics tablets (rebranded as Huion, Yiynova, Ugee, Monoprice, Turcom and others) |
zan
|
2019-06-20 17:42 (UTC) |
|
python-logicmin
|
0.3.18-1 |
1 |
0.00
|
Logic Minimization in Python |
dariost
|
2019-07-05 11:14 (UTC) |
|
fl2000-dkms
|
r16.92da04a-1 |
1 |
0.00
|
Fresco Logic FL2000 USB to VGA adapter driver |
orphan
|
2019-07-31 12:31 (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) |