Explore projects

T

Marisol Rodriguez / tutoriel

0

Updated Mar 26, 2018

0 0 0 0

Updated Mar 26, 2018
G

AREZKI HAFID / GTM_LIPN

0

Updated Sep 18, 2018

0 1 1 0

Updated Sep 18, 2018
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
T

Joseph Le Roux / test-public

0

Updated Sep 13, 2018

0 0 0 0

Updated Sep 13, 2018
G

Florent FOREST / GTM_LIPN

0

Updated Sep 18, 2018

0 0 0 0

Updated Sep 18, 2018
E

Anthony Coutant / elsa

0

Updated Aug 31, 2019

0 0 0 0

Updated Aug 31, 2019
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
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
T

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

0

Updated Nov 28, 2019

0 0 0 0

Updated Nov 28, 2019
H

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

0

Updated Nov 28, 2019

0 0 0 0

Updated Nov 28, 2019
P

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

0

Updated Apr 09, 2024

0 0 0 0

Updated Apr 09, 2024
L

Camille Coti / LocalOrio
MIT License

0

Updated Apr 04, 2020

0 0 0 0

Updated Apr 04, 2020
S

PMC-SOG / sylvan

Multi-core Decision Diagram (BDD/LDD) implementation

0

Updated Apr 13, 2022

0 0 0

Updated Apr 13, 2022
P

PMC-SOG / pmc-sog

0

Updated Feb 01, 2019

0

Updated Feb 01, 2019
K

Jorge Garcia flores / kilroy-corpus

0

Updated Jan 30, 2024

0 0 0 0

Updated Jan 30, 2024
M

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

1

Updated May 01, 2023

1 0 0 0

Updated May 01, 2023
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
E

Anthony Coutant / elsa-exp

0

Updated Jul 12, 2019

0 0 0 0

Updated Jul 12, 2019
T

Camille Coti / TensorJoseph

0

Updated Apr 23, 2020

0 0

Updated Apr 23, 2020
S

PMC-SOG / SOG ROP

Reduced Symbolic Observation Graph with Ample Set of the partial order reduction

1

Updated Jun 10, 2020

1 0 0 0

Updated Jun 10, 2020