Debian Screenshots >
Home
Browse
Upload
About/Privacy
Login
Previous page
1
2
3661
3662
3663
3664
3665
3666
3667
3673
3674
Next page
Previous
1
2
3663
3664
3665
3673
3674
Next
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)
libfilezilla42
build high-performing platform-independent programs (runtime lib)
libcoq-record-update
automatic record fields updaters for Coq
gnome-kiosk
mutter based compositor for kiosks
libcoq-reglang
representation of regular languages in Coq
gnome-kiosk-script-session
Basic session used for running kiosk application from shell script
cpucycles
command-line tool for counting CPU cycles (libcpucycles)
libghc-concurrent-extra-prof
Extra concurrency primitives; profiling libraries
python3-mt-940
Python library to parse mt940 files
r-cran-mixsqp
Quadratic Programming for Estimation of Mixture Proportions
libwf-utils0
3D Wayland compositor (wf-utils library)
liblib60870-2
library for IEC 60870-5 based protocols in C
libest3
Enrollment over Secure Transport (EST), library
libvbz-hdf-plugin0
VBZ compression plugin for nanopore signal data
php-roundcube-rtf-html-php
RTF to HTML converter in PHP
libghc-data-reify-prof
Reify a recursive data structure into an explicit graph.; profiling libraries
r-cran-fontawesome
GNU R support of 'Font Awesome' Icons
python3-svgelements
high fidelity SVG parsing and geometric rendering Python library
altdns
Subdomain discovery through alterations and permutations
xtb
semiempirical extended tight-binding program package
libghc-hspec-hedgehog-prof
Integrate Hedgehog and Hspec!; profiling libraries
python3-sqlglot
SQL parser, transpiler, and optimizer for Python
Previous page
1
2
3661
3662
3663
3664
3665
3666
3667
3673
3674
Next page
Previous
1
2
3663
3664
3665
3673
3674
Next
View
Screenshots