445 items | 25 visits
Resources for the software development.
Updated on Sep 06, 12
Created on Dec 19, 10
Category: Computers & Internet
URL:
Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
Mozc is a Japanese Input Method Editor (IME) designed for multi-platform such as Chromium OS, Windows, Mac and Linux.
The Recycler is a concurrent, multiprocessor, reference counting garbage collector that achieves maximum application pause times of only 2.6 milliseconds.
Sikuli is a visual technology to search and automate graphical user interfaces (GUI) using images (screenshots).
445 items | 25 visits
Resources for the software development.
Updated on Sep 06, 12
Created on Dec 19, 10
Category: Computers & Internet
URL: