Debian Screenshots >
Home
Browse
Upload
About/Privacy
Login
Previous page
1
2
3372
3373
3374
3375
3376
3377
3378
3679
3680
Next page
Previous
1
2
3374
3375
3376
3679
3680
Next
libcoq-hammer
automated reasoning tool for Coq
ruby-telesignenterprise
TeleSign Enterprise Ruby SDK
ruby-oj-introspect
Oj introspect parser.
interception-caps2esc
interception plugin for dual function Esc/Ctrl key at CapsLock
libcoq-aac-tactics
Coq tactics for reasoning modulo AC (theories)
libknet1t64
kronosnet core switching implementation
python3-srsly
modern high-performance serialization utilities for Python3
libcoq-libhyps
Tactics on hypotheses in Coq
libapi-gitforge-perl
generic interface to APIs of sites like GitHub, GitLab etc.
python3-recurring-ical-events
Recurring ICal events for Python (Python 3)
librnd3-hid-gtk2-gl
GUI: gtk2, opengl
node-socks
Fully featured SOCKS proxy client
odr-audioenc
DAB and DAB+ encoder that integrates into the ODR-mmbTools
python3-markdown-exec
Utilities to execute code blocks in Markdown files
libmrpt-ros1bridge2.5
Mobile Robot Programming Toolkit - ros1bridge library
markdownlint
Markdown lint tool
libspatialindex7
General framework for developing spatial indices
libqpdf29t64
runtime library for PDF transformation/inspection software
elpa-pass
major mode for password-store
gccgo-11-multilib-mips64el-linux-gnuabi64
GNU Go compiler (multilib support) (cross compiler for mips64el architecture)
python3-mesonpy
Meson PEP 517 Python build backend
gccgo-11-mipsisa64r6el-linux-gnuabi64
GNU Go compiler
kotlin
cross-platform, general-purpose programming language
rosidl-generators
Language generators for ROS 2 IDL support
Previous page
1
2
3372
3373
3374
3375
3376
3377
3378
3679
3680
Next page
Previous
1
2
3374
3375
3376
3679
3680
Next
View
Screenshots