This is a staging site. Uploads will not persist. Testing only.

libcoq-hierarchy-builder

build hierarchies of algebraic structures in Coq

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.

vfit

generate backwards-compatible, static instances of variable fonts

This (Variable Font Instancing Tool) allows you to generate custom, static instances of a variable font defined in a configuration file.

node-get-uri

Node.js module that returns a stream.Readable from a URI string

node-get-uri is a high-level module. It accepts a URI string and returns a Readable stream instance. There is built-in support for a variety of "protocols", and it's asily extensible.

libm4api0.3t64

access Mini-Box M4-ATX power supplies (library)

The m4api is a tool for monitoring and configuring Mini-Box M4-ATX power supplies.

python3-spidev

Python bindings for Linux SPI access through spidev

This project contains a python module for interfacing with SPI devices from user space via the spidev linux kernel driver.

libcoq-quickchick

randomized testing framework for Coq (plugin)

QuickChick provides a framework for randomized testing of program properties ; it's a clone of Haskell's QuickCheck.