Isabel König-Wingen's repositories
prolog-analyzer
A static analyzer for Prolog
advent-of-code-prolog
Advent of Code in prolog
spacemacs-config
My spacemacs config
Language:Emacs Lisp000
spacemacs.d
My configuration for spacemacs
Language:Emacs Lisp000
STUPS-Toolbox-2.0
a toolbox for visualizing grammars, automatons and pushdown automatons
Language:JavaApache-2.0000