Explore GitLab

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


  • grew / grew_match

    The web interface for searching grew patterns in corpora

    0
    updated
  • cedar / quotientSummary Developer

    Quotient summary, version of March 2018

    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
  • simgrid / simgrid

    SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.

    2
    updated
  • coq / coq

    Mirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)

    0
    updated
  • Gérard Huet / Heritage_Resources

    Sanskrit linguistic resources under the Sanskrit Heritage Platform format

    2
    updated
  • Gérard Huet / Heritage_Platform

    This platform gives tools to manipulate Sanskrit data

    1
    updated
  • GeCoS / gecos-core

    GeCoS core provides the core IR model (CDFG), C Front-end, C code generator as well as a set of generic code analysis and transformations and other utils.

    0
    updated
  • 0
    updated
  • MoReFEM / CoreLibrary / MoReFEM

    MoReFEM core library.

    This library also contains some simple Models to illustrate how to use it, and several integration tests.

    3
    updated
  • GILLES Sebastien / MoReFEM Master

    MoReFEM core library.

    This library also contains some simple Models to illustrate how to use it, and several integration tests.

    0
    updated
  • solverstack / spm

    SParse Matrix Package

    2
    updated
  • GAST Nicolas / SIR_simulate

    C++ simulator of a mean field model of a simple SIR model.

    0
    updated
  • vidjil / vidjil

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

    4
    updated
  • 0
    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
  • metapart / starpart

    Flexible and extensible framework that integrates state-of-the-art methods for graph partitioning and sparse matrix ordering.

    1
    updated
  • Phylophile / Treerecs

    Treerecs is a program which corrects gene trees taking informations from a given rooted species tree.

    2
    updated
  • COOMAN Adam / ADSimportData

    Collection of matlab functions to import simulation data from ADS

    0
    updated
  • GAST Nicolas / jsqD_simulate

    Small C++ Simulator of the "Join-the-Shortest-Queue(d)" model (variant of the "supermarket model", a.k.a. "the power of two choices" presented in (Mitzenmacher - ‎1996, Vvedenskaya, Dobrushin, Karpelevich - 1996)

    0
    updated