GitHub repository: rafoo/flycheck-dedukti
Primary language: Emacs Lisp
Description: Flycheck integration for the dedukti language