libcofoja-java
Java API for annotating code with contracts
Contracts for Java is a contract programming framework for Java, which
uses annotation processing and bytecode instrumentation to provide
run-time checking.
sagemath-database-elliptic-curves
Databases for elliptic curves
This package contains in fact two databases:
- the subset of John Cremona's database of elliptic curves up to conductor
at most 10000
- William Stein's database of interesting elliptic curves
mapnik-reference
Parseable specifications of mapnik - Node.js module
mapnik-reference specifies mapnik structures, styles, symbolizers,
and the list of their properties, in JSON format.
It is useful for building parsers, tests, compilers, and syntax
highlighting or syntax checking.
python-fakesleep
Fake version of time.sleep() for use in tests
shatag
tool to store file checksums in extended attributes, and work with them
Shatag is a tool for computing and caching file checksums, and do
remote duplicate detection. Files are compared on their SHA-256 hash to
find duplicates, and will use filesystem extended attributes to cache
the checksum values.
epic5-script-lice
Very functional script for epic
LiCe is a script designed for the ircII and EPIC irc clients; it
radically improves the usability of these clients, providing features
and enhancements that pioneered the way for a whole crowd of
imitators. Though there is now much diversity, thousands of LiCe users
still declare it the best script ever.