Jonas Rodrigues's repositories
RPCircuits.jl
Random Projection Circuits
cudd-dpasp
CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/CUDD/html/index.html (intro: https://web.archive.org/web/20150215010018/http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html)
gspn
Computer Science master's thesis on finding maxima of Gaussian Sum-Product Networks (USP 2023)
cudd_David_Kebo_Tutorials
CUDD versions from David Kebo Tutorials
deepproblog
DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate.
pasp
Probabilistic answer set programming
Monty_Hall
Monty Hall with n doors, k goats and T simulations (0 <= k <= n-2) (n >= 2) (T >= 1)
Euclid
Euclid's Algorithm, one of the most beautiful algorithms ever created
filesystem
C implementation of a FAT file system
SimpleFS
Simple File System implementation (mono-user, mono- application, mono-file-edition...)