Software Quality Research Group (SQUARE)
- 2 followers
- Copenhagen, Denmark
- http://square.itu.dk
- wasowski@itu.dk
Pinned Loading
Repositories
- 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 - privug-genetic-privacy Public
Accompanying notebook of the paper "Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores"
itu-square/privug-genetic-privacy’s past year of commit activity - statistical-analysis-foss-governance-styles Public
Notebook with Bayesian analysis of PR handling data in different FOSS communities
itu-square/statistical-analysis-foss-governance-styles’s past year of commit activity
