Debian Screenshots >
Home
Browse
Upload
About/Privacy
Login
Previous page
1
2
3354
3355
3356
3357
3358
3359
3360
3770
3771
Next page
Previous
1
2
3356
3357
3358
3770
3771
Next
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-stdlib
proof assistant for higher-order logic (theories)
libcoq-quickchick
randomized testing framework for Coq (plugin)
libcoq-hott
Coq library for homotopy type theory
libcoq-coquelicot
Coq library for real analysis
debian-package-book-en-us
How to package for Debian (in English)
librte-power-amd-pstate25
Data Plane Development Kit (librte-power-amd-pstate runtime library)
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
librte-port25
Data Plane Development Kit (librte-port runtime library)
librte-pipeline25
Data Plane Development Kit (librte-pipeline runtime library)
librte-pdcp25
Data Plane Development Kit (librte-pdcp runtime library)
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)
r-cran-fontawesome
GNU R support of 'Font Awesome' Icons
python3-promod3
protein homology modelling engine - Python 3 package
mariadb-client-core
MariaDB database core client binaries
vuos-mod-vufusefatfs
Mount FAT file systems in vuos
bypass4netns
Accelerates slirp4netns using SECCOMP_IOCTL_NOTIF_ADDFD (program)
python3-pyvisa-sim
Simulated backend for PyVISA implementing TCPIP, GPIB, RS232, and USB resources
tillitis-tkey-udev
Tillitis TKey udev rule
Previous page
1
2
3354
3355
3356
3357
3358
3359
3360
3770
3771
Next page
Previous
1
2
3356
3357
3358
3770
3771
Next
View
Screenshots