saleae-logic2
|
2.4.14-1 |
12 |
0.25
|
Debug hardware like a pro |
tugyan
|
2024-02-27 00:05 (UTC) |
scanastudio
|
4.0.19-1 |
1 |
0.00
|
ScanaStudio is a software for Ikalogic logic analyzers |
mruslan
|
2021-09-21 13:42 (UTC) |
scrm
|
1.7.4-1 |
0 |
0.00
|
A Coalescent Simulator for Genome-Scale Biological Sequences |
orphan
|
2020-05-15 02: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) |
seiscomp
|
6.2.0-1 |
3 |
0.01
|
A seismological software for data acquisition, processing, distribution and analysis. |
morealaz
|
2024-02-06 12:04 (UTC) |
seiscomp-git
|
5.0.1.r0.g9235548-1 |
2 |
0.01
|
A seismological software for data acquisition, processing, distribution and interactive analysis (GitHub version). |
morealaz
|
2022-06-22 07:23 (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) |
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) |
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) |
sigrok-firmware-asix-sigma
|
0.1-2 |
1 |
0.00
|
Firmware for Asix Sigma logic analysers |
uffe
|
2024-01-22 12:17 (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-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-sysclk-lwla
|
0.1-2 |
1 |
0.00
|
Firmware for SysClk LWLA-1016/1034 logic analysers |
uffe
|
2024-01-22 11:33 (UTC) |
sis
|
1.4-1 |
0 |
0.00
|
Legacy Logic Synthesis Software |
lotation
|
2021-05-07 12:52 (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) |
smodels
|
2.34-1 |
0 |
0.00
|
Implementation of the stable model semantics for logic programs |
Luker88
|
2015-11-09 20:11 (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) |
spass
|
3.9-1 |
1 |
0.00
|
An Automated Theorem Prover for First-Order Logic with Equality. |
eugenk
|
2022-09-27 17:49 (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) |
stardict-arramooz
|
0.1-1 |
1 |
0.00
|
Arramooz Alwaseet: Arabic Dictionary for Morphological analysis |
munzirtaha
|
2016-12-25 15:57 (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) |
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) |
swmm5-git
|
5.2.3-1 |
1 |
0.00
|
Hydraulic and hidrologic modelation engine for wastewater drainage systems. |
lothar_m
|
2023-07-05 17:52 (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) |
taler-merchant
|
0.9.4-1 |
0 |
0.00
|
Merchant logic implementation(s) and support code |
grufo
|
2024-03-29 16:15 (UTC) |
taler-merchant-git
|
r3276.ccb3e0f1-1 |
0 |
0.00
|
Merchant logic implementation(s) and support code |
grufo
|
2022-02-15 01:06 (UTC) |
tang-dynasty
|
5.0.3_30786-1 |
1 |
0.00
|
Tang Dynasty IDE for Anlogic FPGAs |
caylin
|
2021-09-24 07:11 (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) |
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) |
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) |
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) |
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) |
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) |
ttf-ecofont-sans
|
2.04-1 |
0 |
0.00
|
Ecologically friendly sans font |
orphan
|
2020-12-09 18:26 (UTC) |
ttf-exo-2
|
2.001-1 |
5 |
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. |
accuminium
|
2023-05-30 19:22 (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-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) |
turtl-core-rs
|
0.1.2-5 |
1 |
0.00
|
Turtl's logic core, built in Rust |
neoninteger
|
2020-03-12 11:44 (UTC) |
twelf
|
1.7.1-4 |
1 |
0.00
|
An implementation of the logical framework LF |
soimort
|
2021-05-07 15:34 (UTC) |
twelf-git
|
20130819-4 |
1 |
0.00
|
An implementation of the logical framework LF |
soimort
|
2021-01-23 20:24 (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) |
vampire
|
4.5.1-1 |
0 |
0.00
|
A theorem prover for first-order logic |
patrick.luehne
|
2020-11-25 20:37 (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) |
vlogsolv
|
1.2-0 |
0 |
0.00
|
cli program that calculates value tables for logical expressions |
nzbr
|
2020-11-29 21:53 (UTC) |
wal2json
|
2_5-1 |
1 |
0.00
|
Output plugin for logical decoding PostgreSQL WAL's |
ProFfeSsoRr
|
2023-02-19 07:33 (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) |
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) |
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) |
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) |
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) |