Popular repositories Loading

1. pyVivid pyVivid Public

   pyVivid - a concrete package for heterogeneous natural deduction that combines diagrammatic and symbolic reasoning

   Python 8 1

2. Distributed-Calendar Distributed-Calendar Public

   Distributed Calendar application implemented with Wuu-Bernstein algorithm

   Python 2

3. NLP NLP Public

   Various NLP algorithms

   Python 1

4. Paxos-Distributed-Calendar Paxos-Distributed-Calendar Public

   A distributed calendar application implemented using the Paxos Algorithm

   Python 1

5. KnightsAndKnavesSolver KnightsAndKnavesSolver Public

   A solver for knights and knaves logic puzzles

   Python 1 2

6. Eng-DCEC Eng-DCEC Public

   Forked from naveensundarg/Eng-DCEC

   Python