|
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) |
|
xf86-video-cirrus
|
1.6.0-1 |
0 |
0.00
|
Cirrus Logic video driver for the Xorg X server |
orphan
|
2022-07-27 05:25 (UTC) |
|
wmcpuwatch
|
0.2-2 |
2 |
0.00
|
A dockapp to show the load of every logical CPU on the system |
bidulock
|
2021-09-21 05:49 (UTC) |
|
wiredpanda
|
4.1.12-1 |
0 |
0.00
|
Software developed in order to help students learn about logic circuits. |
joao-zip
|
2024-04-26 15:48 (UTC) |
|
wal2json
|
2_5-1 |
1 |
0.00
|
Output plugin for logical decoding PostgreSQL WAL's |
ProFfeSsoRr
|
2023-02-19 07:33 (UTC) |
|
vlogsolv
|
1.2-0 |
0 |
0.00
|
cli program that calculates value tables for logical expressions |
nzbr
|
2020-11-29 21:53 (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) |
|
vampire
|
4.5.1-1 |
0 |
0.00
|
A theorem prover for first-order logic |
patrick.luehne
|
2020-11-25 20:37 (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) |
|
twelf-git
|
20130819-4 |
1 |
0.00
|
An implementation of the logical framework LF |
soimort
|
2021-01-23 20:24 (UTC) |
|
twelf
|
1.7.1-4 |
1 |
0.00
|
An implementation of the logical framework LF |
soimort
|
2021-05-07 15:34 (UTC) |
|
turtl-core-rs
|
0.1.2-5 |
1 |
0.00
|
Turtl's logic core, built in Rust |
neoninteger
|
2020-03-12 11:44 (UTC) |
|
ttf-new-athena-unicode
|
5.008-1 |
1 |
0.00
|
A freeware multilingual font distributed by the American Philological Association. |
FantasqueX
|
2022-07-04 06:39 (UTC) |
|
ttf-exo2-variable
|
1.0-1 |
0 |
0.00
|
Exo 2 is a complete redrawing of Exo, a contemporary geometric sans serif typeface that tries to convey a technological/futuristic feeling while keeping an elegant design. |
terag
|
2022-01-25 16:22 (UTC) |
|
ttf-ecofont-sans
|
2.04-1 |
0 |
0.00
|
Ecologically friendly sans font |
orphan
|
2020-12-09 18:26 (UTC) |
|
treemap
|
3b1243-7 |
0 |
0.00
|
a tool for analysing relationships between evolutionary histories of ecologically linked species |
malacology
|
2024-01-22 06:01 (UTC) |
|
topologic-parse-git
|
1.1.0-1 |
1 |
0.00
|
Library to create dyanimic context free or switching automata |
msstern98
|
2021-03-26 16:21 (UTC) |
|
topologic-git
|
1.3.0-1 |
1 |
0.00
|
Library to create dyanimic context free or switching automata |
msstern98
|
2021-03-25 14:23 (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) |
|
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) |
|
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) |
|
taler-merchant-git
|
r3276.ccb3e0f1-1 |
0 |
0.00
|
Merchant logic implementation(s) and support code |
grufo
|
2022-02-15 01:06 (UTC) |
|
taler-merchant
|
0.9.4-1 |
0 |
0.00
|
Merchant logic implementation(s) and support code |
grufo
|
2024-03-29 16:15 (UTC) |
|
systemd-hosts.d
|
1.0-1 |
0 |
0.00
|
Keep your hosts records in logically separated files |
onedwide
|
2022-10-25 19:26 (UTC) |
|
sudoku-solver-git
|
v1.0.0.r0.gb4bec10-1 |
0 |
0.00
|
Contains several logical methods of solving, as well as brute force selection |
orphan
|
2020-07-28 20:29 (UTC) |
|
sudoku-savant
|
1.3-6 |
8 |
0.00
|
A GUI application to solve and generate sudoku puzzles through logical means |
berbae
|
2023-09-28 09:54 (UTC) |
|
stardict-arramooz
|
0.1-1 |
1 |
0.00
|
Arramooz Alwaseet: Arabic Dictionary for Morphological analysis |
munzirtaha
|
2016-12-25 15:57 (UTC) |
|
spin-git
|
6.5.2.r23.g6651f97-1 |
0 |
0.00
|
Explicit state logic model checking tool |
kyechou
|
2020-12-24 18:20 (UTC) |
|
spass
|
3.9-1 |
1 |
0.00
|
An Automated Theorem Prover for First-Order Logic with Equality. |
eugenk
|
2022-09-27 17:49 (UTC) |
|
smt-manager-git
|
r22.2e6f1ef-1 |
0 |
0.00
|
Enable or disable logical cores, or display your current CPU topology. |
patlefort
|
2023-12-26 09:15 (UTC) |
|
smodels
|
2.34-1 |
0 |
0.00
|
Implementation of the stable model semantics for logic programs |
Luker88
|
2015-11-09 20:11 (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) |
|
sis
|
1.4-1 |
0 |
0.00
|
Legacy Logic Synthesis Software |
lotation
|
2021-05-07 12:52 (UTC) |
|
sigrok-firmware-sysclk-lwla
|
0.1-2 |
1 |
0.00
|
Firmware for SysClk LWLA-1016/1034 logic analysers |
uffe
|
2024-01-22 11:33 (UTC) |
|
sigrok-firmware-saleae-logic
|
1.2.10-1 |
2 |
0.00
|
Firmware and FPGA bitstream binaries for Saleae Logic (Pro) devices used with Sigrok. |
samekh
|
2020-05-19 18:51 (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) |
|
sigrok-firmware-asix-sigma
|
0.1-2 |
1 |
0.00
|
Firmware for Asix Sigma logic analysers |
uffe
|
2024-01-22 12:17 (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) |
|
sfst
|
1.4.7e-2 |
0 |
0.00
|
Toolbox for the implementation of morphological analyzers and other tools. |
hansolo
|
2020-12-01 14:36 (UTC) |
|
seqan
|
2.4.0-1 |
5 |
0.00
|
SeqAn is an open source C++ library of efficient algorithms and data structures for the analysis of sequences with the focus on biological data |
kleintux
|
2021-09-17 10:30 (UTC) |
|
scryer-prolog
|
0.9.4-1 |
1 |
0.00
|
An open source industrial strength production environment that is also a testbed for bleeding edge research in logic and constraint programming |
aarroyoc
|
2024-03-17 10:21 (UTC) |
|
scrm
|
1.7.4-1 |
0 |
0.00
|
A Coalescent Simulator for Genome-Scale Biological Sequences |
orphan
|
2020-05-15 02:30 (UTC) |
|
scanastudio
|
4.0.19-1 |
1 |
0.00
|
ScanaStudio is a software for Ikalogic logic analyzers |
mruslan
|
2021-09-21 13:42 (UTC) |
|
saleae-logic-beta
|
1.2.29-1 |
16 |
0.00
|
High speed USB logic analyzer. |
orphan
|
2018-08-02 04:48 (UTC) |
|
saleae-logic
|
1.2.18-1 |
42 |
0.00
|
High speed USB logic analyzer. |
qubidt
|
2018-05-10 02:15 (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) |
|
ruby-dry-logic
|
1.2.0-1 |
0 |
0.00
|
Predicate logic with rule composition |
orphan
|
2021-08-01 00: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) |
|
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) |
|
r-whisker
|
0.4.1-4 |
1 |
0.00
|
{{mustache}} for R, Logicless Templating |
BioArchLinuxBot
|
2024-04-24 19:18 (UTC) |