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 is open source, compact, and material designed cursor set

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