- Ocampiler, Projeto de Compiladores em Ocaml, Felipe Assad, Jorge Felipe e Thiago Augusto, 2019.1
- Impiler, Projeto de Compiladores em Scala, Arthur Silva, João Pedro Sá e André Pereira, 2018.2
- George Compiler, Projeto de Compiladores em Elixir, Alysson Silva, Fernando Mendes, Phelipe Martins, 2018.1
- Warlock, Projeto de Compiladores em JavaScript, Caio Luz. e Eduardo Ramos, 2018.1
- L-compiler, Projeto de Compiladores em Prolog, Matheus Alves e Guilherme Xavier, Compiladores, 2017.1
- Model Checking, Thiago Augusto Sivirino, Linguagens Formais e Teoria da Computação, 2017.1
- Lógica Combinatória, Mauricio Pires e Rodrigo Lugão, Computabilidade, 2016.2
Page last modified on March 12, 2020, at 06:03 PM