libghc-futhark-prof
library files for for Futhark programming language; profiling libraries
Futhark is a small programming language designed to be compiled to
efficient parallel code. It is a statically typed, data-parallel, and
purely functional array language in the ML family, and comes with a
heavily optimising ahead-of-time compiler that presently generates
GPU code via CUDA, HIP and OpenCL, although the language itself is
hardware-agnostic.
python3-typeshed
collection of library stubs for Python, with static types
Typeshed contains external type annotations for the Python standard library
and Python builtins, as well as third party packages as contributed by people
external to those projects.
libcoq-deriving
deriving MathComp classes from inductive types
This package builds instances of MathComp classes with little
boilerplate, mimicking Haskell's deriving facility.
libcoq-extructures
data structures with extensional reasoning for Coq
This Coq plugin provides finite sets, maps and
other data structures with extensional reasoning.
node-clipanion
Type-safe CLI library with no runtime dependencies
Clipanion provides type inference for the options you declare: no
duplicated types to write and keep in sync.
libcoq-hammer-tactics
automated reasoning tool for Coq (tactics)
Hammer is a tool to help in the search of a proof
in Coq. It tries to find applicable lemmas and
combine them into a effective proof.