Unofficial repository. Experimentations around menhir parser generator