5 search results for "author:"LAISER team, Software Safety and Security Laboratory, CEA-List""

Showing 1 - 5
  1. caisar-ir
    Documentation
    CAISAR's intermediate representation
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 2 other packages
    Added to opam-repository
  2. caisar-nnet
    Documentation
    NNet parser for CAISAR
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  3. caisar-onnx
    Documentation
    ONNX parser for CAISAR
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  4. caisar-ovo
    Documentation
    OVO parser for CAISAR
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  5. caisar-xgboost
    Documentation
    XGBOOST parser for CAISAR
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository