Pinned Repositories
ML18
cudd
An unofficial mirror of the CUDD decision diagrams package
dotfiles
hello-world
SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.
SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.
language-technology-collaboration
Repository used for collaborating on University of Groningen Language Technology course final project.
a9_fake_news_simulator
Simulation project for the course Design of Multi-agent Systems (2019-2020) in Rijksuniversiteit Groningen
DeepLearning_Pract2
2nd practical of deep learning course
dushiel's Repositories
dushiel/cudd
An unofficial mirror of the CUDD decision diagrams package
dushiel/dotfiles
dushiel/hello-world
dushiel/SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.