Pinned Repositories
bayes-to-cnf
Encode Bayesian Networks into Conjunctive Normal Form
bddc
Implementation of multi-core (binary) decision diagrams
bn-to-cnf
Bayesian Network to Conjunctive Normal Form compiler
cumodoro
Curses interface to pomodoro timer
dotfiles
gpm
General purpose makefile for C and C++ projects, producing colored errors and warnings.
multidef
How to have multiple implementations of the same c++ class function
quine-mccluskey
A parallel implementation of the Quine-McCluskey Algorithm
vimgdb
Use Vim to visually step through source code with GNU Gdb.
wmc
Bayesian Network Weighted Model Counting tools
gisodal's Repositories
gisodal/vimgdb
Use Vim to visually step through source code with GNU Gdb.
gisodal/cumodoro
Curses interface to pomodoro timer
gisodal/gpm
General purpose makefile for C and C++ projects, producing colored errors and warnings.
gisodal/bayes-to-cnf
Encode Bayesian Networks into Conjunctive Normal Form
gisodal/wmc
Bayesian Network Weighted Model Counting tools
gisodal/dotfiles
gisodal/multidef
How to have multiple implementations of the same c++ class function
gisodal/quine-mccluskey
A parallel implementation of the Quine-McCluskey Algorithm
gisodal/bddc
Implementation of multi-core (binary) decision diagrams
gisodal/bn-to-cnf
Bayesian Network to Conjunctive Normal Form compiler
gisodal/cmake-superbuild
A minimal cmake superbuild example that rebuilds on source change
gisodal/concurrentqueue
A fast multi-producer, multi-consumer lock-free concurrent queue for C++11
gisodal/daoopt
gisodal/dlib
A toolkit for making real world machine learning and data analysis applications in C++
gisodal/docker-postfix-dovecot
Simple mailserver with postfix and dovecot, based on alpine linux and docker
gisodal/exception
C++ hierarchical string exceptions with sprintf functionality
gisodal/gdbskipstl
Prevent GDB from stepping into STL headers
gisodal/highrestimer
Easy to use, high resolution timer using chrono (one C++ header)
gisodal/IntelliJ-cfg
Editor configuration of IntelliJ (scala IDE)
gisodal/myhandbrake
Encode DVDs and other media with HandBrake CLI using sensible presets
gisodal/paragnosis
gisodal/paragnosis-documentation
gisodal/radboudbeamertemplate
Radboud University LaTeX presentation template
gisodal/readerwriterqueue
A fast single-producer, single-consumer lock-free queue for C++
gisodal/texmake
A makefile that compiles LaTeX projects
gisodal/v73
2017 Workshop on Advanced Methodologies for Bayesian Networks