Repositorio para analizar y visualizar expresiones lógicas utilizando gramáticas. Incluye configuración para ejecutar en GitHub Codespaces.

Test application using the new Mozart VM

Mozart Programming System v2

An interface to make the Gecode constraint library friendly for interpreted languages.

Relation constraints applied to music composition

A library and set of tools to manipulat kcudf documents

A parser for Cudf documents

A cleaner version of the literate starter kit based on Emacs24

Master repository for the cprel and related tools

A calendar framework for Emacs