Explore GitLab

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


  • 3
    updated
  • vidjil / vidjil

    An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

    4
    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