libqalculate22
Powerful and easy to use desktop calculator - library
Qalculate! is small and simple to use but with much power and versatility
underneath. Features include customizable functions, units, arbitrary
precision, plotting, and a graphical interface that uses a one-line
fault-tolerant expression entry (although it supports optional traditional
buttons).
libpsmt2-frontend-ocaml
Parse and type-check SMT-LIB 2 (runtime files)
A library to parse and type-check a conservative extension
of the SMT-LIB 2 standard with prenex polymorphism.
qml6-module-qtmultimedia
Qt 6 Multimedia QML module
Qt is a cross-platform C++ application framework. Qt's primary feature
is its rich set of widgets that provide standard GUI functionality.
postgresql-14
The World's Most Advanced Open Source Relational Database
PostgreSQL, also known as Postgres, is a free and open-source relational
database management system (RDBMS) emphasizing extensibility and SQL
compliance. It features transactions with Atomicity, Consistency, Isolation,
Durability (ACID) properties, automatically updatable views, materialized
views, triggers, foreign keys, and stored procedures. It is designed to handle
a range of workloads, from single machines to data warehouses or Web services
with many concurrent users.
fonts-pretendard
Fine tuned derived font for Korean-Latin mixed body text
Pretendard is a derived font family from three different fonts; Noto Sans
CJK, Inter and M PLUS 1P. The widths of characters and distances between
characters are fine tuned for good looking body text, when it's written in
multiple scripts of Korean Hangul and Latin alphabets.