Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

User Activity

  • Committed [d41418]

    Updated version string

  • Committed [e67398]

    Some cleanups and adding of two mli files

  • Committed [2dfa01]

    Removed old prover

  • Committed [37056b]

    Removed trailing whitespace and tried to add lo...

  • Committed [ba8d0d]

    Initial commit

  • Committed [9b7296]

    Entity lists refactored and constructed directl...

  • Committed [4f9210]

    Merge branch 'master' of github.com:hbr/modern-...

  • Committed [48807c]

    Added a textfile to analyze ambiguities with ex...

View All

Personal Data

Username:
helmut_brandl
Joined:
2003-03-26 16:04:26

Projects

  • Project Logo Eiffel   Last Updated:
  • Project Logo Modern Eiffel The language Modern Eiffel Last Updated:
  • Project Logo alb Implementation of the Albatross programming language Last Updated:
  • Project Logo alba-lang A compiler/verifier for the albatross language Last Updated:
  • Project Logo albatross The Albatross Programming Language Last Updated:

Skills

  • No skills entered.

Personal Tools