Pinned Repositories
bnlearn
:exclamation: This is a read-only mirror of the CRAN R package repository. bnlearn — Bayesian Network Structure Learning, Parameter Learning and Inference. Homepage: https://www.bnlearn.com/
n-queens-sat
NaturalComputingProject
The code and pdf of our project for Natural Computing At Radboud University
propositional-normalizer
event-struct
Mechanized Theory of Event Structures
NaturalComputingProject
The code and pdf of our project for Natural Computing At Radboud University
okasaki
Coq library to deal with purely functional data structures
dmitromikh's Repositories
dmitromikh/bnlearn
:exclamation: This is a read-only mirror of the CRAN R package repository. bnlearn — Bayesian Network Structure Learning, Parameter Learning and Inference. Homepage: https://www.bnlearn.com/
dmitromikh/n-queens-sat
dmitromikh/NaturalComputingProject
The code and pdf of our project for Natural Computing At Radboud University
dmitromikh/propositional-normalizer