Open Hub
Black Duck Open Hub
 

Managed Projects

EiffelStudio

  Analyzed about 6 hours ago

EiffelStudio is an IDE for the Eiffel language (ECMA-367, ISO/IEC 25436, and ACM Software System Award 2006). It includes: * Eiffel compiler * Eiffel GUI editor * Eiffel code browsing tool * Eiffel diagram editor with round-trip, * Eiffel refactoring tool * Eiffel debugger * Eiffel ... [More] profiler * Eiffel analysis tools (Metrics, Dependencies, etc.). Eiffel generates C or CLI for .NET or Mono. Eiffel applies O-O principles and Design by Contract for high-quality software. Many Eiffel libraries are included: ADT, network, GUI, database, parsing (including an Eiffel parser), XML, Web, COM, and more. [Less]

9.99M lines of code

8 current contributors

about 1 year since last commit

23 users on Open Hub

Very Low Activity
4.46667
   
0 Reviews
I Use This
Mostly written in Eiffel
Licenses: eiffel_2, gpl
Tags acm coding compiler design-by-contract design_by_contract development dotnet ecma eiffel embedded engineering interpreter 8 more...

Void Safety Formalization

  Analyzed 1 day ago

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

0 lines of code

0 current contributors

over 7 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in language not available
Licenses: CC_BY-NC-...
Tags Eiffel formalmethods isabelle static-analysis void-safety

Null Safety Benchmark

  Analyzed 1 day ago

A set of benchmark examples to test and compare different null safety solutions for their soundness and expressiveness.

1.6K lines of code

1 current contributors

about 3 years since last commit

1 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in Eiffel
Licenses: CC_BY-NC-...
Tags correctness expressiveness null-safety object-initialization soundness static-analysis void-safety