The Writings of Leslie Lamport

https://lamport.azurewebsites.net/pubs/pubs.html

and Primary-Backup Replication Computer Science and State Machines Reconfiguring a State Machine Stoppable Paxos Temporal Logic: The Lesser of Three Evils Verifying Safety Propert

NLnet; All projects

https://nlnet.nl/project/

energy efficient data replication and verification Librecast Studio NGI0 Commons Fund 2025 Community platform for multimedia collaboration and events LibreCellular NGI0 PET 2020 2

Build your own Search Engine

http://wiby.me/about/guide.html

index across multiple replication servers or across duplicate server connections, returning a list of top results from each connection, then searching the combined list to ensure
The source code and instructions to create your own version of Wiby.

Find more...