Avatar for Ernesto Casablanca from gravatar.com

Ernesto Casablanca

Username    TendTo
Date joined   Joined

3 projects

pydlinear

Last released

delta-complete SMT solver for linear theories over the reals

telegram-spotted-dmi-bot

Last released

Telegram-SpottedDMI-Bot is the platform that powers @Spotted_DMI_Bot, a Telegram bot that let students send an anonymous message to the channel community

qclight

Last released

A lightweught quantum computing simulator

Supported by

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