libghc-gi-freetype2-prof
freetype2 bindings; profiling libraries
Bindings for freetype2, autogenerated by haskell-gi.
libhdf5-openmpi-hl-fortran-100t64
HDF5 High Level Fortran runtime files - OpenMPI version
Hierarchical Data Format 5 (HDF5) is a file format and library for
storing scientific data. HDF5 was designed and implemented to address
the deficiencies of HDF4.x. It has a more powerful and flexible data
model, supports files larger than 2 GB, and supports parallel I/O.
libcoq-coquelicot
Coq library for real analysis
This package provides a formalization of real analysis compatible
with the Coq standard library.
node-codemirror-lang-python
Python language support for the CodeMirror code editor
CodeMirror is a code editor component for the web. It can be used in
websites to implement a text input field with support for many editing
features, and has a rich programming interface to allow further extension.
altdns
Subdomain discovery through alterations and permutations
This package contains a DNS recon tool that allows for the discovery of
subdomains that conform to patterns. Altdns takes in words that could be
present in subdomains under a domain (such as test, dev, staging) as well
as takes in a list of subdomains that you know of.
libqcoro6websockets0
C++20 coroutines for Qt6 - WebSockets
QCoro is a C++ library that provide set of tools to make use of C++20
coroutines in connection with certain asynchronous Qt6 actions.