This is a staging site. Uploads will not persist. Testing only.
python3-cogapp
cog content generation tool
Cog is a file generation tool. It lets you use pieces of Python code as
generators in your source files to generate whatever text you need.
python3-pytest-recording
pytest plugin that allows recording of network interactions
A pytest plugin that records network interactions in your tests via VCR.py.
micropython-mpremote
Tool for interacting remotely with MicroPython on a microcontroller
The mpremote tool provides a set of commands for interacting with a
microcontroller board running MicroPython over a serial connection. It
includes the ability to run local scripts on the board, perform a variety of
filesystem tasks (cat, ls, cp, rm, mkdir, rmdir), mount a local directory on
the remote board, and execute an interactive REPL on the board.
libcryptominisat5-5.11t64
SAT solver library
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
bibata-cursor-theme
Bibata is open source, compact, and material designed cursor set
This cursor set is the masterpiece of cursors available on the
internet, Hand designed by Abdulkaiz Khatri.
repro-env
Dependency lockfiles for reproducible build environments
Tracks a description of a desired state in *repro-env.toml*, for example, the
latest version of some official container image, with the latest patch level
and the latest version of some additional packages.
It also tracks a resolved variant in *repro-env.lock* that tracks the
specific versions and checksums of the packages needed to set up the described
environment (at the patch-level available at the time of writing).