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