postgresql-17

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.

libcalceph2

Shared library for planetary ephemeris data access

The CALCEPH Library is designed to access the binary planetary ephemeris files, such INPOPxx and JPL DExxx ephemeris files, and the SPICE kernel (SPK) files.

coq-dpdgraph-tools

Coq plugin to extract dependencies between Coq objects (tools)

This package provides a plugin for Coq to extract dependencies between Coq objects and produce files with dependency information.

libcoq-equations

Coq library to work with functions defined by equations

This library provides a notation to write programs using dependent pattern-matching and well-founded recursion in Coq.

libcoq-serapi-ocaml

interaction with Coq (runtime)

SerAPI provides a library for machine-to-machine interaction with Coq with particular emphasis on integrated development environments, code analysis tools and machine learning.

python3-buienradar

Library and CLI tools for interacting with buienradar.

This package is created as a library for the Home assistant buienradar component implementation. A CLI has been created mainly for debugging purposes but may be extended in the future for more real-world application if needed.