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