Pinned Loading

1. Maximal-Clique-Enumeration Maximal-Clique-Enumeration Public

   Algorithm for detecting maximum cliques in graph

   C 2

2. AP-Email AP-Email Public

   Modern email client designed for managing emails efficiently

   C++

3. CentiCore CentiCore Public

   Financial dashboard application for tracking expenses, managing investment portfolios, and monitoring market performance in real-time.

   C++ 1

4. Advent_of_Code_2025 Advent_of_Code_2025 Public

   C++

5. cvc5 cvc5 Public

   Forked from cvc5/cvc5

   cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

   SMT