Explore projects

Gtk interface for grew

OBSOLETE: The Grew-match tool is now based on a new backend called grew_match_back (https://gitlab.inria.fr/grew/grew_match_back)

OBSOLETE: moved to https://github.com/grew-nlp/amr

OBSOLETE: See https://github.com/grew-nlp/grewpy

Laravel based web interface to run different GRS on a sentence

Separation Logic with Characteristic Formulae Entirely within Coq

Obsolete. replaced by https://github.com/grew-nlp/grew_match_dream

OBSOLETE: the Grew library is now maintained on https://github.com/grew-nlp/grewlib

OBSOLETE: replaced by https://github.com/grew-nlp/grew_web_dream