Skip to content
@crillab

Centre de Recherche en Informatique de Lens

Artificial Intelligence Research and Applications

Popular repositories Loading

  1. gophersat gophersat Public

    gophersat, a SAT solver in Go

    Go 364 23

  2. pyxai pyxai Public

    PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or classification) tree-based ML models (Decision Trees, Random …

    Python 22 2

  3. d4 d4 Public

    d4 Model Counter

    C++ 13 4

  4. metrics metrics Public

    mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity

    Python 11

  5. d4v2 d4v2 Public

    C++ 7 7

  6. nacre_mini nacre_mini Public

    NACRE : Nogood And Clause Reasoning Engine

    C++ 6 4

Repositories

Showing 10 of 41 repositories
  • decdnnf_rs Public
    crillab/decdnnf_rs’s past year of commit activity
    Rust 0 GPL-3.0 0 0 0 Updated Jun 25, 2024
  • gophersat Public

    gophersat, a SAT solver in Go

    crillab/gophersat’s past year of commit activity
    Go 364 MIT 23 5 4 Updated Jun 22, 2024
  • d4v2 Public
    crillab/d4v2’s past year of commit activity
    C++ 7 LGPL-2.1 7 3 2 Updated Apr 29, 2024
  • pyxai Public

    PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or classification) tree-based ML models (Decision Trees, Random Forests, Boosted Trees, ...).

    crillab/pyxai’s past year of commit activity
    Python 22 MIT 2 6 0 Updated Mar 27, 2024
  • crusti_bat Public

    A Belief Aggregation Tool.

    crillab/crusti_bat’s past year of commit activity
    Rust 0 GPL-3.0 0 0 0 Updated Mar 18, 2024
  • stereo2vec Public
    crillab/stereo2vec’s past year of commit activity
    Python 2 0 0 0 Updated Feb 13, 2024
  • crustabri_ipafair Public

    An IPAFAIR compatible library built upon the Crustabri solver.

    crillab/crustabri_ipafair’s past year of commit activity
    Rust 0 GPL-3.0 0 0 0 Updated Jan 24, 2024
  • crustabri Public

    An argumentation framework library & solver.

    crillab/crustabri’s past year of commit activity
    Rust 2 GPL-3.0 2 0 0 Updated Jan 24, 2024
  • crusti_g2io Public

    A Graph Generator following an Inner/Outer pattern.

    crillab/crusti_g2io’s past year of commit activity
    Rust 0 GPL-3.0 1 0 1 Updated Dec 11, 2023
  • apx2tgf Public

    APX2TGF is a tool dedicated to the translation of Argumentation Frameworks (AF) from the APX format to the TGF format.

    crillab/apx2tgf’s past year of commit activity
    Rust 0 GPL-3.0 0 0 0 Updated Dec 11, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…