Pinned Repositories
advent-of-code-kotlin
advent-of-code-prolog
Advent of Code in prolog
prolog-analyzer
A static analyzer for Prolog
spacemacs-config
My spacemacs config
spacemacs.d
My configuration for spacemacs
STUPS-Toolbox-2.0
a toolbox for visualizing grammars, automatons and pushdown automatons
isabelwingen's Repositories
isabelwingen/prolog-analyzer
A static analyzer for Prolog
isabelwingen/advent-of-code-kotlin
isabelwingen/advent-of-code-prolog
Advent of Code in prolog
isabelwingen/spacemacs-config
My spacemacs config
isabelwingen/spacemacs.d
My configuration for spacemacs
isabelwingen/STUPS-Toolbox-2.0
a toolbox for visualizing grammars, automatons and pushdown automatons