Popular repositories Loading

1. Portfolio-Website Portfolio-Website Public

   Website to Show Coding Portfolio

   HTML

2. LeetCodeProblems LeetCodeProblems Public

   Collection of LeetCode questions - Created using [LeetHub](https://github.com/QasimWani/LeetHub)

   Python

3. K-Nearest-Neighbour K-Nearest-Neighbour Public

   K-Nearest Neighbour from Scratch

   Python

4. Clear_fork Clear_fork Public

   Forked from NethermindEth/Clear

   Interactive formal verification tool for Yul programs

   Lean

5. Logical-Verification-Exercises Logical-Verification-Exercises Public

   Forked from lean-forward/logical_verification_2025

   The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials

   Lean

6. IsabeLLM IsabeLLM Public

   LLM interface for the Isabelle theorem prover

   Python