python3-txws

Python module to add Websocket support to the Twisted framework (Python 3)

txWS (pronounced "Twisted WebSockets") is a small, short, simple library for adding WebSockets server support to your favorite Twisted applications.

burner-cdrkit

cdrkit extensions for the Burner burning application

Burner is a simple application to burn, copy and erase CD and DVD media.

libburner-media3-1

CD/DVD burning library for UKUI - runtime

Libburner is a simple library to burn, copy and erase CD and DVD media.
chafa -v DSC_0257.png

chafa

Image-to-text converter supporting a wide range of symbols, etc.

Chafa is a command-line utility that converts all kinds of images, including animated image formats like GIFs, into ANSI/Unicode character output that can be displayed in a terminal.

minetest-mod-skyblock

Minetest module to add a Crusoe-like minigame

This minetest module provide game mechanics to start from a small island in the sky with minimal capacities and build everything from there.

ott-tools

Ott tool (executable)

Ott is a tool to write definitions of programming languages and calculi. From the definition of a language syntex and semanticsin a concise and readable notation close to informal mathematics, it can provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml versions of the definition.