GPL-3.0

Affichage des résultats 1 à 4 sur 4 au total

GPL-3.0 : 1 à 4 sur 4 au total

• Logiciel

  biLSTM pour la reconnaissance de séquences

  YASET

  Mis a jour le : 01-01-2020

  Aurelie Neveol

  En developpement

  GPL-3.0

• Logiciel

  Wrapper for the TreeTagger text annotation tool from H.Schmid

  TreeTaggerWrapper

  Mis a jour le : 01-29-2019

  Laurent Pointal

  En developpement

  GPL-3.0

• Logiciel

  Un logiciel open-source de mathématiques générales

  SageMath

  Mis a jour le : 05-20-2023

  Nicolas Thiery

  En developpement

  GPL-3.0

• Logiciel

  Algebraic combinatorics in Coq

  Coq-Combi

  Mis a jour le : 11-25-2022

  Florent Hivert

  En developpement

  GPL-3.0