• Debian logo
  • Debian Screenshots >
  • Home
  • Browse
  • Upload
  • About/Privacy
  • Login

  • Previous page
  • 1
  • 2
  • 3743
  • 3744
  • 3745
  • 3746
  • 3747
  • 3748
  • 3749
  • 3793
  • 3794
  • Next page
  • Previous
  • 1
  • 2
  • 3745
  • 3746
  • 3747
  • 3793
  • 3794
  • Next

librte-vdpa-mlx5-25
Data Plane Development Kit (librte-vdpa-mlx5 runtime library)
coq-dpdgraph-tools
Coq plugin to extract dependencies between Coq objects (tools)
libcoq-equations
Coq library to work with functions defined by equations
libcoq-serapi-ocaml
interaction with Coq (runtime)
coinor-libipopt3
Interior-Point Optimizer - shared libraries
coinor-libcoinmp0
Simple C API for COIN-OR Solvers Clp and Cbc -- library
libcoq-stdlib
proof assistant for higher-order logic (theories)
libcoq-hott
Coq library for homotopy type theory
libcoq-coquelicot
Coq library for real analysis
librte-vdpa-nfp25
Data Plane Development Kit (librte-vdpa-nfp runtime library)
librte-vdpa-sfc25
Data Plane Development Kit (librte-vdpa-sfc runtime library)
librte-vhost25
Data Plane Development Kit (librte-vhost 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
libkdsoap-server-qt6-2
Qt-based client-side and server-side SOAP component - server-side library
mariadb-client-core
MariaDB database core client binaries
python3-promod3
protein homology modelling engine - Python 3 package
emacs-ocaml-merlin
editor service to develop in OCaml (emacs files)
r-cran-fontawesome
GNU R support of 'Font Awesome' Icons
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
broot
tree view, file manager, configurable launcher

  • Previous page
  • 1
  • 2
  • 3743
  • 3744
  • 3745
  • 3746
  • 3747
  • 3748
  • 3749
  • 3793
  • 3794
  • Next page
  • Previous
  • 1
  • 2
  • 3745
  • 3746
  • 3747
  • 3793
  • 3794
  • Next

View
Screenshots