Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Void Safety Formalization

Compare

  Analyzed 1 day ago

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

0 lines of code

0 current contributors

about 7 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: CC_BY-NC-...

eiffel-iup

Compare

  Analyzed about 6 hours ago

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]

40.2K lines of code

1 current contributors

almost 2 years since last commit

0 users on Open Hub

Very Low Activity
0.0
 
I Use This
Licenses: No declared licenses

eiffel-cd

Compare

  Analyzed about 1 hour ago

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]

3.79K lines of code

0 current contributors

over 6 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This
Licenses: No declared licenses