Pinned Repositories
adf-instances
This is a collection of adf instances for various tests
adf-obdd
Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)
adventofcode
AoC 2021
ellmau
Secret feature repository to show the readme page on my account-info site
ellmau.github.io
ellmau.github.io_old
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
gthaka
nixos
nemo
A fast in-memory rule engine.
nemo-web
Web frontend for the Nemo rules engine
ellmau's Repositories
ellmau/adf-obdd
Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)
ellmau/nixos
ellmau/adf-instances
This is a collection of adf instances for various tests
ellmau/adventofcode
AoC 2021
ellmau/ellmau
Secret feature repository to show the readme page on my account-info site
ellmau/ellmau.github.io
ellmau/ellmau.github.io_old
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
ellmau/gthaka