Debian Screenshots >
Home
Browse
Upload
About/Privacy
Login
Previous page
1
2
3546
3547
3548
3549
3550
3551
3552
3673
3674
Next page
Previous
1
2
3548
3549
3550
3673
3674
Next
libmediastreamer-tools
Voice and video streaming engine for telephony (programs)
libghc-bitwise-prof
fast multi-dimensional unboxed bit packed Bool arrays; profiling libraries
waypipe
Network transparency with Wayland
libhttpclient5-java
HTTP/1.1 and HTTP/2 compliant HTTP agent implementation
libzint2.10
library for encoding data in barcode symbols
r-bioc-saturn
scalable analysis of differential transcript usage for RNA-sequencing
python3-hypothesmith
Hypothesis strategies for generating Python programs, something like CSmith
libliggghts3t64
Open Source DEM Particle Simulation Software. Shared library
seergdb
gui frontend to gdb
sigsum-go
tools for public and transparent logging of signed checksums
r-cran-oaqc
GNU R computation of the orbit-aware quad census
fcitx5-table-emoji
Flexible Input Method Framework v5 - Emoji table
libghc-futhark-prof
library files for for Futhark programming language; profiling libraries
libcoq-deriving
deriving MathComp classes from inductive types
libcoq-extructures
data structures with extensional reasoning for Coq
libcoq-hammer-tactics
automated reasoning tool for Coq (tactics)
altdns
Subdomain discovery through alterations and permutations
libcoq-record-update
automatic record fields updaters for Coq
libmrpt-slam2.12
Mobile Robot Programming Toolkit - slam library
gnome-kiosk
mutter based compositor for kiosks
gnat-14-mipsisa32r6el-linux-gnu
GNU Ada compiler for the mipsisa32r6el-linux-gnu architecture
libmrpt-random2.12
Mobile Robot Programming Toolkit - random library
libcoq-reglang
representation of regular languages in Coq
gnome-kiosk-script-session
Basic session used for running kiosk application from shell script
Previous page
1
2
3546
3547
3548
3549
3550
3551
3552
3673
3674
Next page
Previous
1
2
3548
3549
3550
3673
3674
Next
View
Screenshots