TeleSign Ruby SDK lets you easily integrate with our REST API

ActiveSupport Kernel Reporting Detritus with a few enhancements. Extraction of some parts of ActiveSupport's Kernel Reporting Core Extensions around silencing IO streams.

Polyglot for Maven is a set of extensions for Maven 3.3.1+ that allows the POM model to be written in dialects other than XML.

This package provides DJGPP-compatible tools to manipulate stubbed executables, i.e. the MS-DOS MZ launcher for DOS-extended binaries:

Hammer is a tool to help in the search of a proof in Coq. It tries to find applicable lemmas and combine them into a effective proof.

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