Profile of marcoeilers · PyPI

Some features may not work without JavaScript. Please try enabling it if you encounter problems.

2 projects

nagini

Last released Nov 27, 2025

Static verifier for Python 3, based on Viper.

2vyper

Last released May 18, 2021

Static verifier for Vyper, based on Viper.

Supported by

AWS Cloud computing and Security Sponsor

Datadog Monitoring

Depot Continuous Integration

Google Download Analytics

Pingdom Monitoring

Sentry Error logging

StatusPage Status page