Avatar for Roman Andriushchenko from gravatar.com

Roman Andriushchenko

Username    randriu
Date joined   Joined

2 projects

umbi

Last released

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

paynt

Last released

PAYNT - Probabilistic progrAm sYNThesizer

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