Debian Screenshots >
Home
Browse
Upload
About/Privacy
Login
Previous page
1
2
3284
3285
3286
3287
3288
3289
3290
3745
3746
Next page
Previous
1
2
3286
3287
3288
3745
3746
Next
coq-dpdgraph-tools
Coq plugin to extract dependencies between Coq objects (tools)
libcoq-equations
Coq library to work with functions defined by equations
libcoq-hott
Coq library for homotopy type theory
libcoq-serapi-ocaml
interaction with Coq (runtime)
libcoq-coquelicot
Coq library for real analysis
python3-freenub
Open-source fork of PubNub with an MIT license for real-time messaging
coinor-libipopt3
Interior-Point Optimizer - shared libraries
coinor-libcoinmp0
Simple C API for COIN-OR Solvers Clp and Cbc -- library
far2l-wx
Linux port of FAR v2 - with WX GTK GUI
libcoq-quickchick
randomized testing framework for Coq (plugin)
debian-package-book-en-us
How to package for Debian (in English)
find-libpython
utility to find libpython associated with your environment
fcitx5-varnam
Fcitx5 wrapper for Varnam input method
mcstas-mcplot-html
Neutron ray-trace simulation - HTML plotting frontend
mcxtrace-mxplot-html
X-ray ray-trace simulation - HTML plotting frontend
libldaptive-java
simple, extensible Java API for interacting with LDAP servers
libca4.14.4
EPICS channel access client library
libfoma0t64
Foma runtime libraries
libepics-perl
EPICS perl module
hyprland-protocols
Wayland protocol extensions for Hyprland
epics-base
EPICS tools
docker-cli
Linux container runtime -- client
libkdsoap-server-qt6-2
Qt-based client-side and server-side SOAP component - server-side library
emacs-ocaml-merlin
editor service to develop in OCaml (emacs files)
Previous page
1
2
3284
3285
3286
3287
3288
3289
3290
3745
3746
Next page
Previous
1
2
3286
3287
3288
3745
3746
Next
View
Screenshots