Debian Screenshots >
Home
Browse
Upload
About/Privacy
Login
Previous page
1
2
3372
3373
3374
3375
3376
3377
3378
3674
3675
Next page
Previous
1
2
3374
3375
3376
3674
3675
Next
librte-bus-dpaa22
Data Plane Development Kit (librte-bus-dpaa runtime library)
libnats2.5
C client for the NATS messaging system
libcoq-reglang
representation of regular languages in Coq
gnome-kiosk
mutter based compositor for kiosks
node-puppeteer
API to control Chrome over the DevTools Protocol
node-should-sinon
Sinon.js assertions for should.js
node-wikibase-cli
command-line interface to Wikibase
librte-bus-auxiliary22
Data Plane Development Kit (librte-bus-auxiliary runtime library)
node-wikidata-lang
Wikidata language database
libcoq-record-update
automatic record fields updaters for Coq
node-vega-embed
Node.js library to easily embed vega views
python3-apycula
Tools to generate Gowin FPGA bitstreams
librte-bpf22
Data Plane Development Kit (librte-bpf runtime library)
libcoq-hammer-tactics
automated reasoning tool for Coq (tactics)
libcoq-extructures
data structures with extensional reasoning for Coq
libace-ssl-7.0.6
ACE secure socket layer library
node-vega-tooltip
Tooltip for node-vega and node-vega-lite
libcoq-deriving
deriving MathComp classes from inductive types
python3.12-nopie
Python interpreter linked without PIE (version 3.12)
libghc-futhark-prof
library files for for Futhark programming language; profiling libraries
libmrpt-containers2.12
Mobile Robot Programming Toolkit - containers library
arqiver
Simple Qt5 archive manager; front-end for libarchive, gzip and 7z.
libbox2d2
2D physics engine
libstopt5
library for stochastic optimization problems (shared library)
Previous page
1
2
3372
3373
3374
3375
3376
3377
3378
3674
3675
Next page
Previous
1
2
3374
3375
3376
3674
3675
Next
View
Screenshots