Search Results for "graphic design programs"

We develop lots of different Android apps at Yalantis, and our experience shows that almost every application we deal with needs image cropping functionality. Image cropping can be used for various purposes, from ordinary adjustment of user profile images to more complex features that involve aspect ratio cropping and flexible image transformations. Since we want to provide all our customers with the best set of tools for image editing functionality, we decided to create uCrop, an image...

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.

Odin is a map generator derived from map generation experiments for a video game called Crypts of Eldor; after requests to release the tool, a decision was made to release a map editor based on this code. Additionally, a Java API is provided so that the map generator can be integrated into new software.