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.