Showing page 1 of 1.

• 
  FParsec

  FParsec.

  0 weekly downloads
• 
  G-UML

  Programming language and tools allowing: easy code generation for Java,C#,C++,..;verify code correctness and formal properties. The aim is to allow maximum reusability of components(without dependency of language), as well as proving correctness of them.

  0 weekly downloads
• 
  OmniCV

  Open source CV (resume) format and APIs for recruiting industry and HR departments

  0 weekly downloads
• 
  Optimization Library

  Generic Optimization Library

  0 weekly downloads
• 
  timebus

  abandoned project. No real need to do that.

  0 weekly downloads