This Coq plugin provides finite sets, maps and other data structures with extensional reasoning.

This package builds instances of MathComp classes with little boilerplate, mimicking Haskell's deriving facility.

The ISMRMRD format combines a mix of flexible data structures (XML header) and fixed structures (equivalent to C-structs) to represent MRI data.

libunwind is a production-quality unwinder, with platform support for DWARF unwind info, SjLj, and ARM EHABI.

GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).

GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).