Competitive programming platform

CD-MOJ

Benchmark simples para algoritmos de ordenação. Envolve conteúdo da disciplina EDA-2 da UnB/FGA

progman.exe^H^H^H^H

Writing a Ph.D. thesis with Org Mode

Python library & console tool for controlling Xiaomi smart appliances

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

Rotate the layout of emacs.

🌍 PDDL instances covering the International Planning Competitions

Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver

⚙️ A conflict-driven nogood learning answer set solver