Explore GitLab

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


  • belenios / belenios

    Verifiable online voting system

    1
    updated
  • POTTIER Francois / menhir

    An LR(1) parser generator for OCaml.

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

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

    4
    updated
  • Lifeware / biocham

    Biocham-4 sources and CI

    0
    updated
  • Damaris / damaris

    This is the public project for Damaris. In this project the main line of source codes and the latest version of the documentation is stored.

    1
    updated
  • 1
    updated
  • solverstack / Chameleon

    Dense linear algebra subroutines for heterogeneous and distributed architectures

    13
    updated
  • solverstack / morse_cmake

    Collection of CMake modules that can be shared among projects

    4
    updated
  • MOSAIC / timagetk

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

    2
    updated
  • OCSR / ChAOS

    Crowd Animation Open Software (ChAOS) is a visualization tool to create a crowd with animated virtual humans from precomputed trajectory files.

    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
  • AUDEBERT Nicolas / DeepHyperX

    Deep learning for Hyperspectral imagery.

    PyTorch implementation of several state-of-the-art 3D CNN on multiple public hyperspectral datasets.

    1
    updated
  • solverstack / PaStiX

    Parallel Sparse direct Solver

    4
    updated
  • ACG / dev / ACGtk

    Sources of the Abstract Categorial Development toolkit.

    3
    updated
  • vidjil / should

    Test command-line applications through .should files

    0
    updated
  • grew / python

    Binding for grew access from Python

    0
    updated
  • dtk / dtk-visualization

    Towards a lightweight ParaView alternative.

    0
    updated
  • 0
    updated