Explore projects

A

PARTIES / tools / adt2amas
GNU General Public License v3.0 only

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

2

Updated Nov 07, 2023

2 0 0 9

Updated Nov 07, 2023
A

PARTIES / tools / adt2maude
GNU General Public License v3.0 only

1

Updated May 02, 2022

1 0 0 0

Updated May 02, 2022
A

Julien David / AlgoDuTexte

0

Updated Feb 01, 2021

0 0 0 0

Updated Feb 01, 2021
A

Franck Butelle / APD

Dépôt pour les TPs APD

0

Updated Nov 20, 2020

0 0 0 0

Updated Nov 20, 2020
A

Hadhami OUNI / Approche_ML_1

0

Updated Jul 17, 2024

0 0 0 0

Updated Jul 17, 2024
B

Sami Evangelista / benchs

0

Updated Sep 10, 2024

0 0 0 0

Updated Sep 10, 2024
B

PMC-SOG / Buddy
Other

0

Updated Jan 14, 2023

0 0 0 0

Updated Jan 14, 2023
B

GoSup / BuDDy

This is a copy of the BuDDy library.

0

Updated Dec 09, 2021

0 0 0 0

Updated Dec 09, 2021
C

Quentin DAVID / CheneTAL Modules

This repository hosts the different modules that will process CheneTAL corpora.

1

Updated Nov 02, 2023

1 0 0 1

Updated Nov 02, 2023
C

Jorge Garcia flores / ChêneTAL

1

Updated Nov 07, 2023

1 0 0 5

Updated Nov 07, 2023
C

Thomas Rubiano / CompcertMWP
GNU General Public License v2.0 or later

0

Updated Nov 24, 2021

0 0 0 1

Updated Nov 24, 2021
D

Julien David / dijkstra

0

Updated Nov 04, 2021

0 0 0 0

Updated Nov 04, 2021
D

PMC-SOG / Distributed-SOG
GNU General Public License v3.0 only

0

Updated Feb 22, 2019

0 0 0 0

Updated Feb 22, 2019
E

Anthony Coutant / elsa

0

Updated Aug 31, 2019

0 0 0 0

Updated Aug 31, 2019
E

Anthony Coutant / elsa-exp

0

Updated Jul 12, 2019

0 0 0 0

Updated Jul 12, 2019
F

Formal Model for Musical Improvisation / Factor Oracle
GNU General Public License v3.0 only

C++ implementation of the Factor Oracle structure

1

Updated Nov 13, 2019

1 0 0 3

Updated Nov 13, 2019
F

Yasmine Chouikha / first-approach

0

Updated Jan 24, 2023

0 0 0 0

Updated Jan 24, 2023
F

cosyverif / formalisms
GNU General Public License v3.0 only

Standard Formalisms Library for CosyVerif

0

Updated Apr 23, 2024

0 0 0 0

Updated Apr 23, 2024
F

Jorge Garcia flores / formation.node.js

0

Updated May 05, 2022

0 0 0 0

Updated May 05, 2022
F

Daniel Torres / FT-CALU

0

Updated Feb 22, 2021

0 0 0 0

Updated Feb 22, 2021