Beast code in Giters

Stefan Ellmauthaler's repositories

Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)

Language:RustMIT9 4 28

Language:Nix3 3 1

This is a collection of adf instances for various tests

AoC 2021

Language:Rust030

Secret feature repository to show the readme page on my account-info site

000

Language:HTMLMIT000

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:JavaScriptMIT000

000