Debian Screenshots >
Home
Browse
Upload
About/Privacy
Login
Previous page
1
2
3137
3138
3139
3140
3141
3142
3143
3730
3731
Next page
Previous
1
2
3139
3140
3141
3730
3731
Next
libkglobalacceld0
daemon for global keyboard shortcuts on the Plasma desktop - shared library
libkdecorations2private11
library to create window decorations - private library
libkdecorations2-6
library to create window decorations
libldaptive-java
simple, extensible Java API for interacting with LDAP servers
mcxtrace-mxplot-html
X-ray ray-trace simulation - HTML plotting frontend
mcstas-mcplot-html
Neutron ray-trace simulation - HTML plotting frontend
librocksdb7.8
persistent Key-Value Store for Flash and RAM Storage
debian-package-book-en-us
How to package for Debian (in English)
libcoq-quickchick
randomized testing framework for Coq (plugin)
far2l-wx
Linux port of FAR v2 - with WX GTK GUI
coinor-libipopt3
Interior-Point Optimizer, for large-scale nonlinear optimization
coinor-libcoinmp0
Simple C API for COIN-OR Solvers Clp and Cbc -- library
libcoq-coquelicot
Coq library for real analysis
rnp
Cross-platform OpenPGP (RFC4880) tools (command-line tool)
libcoq-serapi-ocaml
interaction with Coq (runtime)
libcoq-hott
Coq library for homotopy type theory
libcoq-equations
Coq library to work with functions defined by equations
coq-dpdgraph-tools
Coq plugin to extract dependencies between Coq objects (tools)
libcoq-stdlib
proof assistant for higher-order logic (theories)
libcalceph2
Shared library for planetary ephemeris data access
python3-goalzero
Library for interacting with Goal Zero Yeti devices via REST API
python3-renpy
framework for developing visual-novel type games - Python module
python3-pyfunceble
Check availability of domains, IPs or URLs
libjuman4t64
Library of JUMAN
Previous page
1
2
3137
3138
3139
3140
3141
3142
3143
3730
3731
Next page
Previous
1
2
3139
3140
3141
3730
3731
Next
View
Screenshots