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.