Pinned Loading

1. ProveMe ProveMe Public

   A Theorem Prover for Propositional Logic

   Java 5 1

2. Cluster-Analysis-with-Deep-Embeddings-and-Contrastive-Learning Cluster-Analysis-with-Deep-Embeddings-and-Contrastive-Learning Public

   Cluster Analysis with Deep Embeddings and Contrastive Learning - https://arxiv.org/abs/2109.12714

   Python 1

3. MapReduce-Framework MapReduce-Framework Public

   MapReduce framework in C++. Supports multi-threading in shared memory models.

   C++ 5

4. Checkers-AI Checkers-AI Public

   Checkers playing agent. The agent uses the Minimax algorithm with alpha beta pruning for playing the next move.

   Java 4 3