Search Results for "essential-static"

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.

coost is an elegant and efficient cross-platform C++ base library. Its goal is to create a sword of C++ to make C++ programming easy and enjoyable. Coost, co for short, is like boost, but more lightweight, the static library built on Linux or Mac is only about 1MB in size. log supports two types of logs: one is level log, which is divided into 5 levels: debug, info, warning, error, and fatal, printing a fatal log will terminate the program; the other is topic log, logs are grouped by topic and logs of different topics are written to different files.

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

LibOpenCIF is an open source library for GNU/Linux that bring to the user basic loading of CIF (Caltech Intermediate Form) files. The library is writed and intented to be used in C++.

The G(arbage) C(ollected) X(Query) engine is the first streaming XQuery engine that implements active garbage collection, a novel buffer management strategy in which both static and dynamic analysis are exploited.

GTO is a file format whose primary usage is storage of static geometric data, though it can be used to store just about anything.