libcoq-hott

Coq library for homotopy type theory

This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence.

libcoq-coquelicot

Coq library for real analysis

This package provides a formalization of real analysis compatible with the Coq standard library.

libkf6sonnetui6

spell checking library for Qt, ui lib

Sonnet is a Qt based library that offers easy access to spell checking using various plugin based backends. It is part of KDE Frameworks 6.

debian-package-book-en-us

How to package for Debian (in English)

The information in this book is of particular interest to users of the script. But also people who are generally interested in packaging for a distribution will find information in this book.

qml6-module-org-kde-kholidays

holidays calculation library - qml files

This library provides a C++ API that determines holiday and other special events for a geographical region.

mcstas-mcplot-html

Neutron ray-trace simulation - HTML plotting frontend

McStas is a tool for carrying out Monte Carlo ray-tracing simulations of neutron scattering instruments with high complexity and precision. The simulations can compute all aspects of the performance of instruments and can thus be used to optimize the use of existing equipment, design new instrumentation, and carry out virtual experiments for e.g. training, experimental planning or data analysis.