Debian Screenshots >
Home
Browse
Upload
About/Privacy
Login
Previous page
1
2
3412
3413
3414
3415
3416
3417
3418
3768
3769
Next page
Previous
1
2
3414
3415
3416
3768
3769
Next
libopenjph0.21
HTJ2K image compression/decompression library (runtime files)
libcoq-coquelicot
Coq library for real analysis
python3-pyactiveresource
ActiveResource for Python
libcoq-hott
Coq library for homotopy type theory
libcoq-quickchick
randomized testing framework for Coq (plugin)
libcoq-stdlib
proof assistant for higher-order logic (theories)
far2l-wx
Linux port of FAR v2 - with WX GTK GUI
black-box-terminal
Black Box aka Blackbox Terminal Emulator
coinor-libcoinmp0
Simple C API for COIN-OR Solvers Clp and Cbc -- library
python3-dartpy
Kinematics Dynamics and Optimization Library - DART Python bindings
libwebsocket-lwt-unix-ocaml
WebSocket library (Lwt support) (runtime)
bolt-17
Post-link optimizer
coinor-libipopt3
Interior-Point Optimizer - shared libraries
libcoq-serapi-ocaml
interaction with Coq (runtime)
libcoq-equations
Coq library to work with functions defined by equations
coq-dpdgraph-tools
Coq plugin to extract dependencies between Coq objects (tools)
libcalceph2
Shared library for planetary ephemeris data access
arjun
HTTP parameter discovery suite
libcrypto-mb11
IntelĀ® Integrated Performance Primitives Cryptography Multi-buffer
libspf2-2t64
library for validating mail senders with SPF
gnome-decoder
QR code scanner and generator for the GNOME Desktop
gpgv-sq
gpgv-like validator for OpenPGP signatures
libmrpt-config2.5
Mobile Robot Programming Toolkit - config library
libswresample5
FFmpeg library for audio resampling, rematrixing etc. - runtime files
Previous page
1
2
3412
3413
3414
3415
3416
3417
3418
3768
3769
Next page
Previous
1
2
3414
3415
3416
3768
3769
Next
View
Screenshots