Pinned Loading

1. raspistillWeb raspistillWeb Public

   Little python web interface for raspistill to take photos with the RaspberryPi

   Python 20 11

2. go-pluto/pluto go-pluto/pluto Public

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

   Go 66 5

3. webdnsmasq webdnsmasq Public

   Webinterface for dnsmasq written in Python pyramid

   Python 17 8

4. dos-group/optimistic-failover dos-group/optimistic-failover Public

   Code management for tools and examples for the optimistic failover experiments

   Python 3 1

5. go-pluto/verification go-pluto/verification Public

   Verification-related documentation and code for pluto.

   Isabelle 1 1

6. go-pluto/benchmark go-pluto/benchmark Public

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

   Go 4 1