libppx-stable-witness-ocaml
stable witness derivation (runtime)
Ppx extension for deriving a witness that a type is intended to be
stable. In this context, stable means that the serialization format
will never change. This allows programs running at different versions
of the code to safely communicate.
gir1.2-tepl-6
Text editor library for GTK - GObject introspection
libgedit-tepl is a library that eases the development of GtkSourceView-based
text editors and IDEs. Tepl is the acronym for “Text editor product line”. It
serves as an incubator for GtkSourceView.
fonts-ebgaramond-initials-extra
EB Garamond Initials TrueType and web fonts
EB Garamond is an open source project to create a revival of Claude Garamont’s
famous humanist typeface from the mid-16th century. This package contains
TrueType fonts (.ttf) and webfonts (.woff).
libflashprog1
Identify, read, write, erase, and verify BIOS/ROM/flash chips - library
flashprog is a tool for identifying, reading, writing, verifying and erasing
flash chips. It's often used to flash BIOS/EFI/coreboot/firmware/optionROM
images in-system using a supported mainboard, but it also supports flashing of
network cards (NICs), SATA controller cards, and other external devices which
can program flash chips.
python3-webrtc-models
Data classes for WebRTC specification integration
This library provides data classes designed to assist with the integration of
the WebRTC specification, which is a set of standards enabling real-time
communication of audio, video, and data in web browsers and other
applications. It manages the data structures that align with WebRTC, offering
support for peer-to-peer connections over networks. The library's data classes
facilitate the management of media streams and connections, supporting a wide
range of devices and network conditions, enabling seamless communication
protocols for audio-visual interactions and data transmission over the
internet. Additionally, it supports secure data exchange, which is essential
in various communication scenarios such as video conferencing, real-time
collaboration, and other interactive media applications.