Explore GitLab

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


  • PaMPA / PaMPA-Doc Developer

    PaMPA Documentation

    2
    updated
  • PaMPA / PaMPA-Core Developer

    The Core library of PaMPA is designed for handling unstructured meshes in parallel, on distributed memory architectures.

    2
    updated
  • Damien CASELLI / rpi3-hotspot

    Turns a Raspberry Pi 3 into a configurable hotspot.

    2
    updated
  • 2
    updated
  • POTTIER Francois / mpri-2.4-public

    Resources for course MPRI 2-4 on functional programming and type systems.

    2
    updated
  • MAIRAL Julien / ckn-cudnn-matlab

    This is a re-implementation of the method introduced in the paper. J. Mairal. End-to-End Kernel Learning with Supervised Convolutional Kernel Networks. Adv. Neural Information Processing Systems (NIPS), 2016

    2
    updated
  • Flocq / flocq

    Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

    2
    updated
  • ACG / dev / ACGtk

    Sources of the Abstract Categorial Development toolkit.

    2
    updated
  • batsim / batsched

    Batsim C++ scheduling algorithms

    2
    updated
  • EYRAUD-DUBOIS Lionel / pmtool

    Post-mortem analysis tool for StarPU scheduling studies

    2
    updated
  • VILLEMONTE DE LA CLERGERIE Eric / dyalog-srnn

    The coupling of dyalog-sr, a feature-based shift-reduce dependency parser, with neural layers provided by Dynet. It has been developed in the context of the CONLL 2017 Universal Dependencies Shared Task and tried over a large set of languages.

    2
    updated
  • solverstack / vite

    ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.

    2
    updated
  • PaMPA / PaMPA-Remesh Developer

    PaMPA-Remesh performs dynamic parallel remeshing and redistribution of very large unstructured meshes.

    It is available at no cost under a proprietary, evaluation licence.

    Please contact pampa AT inria.fr in order to benefit from this offer.

    2
    updated
  • 2
    updated
  • Phylophile / Treerecs

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

    2
    updated
  • solverstack / spm

    SParse Matrix Package

    2
    updated
  • simgrid / simgrid

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

    2
    updated
  • Gérard Huet / Heritage_Resources

    Sanskrit linguistic resources under the Sanskrit Heritage Platform format

    2
    updated
  • 1
    updated
  • 1
    updated