libcoq-hott

Coq library for homotopy type theory

This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence.

libcoq-coquelicot

Coq library for real analysis

This package provides a formalization of real analysis compatible with the Coq standard library.

ruby-actiontext

edit and display rich text (part of Rails)

Action Text brings rich text content and editing to Rails. It includes the Trix editor that handles everything from formatting to links to quotes to lists to embedded images and galleries.

ruby-activejob

job framework with pluggable queues (part of Rails)

Active Job is a framework for declaring jobs and making them run on a variety of queueing backends. These jobs can be everything from regularly scheduled clean-ups, to billing charges, to mailings. Anything that can be chopped up into small units of work and run in parallel.

python3-vnlog

Toolkit to read/write/manipulate whitespace-separated ASCII logs

Vnlog is a trivially-simple log format consisting of an ASCII table with comments and labelled fields. This package provides a simple Python3 library to parse such logs.
Shoot around obstacles to collect energy using your beam.

mirrormagic

Shoot around obstacles to collect energy using your beam.

A game like "Deflektor" (C 64) or "Mindbender" (Amiga). The goal is to work out how to get around obstacles to shoot energy containers with your beam, enabling the path to the next level to be opened. Included are many levels known from the games "Deflektor" and "Mindbender".