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.
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.
libcoq-coquelicot
Coq library for real analysis
This package provides a formalization of real analysis compatible
with the Coq standard library.
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-quickchick
randomized testing framework for Coq (plugin)
QuickChick provides a framework for randomized testing
of program properties ; it's a clone of Haskell's
QuickCheck.
libcoq-stdlib
proof assistant for higher-order logic (theories)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.