Explore @itu-square Open Source projects

Software Quality Research Group (SQUARE) (@itu-square)

itu-square

Stars
16
Global Org. Rank 129,804 (Top 42 %)
Registered over 7 years ago
Most used languages

Scala
33.3 %

Xtend 16.7 %

Haskell
16.7 %

Python
16.7 %

HTML
16.7 %
Location 🇩🇰 Denmark
Country Total Rank 3,215
Country Ranking

Xtend 4

Scala
27

Haskell
49

HTML
798

Python
1,237

2023-foundations-of-probabilistic-programming

Website of the PhD course on Foundations of Probabilistic Programming

p3-tool

A reconfigurator tool for fPromela with support for variability abstractions.

privugger

Privugger (/prɪvʌɡə(r)/) is a privacy risk analysis library for python programs. Docs and tutorials: https://itu-square.github.io/privugger/

symsim

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.

c-reconfigurator

Tool accompanying "Effective Analysis of C Programs by Rewriting Variability" ‹Programming› 2017 paper

SymexTRON

Symbolic Executor for the High-Level Transformation Language TRON

quantify_linux_errors

Quantifying Errors in Linux Kernel