This is a staging site. Uploads will not persist. Testing only.
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.
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.
libghc-libbf-prof
Binding to the libBF library; profiling libraries
LibBF is a C library for working with arbitray precision
IEEE 754 floating point numbers.
libcoq-coquelicot
Coq library for real analysis
This package provides a formalization of real analysis compatible
with the Coq standard library.
libghc-lua-prof
Lua bindings for Haskell; profiling libraries
This package provides bindings and types to bridge Haskell and Lua.
python3-qstylizer
Python package for construction of PyQt/PySide stylesheets
qstylizer allows for both the construction of new stylesheets and
the easy modification of existing ones using idiomatic Python code.