{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"privugger","owner":"itu-square","isFork":false,"description":"Privugger (/prɪvʌɡə(r)/) is a privacy risk analysis library for python programs. Docs and tutorials: <a href=\"https://itu-square.github.io/privugger/\" rel=\"nofollow\">https://itu-square.github.io/privugger/</a>","allTopics":["privacy","data-analytics","quantitative-information-flow"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":20,"starsCount":2,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T16:04:05.749Z"}},{"type":"Public","name":"probros","owner":"itu-square","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":2,"issueCount":2,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-13T09:45:41.616Z"}},{"type":"Public","name":"symsim","owner":"itu-square","isFork":false,"description":"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.","allTopics":["testing","reinforcement-learning","scala"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":10,"issueCount":80,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T11:00:18.447Z"}},{"type":"Public","name":"gauss-privug","owner":"itu-square","isFork":false,"description":"Proof of concept implementation of a Privug backend featuring an exact Bayesian inference engine based on multivariate Gaussian distributions.","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-21T18:49:08.651Z"}},{"type":"Public","name":"causalgraphicalmodels","owner":"itu-square","isFork":true,"description":"Causal Graphical Models in Python (a fork to fix an incompatibility issue, and obtain a stable repo)","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":44,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-15T23:27:55.791Z"}},{"type":"Public","name":"2023-foundations-of-probabilistic-programming","owner":"itu-square","isFork":false,"description":"Website of the PhD course on Foundations of Probabilistic Programming","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-16T17:50:33.420Z"}},{"type":"Public","name":"padlock-examples","owner":"itu-square","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-09T19:08:20.472Z"}},{"type":"Public","name":"padlock","owner":"itu-square","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-03T17:04:10.255Z"}},{"type":"Public","name":"privug-genetic-privacy","owner":"itu-square","isFork":false,"description":"Accompanying notebook of the paper \"Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores\"","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-25T11:40:49.085Z"}},{"type":"Public","name":"statistical-analysis-foss-governance-styles","owner":"itu-square","isFork":false,"description":"Notebook with Bayesian analysis of PR handling data in different FOSS communities","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-01T06:56:02.495Z"}},{"type":"Public","name":"ROS-Dependency-Checkers","owner":"itu-square","isFork":true,"description":"Static bug checkers for ROS packages developed as part of SQUARE research at the IT University of Copenhagen.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-09T20:48:05.933Z"}},{"type":"Public","name":"eba-kernel-bugs","owner":"itu-square","isFork":true,"description":"Submission to VMCAI 2017.","allTopics":[],"primaryLanguage":{"name":"SWIG","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-17T09:44:40.643Z"}},{"type":"Public","name":"eba-legacy","owner":"itu-square","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"SWIG","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-17T12:05:04.007Z"}},{"type":"Public","name":"Rascal-Light","owner":"itu-square","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-10-13T10:09:25.343Z"}},{"type":"Public","name":"quad-ropes","owner":"itu-square","isFork":true,"description":"Ropes meet quad trees on .Net","allTopics":[],"primaryLanguage":{"name":"F#","color":"#b845fc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-10-04T08:22:13.566Z"}},{"type":"Public","name":"c-reconfigurator","owner":"itu-square","isFork":false,"description":"Tool accompanying \"Effective Analysis of C Programs by Rewriting Variability\" ‹Programming› 2017 paper","allTopics":[],"primaryLanguage":{"name":"Xtend","color":"#24255d"},"pullRequestCount":0,"issueCount":4,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-04-28T09:56:11.369Z"}},{"type":"Public","name":"2017-ioannis-ros-bug-database","owner":"itu-square","isFork":true,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-03-03T09:36:09.397Z"}},{"type":"Public","name":"c-reconfigurator-linux-test","owner":"itu-square","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-27T14:50:41.606Z"}},{"type":"Public","name":"c-reconfigurator-test","owner":"itu-square","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-01-09T21:58:12.366Z"}},{"type":"Public","name":"xtc","owner":"itu-square","isFork":true,"description":"The xtc project including SuperC and Kmax","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-25T13:30:37.153Z"}},{"type":"Public","name":"SymexTRON","owner":"itu-square","isFork":false,"description":"Symbolic Executor for the High-Level Transformation Language TRON","allTopics":["scala","transformations","symbolic-execution","model-transformations","program-transformations","tron"],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-31T09:35:14.844Z"}},{"type":"Public","name":"p3-tool","owner":"itu-square","isFork":false,"description":"A reconfigurator tool for fPromela with support for variability abstractions.","allTopics":["abstraction","promela","model-checking","variability-analysis","spin","haskell"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":4,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-09-30T15:51:48.719Z"}},{"type":"Public","name":"FeatherweightVML_Coq","owner":"itu-square","isFork":false,"description":"Formalization of Featherweight VML in Coq","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-11-19T01:59:49.643Z"}},{"type":"Public","name":"quantify_linux_errors","owner":"itu-square","isFork":false,"description":"Quantifying Errors in Linux Kernel","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-22T11:06:08.042Z"}},{"type":"Public","name":"p3-benchmarks","owner":"itu-square","isFork":false,"description":"Benchmarks for `p3-tool`","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-05-04T07:58:50.266Z"}}],"repositoryCount":25,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"itu-square repositories"}