Skip to main content
Avatar for ianamason from gravatar.com

  ianamason

  Joined on May 31, 2016

5 projects

wllvm

Last released on May 13, 2018

Whole Program LLVM

yices

Last released on Oct 4, 2017

Python Bindings for the Yices SMT Solver

wholly

Last released on Aug 25, 2017

Wholly

razor

Last released on Nov 29, 2016

The OCCAM saga

PLambda

Last released on Nov 15, 2016

The PLambda language

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging CloudAMQP CloudAMQP RabbitMQ AWS AWS Cloud computing Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page