Software Quality Research Group (SQUARE)
- 2 followers
- Copenhagen, Denmark
- http://square.itu.dk
- wasowski@itu.dk
Pinned Loading
Repositories
- privugger Public
Privugger (/prɪvʌɡə(r)/) is a privacy risk analysis library for python programs. Docs and tutorials: https://itu-square.github.io/privugger/
itu-square/privugger’s past year of commit activity - probros Public
itu-square/probros’s past year of commit activity - symsim Public
SQUARE Symsim is a test-bed for implementing reinforcement learning algorithms, formalizing their correctness properties, and testing them. It is implemented in Scala 3, in purely functional style, and uses property-based testing.
itu-square/symsim’s past year of commit activity - gauss-privug Public
Proof of concept implementation of a Privug backend featuring an exact Bayesian inference engine based on multivariate Gaussian distributions.
itu-square/gauss-privug’s past year of commit activity - causalgraphicalmodels Public Forked from arose13/causalgraphicalmodels
Causal Graphical Models in Python (a fork to fix an incompatibility issue, and obtain a stable repo)
itu-square/causalgraphicalmodels’s past year of commit activity - 2023-foundations-of-probabilistic-programming Public
Website of the PhD course on Foundations of Probabilistic Programming
itu-square/2023-foundations-of-probabilistic-programming’s past year of commit activity - padlock-examples Public
itu-square/padlock-examples’s past year of commit activity - padlock Public
itu-square/padlock’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…