La cátedra trabaja con los siguientes lenguajes a lo largo de la cursada:
Haskell para trabajar en un lenguaje del paradigma funcional.
Prolog para trabajar en un lenguaje del paradigma lógico.
Complementariamente, se usa la plataforma de aprendizaje Mumuki
Como sistema de versionado, se utiliza Github