Pinned

1. pluto pluto Public

   A distributed IMAP server based on Conflict-free Replicated Data Types.

   Go 62 5

2. verification verification Public

   Verification-related documentation and code for pluto.

   Isabelle 1 1

3. infrastructure infrastructure Public

   Configs and infrastructure-related code for pluto.

   Makefile 2

4. benchmark benchmark Public

   Benchmark evaluates response time performance of pluto, Dovecot, and Gmail.

   Go 4 1

5. evaluation evaluation Public

   Collection of test scripts for evaluating pluto's performance compared to Dovecot.

   Go 3 1

6. maildir_tools maildir_tools Public

   Export Maildir file system metrics to Prometheus.

   Go 2 1