Discover itu-square/symsim Open Source project

Stars
2
Language
Scala
License
Apache License 2.0
Created almost 4 years ago
Updated 9 months ago

itu-square

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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.

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.

Haskell

privugger

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

Python

c-reconfigurator

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

Xtend

SymexTRON

Symbolic Executor for the High-Level Transformation Language TRON

Scala

quantify_linux_errors

Quantifying Errors in Linux Kernel

HTML

itu-square/symsim

itu-square

Reviews

Repository Details

More Repositories