Discover projects, groups and snippets. Share your projects with others
Pahtway-Tools multiprocessing script (for PathoLogic and Biopax/dat creation).0updated
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
The C++ Patate Library provides tools to represent, characterize and analyze data commonly used in Computer Graphics through dedicated modules: geometry, light sources, materials.0updated