https://github.com/chatmail/models

Formal specifications for chatmail
https://github.com/chatmail/models

chatmail email groups specification

Last synced: 11 days ago
JSON representation

Formal specifications for chatmail

• Host: GitHub
• URL: https://github.com/chatmail/models
• Owner: chatmail
• License: 0bsd
• Created: 2024-12-16T09:15:58.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-12-24T15:22:40.000Z (about 1 year ago)
• Last Synced: 2025-06-17T18:51:32.729Z (8 months ago)
• Topics: chatmail, email, groups, specification
• Language: TLA
• Homepage:
• Size: 130 KB
• Stars: 3
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • License: LICENSE

Awesome Lists containing this project