elpi
embeddable lambda-Prolog interpreter (tool)
libelpi-ocaml
embeddable lambda-Prolog interpreter (runtime files)
cpp-13-s390x-linux-gnu
GNU C preprocessor for s390x-linux-gnu
coq-hierarchy-builder
build hierarchies of algebraic structures in Coq (tool)
rust-markdown
command line utility for parsing Markdown and outputting HTML
libcoq-coqprime
Primality certification for Coq (library)
gccrs-13-aarch64-linux-gnu
GNU Rust compiler (cross compiler for arm64 architecture)
python3-installer
Python library for unpacking and installing wheels
gccrs-13-arm-linux-gnueabi
GNU Rust compiler (cross compiler for armel architecture)
vim-subtitles
Syntax highlighting for subtitle files
gccgo-13-powerpc64le-linux-gnu
GNU Go compiler for the powerpc64le-linux-gnu architecture
libkf6itemmodels6
additional item/view models for Qt Itemview
gccrs-13-i686-linux-gnu
GNU Rust compiler (cross compiler for i386 architecture)
golang-1.17
Go programming language compiler - metapackage
python3-jaraco.collections
models and classes to supplement the stdlib 'collections' module
python3-jaraco.text
jaraco text manipulation functions
python3-lazy-loader
Python module to easily load subpackages and functions on demand
libvisp-tt-mi3.6t64
visual servoing platform tt-mi library
gccrs-13-powerpc64le-linux-gnu
GNU Rust compiler (cross compiler for ppc64el architecture)
Image processing software
simple-image-filter
Image processing software
gccrs-13-s390x-linux-gnu
GNU Rust compiler (cross compiler for s390x architecture)
node-vega
programmed web graphics with JSON
gdc-13-aarch64-linux-gnu
GNU D compiler (version 2) for the aarch64-linux-gnu architecture
raku
Compiler for Raku language