Picobox is designed to be clean, pragmatic and with Python in mind. No complex graphs, no implicit injections, no type bindings - just picoboxes and explicit demands.

This is the GNU Objective-C compiler for the x86_64-linux-gnux32 architecture, which compiles Objective-C on platforms supported by the gcc compiler. It uses the gcc backend to generate optimized code.

This package makes it possible to define new commands and tactics for Coq in Elpi.

This package contains some usefull tools, e.g.:

Vcstool is a version control system (VCS) tool, designed to make working with multiple repositories easier. vcstool enables batch commands on multiple different vcs repositories. Currently it supports git, hg, svn and bzr.

rLottie is a platform independent standalone C++ library for rendering vector based animations and art in realtime.