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).