libelpi-ocaml

embeddable lambda-Prolog interpreter (runtime files)

ELPI implements a lambda-Prolog interpreter enriched with constraint handling rules, to provide an extension language to larger applications written in OCaml.

libgm2-18-mips64r6-cross

GNU Modula-2 standard library (runtime library)

This is the GNU Modula-2 standard library that comes with the gm2 compiler.

libgm2-18-mips64r6el-cross

GNU Modula-2 standard library (runtime library)

This is the GNU Modula-2 standard library that comes with the gm2 compiler.

elpa-vterm

fully-fledged terminal emulator inside GNU Emacs based on libvterm - elisp

Emacs-libvterm (vterm) is fully-fledged terminal emulator inside GNU Emacs based on libvterm, a C library. As a result of using compiled code (instead of elisp), emacs-libvterm is fully capable, fast, and it can seamlessly handle large outputs.

libkf6textgrammarcheck1

KDE text handling addons - text grammar check library

KTextAddons is a collection of text addons libraries developed by the KDE community.

python3-socksio

Sans-I/O implementation of SOCKS4, SOCKS4A, and SOCKS5

Client-side sans-I/O SOCKS proxy implementation. Supports SOCKS4, SOCKS4A, and SOCKS5.