以下是若干流行的英文写作小程序以及它们的简要介绍：

1. 有道写作：网易有道推出的智能英文写作修改和润色工具支持识别100多种错误类型包含语法、拼写、时态等适用于Web端、移动端和Word插件，帮助客户提升英文写作水平。

2. QuillBot：一款由人工智能驱动的英文写作润色修改工具，能帮助学生和专业人士改写、编辑和调整文本语气，增强文章的清晰度和可读性。

3. Grammarly：全球知名的英文语法检查工具，通过技术检测和纠正拼写、语法、标点号等错误，并提供改进建议，适用于多种平台和设备。

4. Ginger：一款综合性的英文写作助手，提供语法检查、拼写检查、句子重写等功能，帮助客户写出更准确、流畅的英文。

5. Hemingway Editor：一款简洁的英文写作工具通过分析文章的难易度、语法结构和用词，帮助使用者改进写作风格，使其更加清晰易懂。

6. Scrivener：一款专为长篇写作设计的工具支持多种文档格式和写作模式，通过辅助提供写作建议，适合撰写论文、书等。

7. Writer：利用技术自动生成文章内容，客户只需输入关键词， Writer就能生成相关内容的英文文章，适用于快速创作和灵感启发。

8. Paperrater：一款在线英文写作评估工具，通过评分系统对文章的语法、拼写、结构等方面实全面评估，提供改进建议。

9. ProWritingd：一款全面的英文写作助手提供语法检查、风格分析、词汇建议等功能，适用于各种英文写作需求。

10. Cohesion：通过分析文章的连贯性和一致性，帮助客户改进落结构，使文章更加连贯。