Pinned Repositories
abstract-machine
A simle abstract machine implemented in Java
airbum
an old game developed at uni of bologna
bohos
An old implementation of a small operating system for the virtual machine \numps
cv
cv
deep-learning-project
dprelsym
Search for proofs of Differential privacy looking for the right couplings. The language is very simple for now
gd-lr
logical-foundations-exercises
sym-core-R
simple core R symbolic executor
gpfarina's Repositories
gpfarina/sym-core-R
simple core R symbolic executor
gpfarina/abstract-machine
A simle abstract machine implemented in Java
gpfarina/airbum
an old game developed at uni of bologna
gpfarina/bohos
An old implementation of a small operating system for the virtual machine \numps
gpfarina/cv
cv
gpfarina/deep-learning-project
gpfarina/dprelsym
Search for proofs of Differential privacy looking for the right couplings. The language is very simple for now
gpfarina/gd-lr
gpfarina/logical-foundations-exercises
gpfarina/mlearning-basic
gpfarina/Privacy
gpfarina/TotalUberLyft