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.