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.