Explore GitLab

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


  • solverstack / Chameleon

    Dense linear algebra subroutines for heterogeneous and distributed architectures

    13
    updated
  • vidjil / vidjil

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

    4
    updated
  • 1
    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
  • ACG / dev / ACGtk

    Sources of the Abstract Categorial Development toolkit.

    2
    updated
  • 1
    updated
  • batsim / batexpe

    A program in charge of managing one Batsim simulation.

    0
    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
  • solverstack / spm

    SParse Matrix Package

    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
  • Lifeware / biocham

    Biocham-4 sources and CI

    0
    updated
  • POTTIER Francois / menhir

    An LR(1) parser generator for OCaml.

    2
    updated
  • solverstack / PaStiX

    Parallel Sparse direct Solver

    4
    updated
  • vidjil / should

    Test command-line applications through .should files

    0
    updated
  • PIETRIGA Emmanuel / seawall

    A version of TsunamiLab running on cluster-driven wall displays.

    0
    updated
  • MOSAIC / timagetk

    Tissue Image Toolkit (timagetk) is a Python package dedicated to image processing of multicellular architectures such as plants or animals.

    1
    updated
  • solverstack / morse_cmake

    Collection of CMake modules that can be shared among projects

    4
    updated
  • 2
    updated
  • 5
    updated
  • PIETRIGA Emmanuel / LODAtlas

    Browsing Linked Data Catalogs

    1
    updated