MailChecker is a cross-platform library for determining whether an email address is from a disposable or temporary email provider. It is implemented in 10+ languages (Node.js, PHP, Python, Ruby, Rust, Go, Java, Elixir, Clojure, etc.) via a centralized template-based code generation system. The library's core is a curated blacklist of over 55,000 disposable email domains stored in a plain text file (`list.txt`). Each platform provides a tiny API: `isValid(email)` returns `true` if the email format is valid AND its domain is not in the blacklist, and `blacklist()` to retrieve the domain list. The code generation pipeline (`lib/generator.js`) uses Mustache templates (`*.tmpl.*`) to produce optimized platform-specific code. The repository also includes domain cleanup scripts and comprehensive per-platform tests run in Docker containers. This is a purely application-oriented library; it does not contain data pipelines, ML models, or research artifacts.
Troposphere is a mature, well-established Python library for programmatically generating AWS CloudFormation templates. It provides a rich set of Python classes that map to AWS resource types, allowing developers to define infrastructure as code using familiar Python constructs. The library covers hundreds of AWS services through auto-generated modules derived from the official CloudFormation resource specification, with per-service validators and patches to correct naming conflicts and maintain backward compatibility. Its architecture centers on base classes (AWSObject, AWSProperty, Template) that handle serialization, validation, and CloudFormation intrinsic functions. The project also includes a template generator for converting existing JSON/YAML templates back into Python objects, utility helpers for user data scripts, and optional integration with the awacs library for IAM policy documents. While the core is manually maintained, the vast majority of service modules are auto-generated, necessitating regular regeneration to keep pace with AWS changes. The library is extensively tested with example-based regression tests and unit tests for critical services and validators.