ruby-with-env

extremely small helper module for executing code with ENV variables

WithEnv is an extremely small helper module for executing code with ENV variables. It exists because the upstream author got tired of re-writing or copying over a #with_env helper method for the 131st time.

libghc-prettyprinter-interp-prof

Efficient interpolation for Prettyprinter; profiling libraries

This package provides efficient interpolation of string-interpolate quasi quoters when used with prettyprinter.

psmt2-frontend

Parse and type-check SMT-LIB 2 (tool)

A library to parse and type-check a conservative extension of the SMT-LIB 2 with prenex polymorphism.

libghc-attoparsec-aeson-prof

Parsing of aeson's Value with attoparsec; profiling libraries

Parsing of aeson's Value with attoparsec, originally from aeson.

libcoq-coquelicot

Coq library for real analysis

This package provides a formalization of real analysis compatible with the Coq standard library.

libclang1-16t64

C interface to the Clang library

Clang project is a C, C++, Objective C and Objective C++ front-end based on the LLVM compiler. Its goal is to offer a replacement to the GNU Compiler Collection (GCC).