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.

python3-bqplot

Interactive plotting for the Jupyter notebook

2-D plotting library for Project Jupyter