isubasinghe

GSearch is a search engine that utilizes inverted indexing for full text search written in go

Formally verified implementation of Paxos for consensus in distributed systems.