Avatar for Roman Andriushchenko from gravatar.com

Roman Andriushchenko

Username    randriu
Date joined   Joined

2 projects

paynt

Last released

PAYNT - Probabilistic progrAm sYNThesizer

umbi

Last released

Library for input/output of transition systems in a unified Markov binary (UMB) format.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page