Search Results for "html projects"

Infer is a static analysis tool - if you give Infer some Java or C/C++/Objective-C code it produces a list of potential bugs. Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance. Infer checks for null pointer exceptions, resource leaks, annotation reachability, missing lock guards, and concurrency race conditions in Android and Java code. Infer checks for null pointer dereferences, memory leaks, coding conventions...

dvi2bitmap is a utility to convert TeX DVI files directly to bitmaps, without going through the complicated (and slow!) route of conversion via PostScript and PNM. The prime motivation for this is to prepare mathematical equations for inclusion in HTML files, but there is a broad range of uses beyond that. dvi2bitmap... * is written in portable C++, and the program acts as a wrapper round the libdvi2bitmap library (both static and shareable), which abstracts DVI and PK files and their contents, Bitmaps, and various other objects supporting these; the library has extensive API documentation, and is intended to be useful for other projects; * can generate XBM, XPM and GIF bitmaps, plus PNG, if you have the libpng library installed; * uses the same kpathsea font-searching library as other TeX programs; * can read DVI files from a pipe; * automatically expands internal bitmaps; * is fast.

Report library + visual editor for Qt based applications. Project moved to https://sourceforge.net/projects/qsqlmon/