Tags : Browse Projects

Machine-checkable proofs of void safety formalized in Isabelle/HOL.

Liberty Eiffel wrapper for the IUP toolkit. IUP is a multi-platform toolkit for building graphical user interfaces. IUP's purpose is to allow a program source code to be compiled in different systems without any modification. Its main advantages are: * high performance, due to the fact that it uses ... [More] native interface elements. * fast learning by the user, due to the simplicity of its API. [Less]

Liberty Eiffel wrapper for the CD library. CD is a vector graphics toolkit with device independent output. It is implemented in several platforms using native graphics libraries: Microsoft Windows (GDI) and X-Windows (XLIB). The library contains functions to support both vector and image ... [More] applications, and the visualization surface can be either a window or a more abstract surface, such as Image, Clipboard, Metafile, PS, and so on. [Less]