Explore GitLab

Discover projects, groups and snippets. Share your projects with others


  • BELCOUR Arnaud / mpwt

    Pahtway-Tools multiprocessing script (for PathoLogic and Biopax/dat creation).

    0
    updated
  • Why3 / why3

    Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

    3
    updated
  • patate / patate

    The C++ Patate Library provides tools to represent, characterize and analyze data commonly used in Computer Graphics through dedicated modules: geometry, light sources, materials.

    0
    updated