|
squirrel-prover-git
|
latest-3 |
2 |
0.97
|
a proof assistant dedicated to cryptographic protocols |
BenjaminVoisin
|
2024-03-19 14:21 (UTC) |
|
squareline-studio
|
1.4.0-2 |
0 |
0.00
|
Visual drag-and-drop UI editor to create beautiful Graphical User Interfaces quickly and easily |
yjun
|
2024-03-09 16:27 (UTC) |
|
sqliteman
|
1.2.2-12 |
9 |
0.00
|
Graphical sqlite3 browser and editor |
SammysHP
|
2018-09-24 12:15 (UTC) |
|
springy
|
2.7.1-1 |
0 |
0.00
|
A force directed graph layout algorithm in JavaScript. |
nsmathew
|
2016-05-13 15:27 (UTC) |
|
spring-ba
|
15.1.4-1 |
41 |
0.00
|
A fan mod of Total Annihilation with remastered graphics and balance |
bunder
|
2022-07-07 06:45 (UTC) |
|
spread
|
1.0.7-6 |
0 |
0.00
|
a user-friendly application to analyze and visualize phylogeographic reconstructions resulting from Bayesian inference of spatio-temporal diffusion. https://doi.org/10.1093/bioinformatics/btr481 |
malacology
|
2023-05-06 15:46 (UTC) |
|
spelt
|
0.1-2 |
0 |
0.00
|
A simple graphical program that can be used to classify words in a language |
Dragonlord
|
2015-06-28 16:31 (UTC) |
|
speedtest-librespeed
|
1.3.0-1 |
0 |
0.00
|
A graphical librespeed client written using gtk4 + libadwaita |
yochananmarqos
|
2024-01-27 16:47 (UTC) |
|
spectacle-analyzer.lv2-git
|
v1.0.r5.g1c08616-1 |
0 |
0.00
|
Realtime graphical spectrum analyzer. |
milkii
|
2020-12-02 06:33 (UTC) |
|
spatialite-gui-devel
|
r230.0942f54-1 |
0 |
0.00
|
spatialite-gui is an open source Graphical User Interface (GUI) tool supporting SpatiaLite. Development version |
geosam
|
2019-10-11 22:15 (UTC) |
|
spatialite-gui
|
2.1.0-2 |
9 |
0.00
|
spatialite-gui is an open source Graphical User Interface (GUI) tool supporting SpatiaLite. |
geosam
|
2021-08-01 00:42 (UTC) |
|
spaceman-git
|
0.1.0.r0.g8514a43-1 |
1 |
0.00
|
Treemap disk usage analyzer (graphical visualizer, SpaceSniffer alternative) |
msg
|
2023-08-01 12:57 (UTC) |
|
soxt
|
1.4.0-1 |
6 |
0.00
|
A high-level 3D graphics toolkit on top of OpenGL. |
orphan
|
2020-01-23 17:46 (UTC) |
|
sourcegraph-cli
|
4.1.1-1 |
0 |
0.00
|
Command line interface to Sourcegraph |
orphan
|
2023-02-06 02:49 (UTC) |
|
solarus-quest-editor
|
1.6.5-2 |
5 |
0.00
|
A graphical user interface to create and modify quests for the Solarus engine. |
jrd
|
2023-01-29 20:27 (UTC) |
|
soapui
|
5.7.0-1 |
111 |
0.00
|
A graphical Java program for inspecting, invoking, monitoring, simulating/mocking and functional/load/compliance/surveillance testing of REST/WADL and SOAP/WSDL-based Web Services over HTTP. |
dguihal
|
2022-01-22 09:52 (UTC) |
|
snoopy
|
2022.08.27-1 |
0 |
0.00
|
software tool to design and animate hierarchical graphs, among others Petri nets |
edjopato
|
2023-07-13 01:01 (UTC) |
|
smartgit_preview
|
24.1_preview_3-1 |
3 |
0.00
|
Graphical Git client. Preview version. |
ewirch
|
2024-03-22 12:36 (UTC) |
|
smart-notifier
|
0.28_8-2 |
0 |
0.00
|
Graphical hard disk health status notifier |
Mckol
|
2023-10-11 22:32 (UTC) |
|
smag
|
0.7.0-1 |
1 |
0.00
|
Easily create graphs from cli commands and view them in the terminal. |
fryfrog
|
2024-01-07 04:51 (UTC) |
|
slint-cpp-bin
|
1.5.1-1 |
1 |
0.00
|
Slint is a toolkit to efficiently develop fluid graphical user interfaces for any display: embedded devices and desktop applications |
amadan
|
2024-03-20 09:42 (UTC) |
|
slim-xserver-ready
|
1.3.6-9 |
1 |
0.00
|
graphical login manager for X11 with xserver_ready command |
orphan
|
2022-02-09 08:34 (UTC) |
|
slim-xdm
|
1.3.6.30-2 |
1 |
0.00
|
Desktop-independent graphical login manager for X11 with XDM support |
bidulock
|
2015-12-15 18:15 (UTC) |
|
slim-unicode
|
1.3.6-6 |
9 |
0.00
|
Desktop-independent graphical login manager for X11 |
orphan
|
2021-05-09 07:55 (UTC) |
|
slim-synergy
|
1.3.5-1 |
2 |
0.00
|
Desktop-independent graphical login manager for X11 with synergy support |
Cybervince
|
2015-07-15 18:33 (UTC) |
|
slim-git
|
1.3.6.4.ga33d260-2 |
63 |
0.00
|
Desktop-independent graphical login manager for X11 (git) |
bidulock
|
2015-12-15 18:15 (UTC) |
|
slim-defaultsession
|
1.3.6-3 |
2 |
0.00
|
Desktop-independent graphical login manager for X11 patched to provide a default session. |
bidulock
|
2015-07-16 07:11 (UTC) |
|
sleipnirgroup-choreo
|
2024.2.2-1 |
0 |
0.00
|
A graphical tool for planning time-optimized trajectories for autonomous mobile robots in the FIRST Robotics Competition |
calcmogul
|
2024-03-28 20:57 (UTC) |
|
skesa
|
2.4.0-1 |
0 |
0.00
|
A de-novo sequence read assembler and a de Bruijn graph based target enriched de-novo assembler. |
PumpkinCheshire
|
2021-07-03 06:42 (UTC) |
|
skatgui
|
14.11033.16-3 |
2 |
0.00
|
A graphical user interface for the International Skat Server (ISS). |
ChaosKid42
|
2019-08-10 08:04 (UTC) |
|
sk1-git
|
r5201.62cc98e0-1 |
1 |
0.00
|
An open source vector graphics editor for prepress |
Joermungand
|
2022-07-18 03:25 (UTC) |
|
sk1
|
1:2.0rc5-1 |
2 |
0.00
|
Open source vector graphics editor for prepress |
FabioLolix
|
2021-12-19 21:19 (UTC) |
|
sixel-tmux-git
|
8050_2.0.r3043.gbc340a30-1 |
0 |
0.00
|
A terminal multiplexer that display graphics one way or another! |
gbin
|
2021-10-05 20:31 (UTC) |
|
simutrans-pak96.comic
|
0.4.10.extended-1 |
0 |
0.00
|
Medium resolution graphics set for Simutrans, with a comic style |
Roboron
|
2020-02-08 12:00 (UTC) |
|
simutrans-pak64.scifi
|
0.2-1 |
1 |
0.00
|
Low resolution graphics set for Simutrans, with a SciFi theme |
Roboron
|
2020-02-09 09:37 (UTC) |
|
simutrans-pak64.nippon
|
0.6.2-1 |
1 |
0.00
|
An alternative japanese low resolution graphics set for Simutrans |
Roboron
|
2023-02-28 20:06 (UTC) |
|
simutrans-pak64.japan
|
123.0-1 |
1 |
0.00
|
Low resolution graphics set for Simutrans, with a japan theme |
Roboron
|
2022-01-11 17:55 (UTC) |
|
simutrans-pak64.ho-scale
|
0.1-1 |
0 |
0.00
|
Resolution graphics set for Simutrans for model train fans |
Roboron
|
2020-02-08 15:10 (UTC) |
|
simutrans-pak64.german
|
123.0.0.7-1 |
0 |
0.00
|
Low resolution graphics set for Simutrans, with a german theme |
Roboron
|
2023-10-15 15:42 (UTC) |
|
simutrans-pak64.contrast
|
102.2-1 |
0 |
0.00
|
Minimalistic, low resolution graphics set for Simutrans |
Roboron
|
2020-02-09 09:35 (UTC) |
|
simutrans-pak64.classic
|
1.05-1 |
1 |
0.00
|
Resolution graphics set for Simutrans, resembling the original |
Roboron
|
2020-02-09 09:34 (UTC) |
|
simutrans-pak48.excentrique
|
0.19.RC2-1 |
0 |
0.00
|
Low resolution graphics set for Simutrans, with an eccentric theme |
Roboron
|
2022-01-11 17:45 (UTC) |
|
simutrans-pak32.comic
|
102.0-1 |
0 |
0.00
|
Lowest resolution graphics set for Simutrans |
Roboron
|
2020-02-09 09:33 (UTC) |
|
simutrans-pak192.comic
|
0.7.1-1 |
4 |
0.00
|
High resolution graphics set for Simutrans, with a comic style |
Roboron
|
2024-02-20 18:55 (UTC) |
|
simutrans-pak128.japan
|
120-1 |
1 |
0.00
|
High resolution graphics set for Simutrans, with a japan theme |
Roboron
|
2020-02-08 13:43 (UTC) |
|
simutrans-pak128.german
|
2.1-1 |
1 |
0.00
|
High resolution graphics set for Simutrans, with a german theme |
Roboron
|
2023-08-09 17:49 (UTC) |
|
simutrans-pak128.cs
|
2019-1 |
0 |
0.00
|
High resolution graphics set for Simutrans, with a czech theme |
Roboron
|
2020-02-08 20:47 (UTC) |
|
simutrans-pak128.britain
|
1.18.120.3-1 |
1 |
0.00
|
High resolution graphics set for Simutrans, with a british theme |
Roboron
|
2020-10-14 11:06 (UTC) |
|
simutrans-extended-pak256
|
2.4.0.1-1 |
0 |
0.00
|
Highest resolution graphics set for Simutrans Extended |
Roboron
|
2023-10-21 19:22 (UTC) |
|
simutrans-extended-pak128.sweden
|
20200504-2 |
0 |
0.00
|
High resolution graphics set for Simutrans Extended, with a swedish theme |
Roboron
|
2023-10-21 19:21 (UTC) |