Add your approaches for DSA problems in leetcode , here some solutions are mine add yours too
☆47Feb 3, 2026Updated 3 months ago
Alternatives and similar repositories for Leetcode
Users that are interested in Leetcode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository is made for the purpose of Hacktoberfest-2024 to promote open source contributions☆10Oct 26, 2024Updated last year
- Metamath logic game☆10Apr 21, 2026Updated last month
- Solutions to the Incredible Proof Machine http://incredible.pm/☆10Apr 21, 2020Updated 6 years ago
- Star˗ˏˋ ★ ˎˊ˗ this repo......... contribute to following repos as this repo is excluded................................ 1st) https…☆29Oct 3, 2025Updated 7 months ago
- ☆11Oct 29, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆42Jan 1, 2026Updated 4 months ago
- Tool to decrypt the mysteries of the Elite Dangerous universe☆15Apr 19, 2026Updated last month
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 7 years ago
- A .tex file to use in the math discord☆15Dec 10, 2025Updated 5 months ago
- ❗️Who is not following you back on GitHub? ❓❓❓☆13Jun 14, 2023Updated 2 years ago
- How to Participate in Hacktoberfest 2025: Rewards, Repos & Beginner’s Guide☆50Oct 11, 2025Updated 7 months ago
- A web based markdown (md) to html converter☆18Apr 2, 2021Updated 5 years ago
- A status monitor for Elite Dangerous, written in PHP. Designed for 1080p screens in the four-panel-view in panel.php, and for 7 inch scre…☆31May 20, 2021Updated 5 years ago
- ☆47Mar 12, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆28Nov 15, 2025Updated 6 months ago
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated 4 months ago
- Android Studio some beginner notes and codes are available in this repo .☆61Oct 18, 2022Updated 3 years ago
- Solve given DSA problems here for hactoberfest.☆27Jan 9, 2025Updated last year
- Fitch style proof constructor☆28Feb 17, 2023Updated 3 years ago
- ☆40Jun 20, 2020Updated 5 years ago
- A reasoning system for large knowledge bases.☆33Jan 5, 2025Updated last year
- Spray converter for Source games with fading and animation support☆41May 5, 2024Updated 2 years ago
- Helixque is a professional real time video chat application that pairs people based on their preferences. It uses WebRTC for secure, low …☆79Jan 26, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆51Apr 6, 2026Updated last month
- SVG document object model in C++☆49Apr 28, 2026Updated 3 weeks ago
- Turing complete with a stack of 0xdeadbeef☆48May 1, 2026Updated 2 weeks ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆53Nov 23, 2023Updated 2 years ago
- Star˗ˏˋ ★ ˎˊ˗ this repo......... contribute to following repos as this repo is excluded......................................... 1st) htt…☆79Oct 1, 2025Updated 7 months ago
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆74Sep 8, 2020Updated 5 years ago
- Readings on computational logic, interactive theorem proving and functional programming.☆93Updated this week
- Selected 420 coding questions for fresher's placement prep☆83Jun 15, 2022Updated 3 years ago
- https://startconnect-hub.netlify.app/☆73Feb 23, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆352Oct 31, 2025Updated 6 months ago
- Notes on "Programming with C and C++"☆98Jan 7, 2024Updated 2 years ago
- Lean web editor☆139May 14, 2026Updated last week
- It's time to contribute to HacktoberFest 2024 :)☆124Oct 30, 2024Updated last year
- Annoying Submit Button in React. Give a ⭐️ if you have liked this project and want to support it !☆164Apr 10, 2026Updated last month
- This repository aims to help code beginners with their first successful pull request and open source contribution. 🥳🎯🚀☆135Oct 2, 2024Updated last year
- Cookiecutter Pathway is a framework for jumpstarting production-ready Pathway projects quickly.☆282Feb 6, 2024Updated 2 years ago