libcoq-mathcomp-algebra

Mathematical Components library for Coq (algebra)

The Mathematical Components Library is an extensive and coherent repository of formalized mathematical theories. It is based on the Coq proof assistant, powered with the Coq/SSReflect language.

vim-autopairs

Insert or delete brackets, parens, and quotes in pair

vim-autopairs is a vim plugin that automatically completes brackets, parens and quotes in pair.

bolt-18

Post-link optimizer

It achieves the improvements by optimizing application's code layout based on execution profile gathered by sampling profiler.
text based mini games for your terminal

nbsdgames

text based mini games for your terminal

This is a collection of diverse textual games featuring AI, 2 player mode, flexible board size, color, mouse support etc.

libsop-java-java

Stateless OpenPGP Protocol API and CLI for Java

The Stateless OpenPGP Protocol specification defines a generic stateless CLI for dealing with OpenPGP messages. Its goal is to provide a minimal, yet powerful API for the most common OpenPGP related operations.

libjs-php-date-formatter

Manipulate date/times using PHP date-time formats in javascript

php-date-formatter is a Javascript datetime library that allows you to manipulate date/times using PHP date-time formats in javascript. This library was built with an intention to read and write date/timestamps to the database easily when working with PHP server code. Use cases for this library would involve reading and saving a timestamp to database in one format, but displaying it on client or html forms in another format. Maintaining a consistent PHP Date time format for both server side and client side validation should help in building extensible applications with various PHP frameworks easily.