Add your approaches for DSA problems in leetcode , here some solutions are mine add yours too
☆48Feb 3, 2026Updated 4 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:
- Metamath logic game☆10Apr 21, 2026Updated last month
- A responsive job portal built with HTML, CSS, and JavaScript. Allows users to browse job listings, search by keyword, and apply with a si…☆18Oct 19, 2025Updated 7 months ago
- Solutions to the Incredible Proof Machine http://incredible.pm/☆10Jun 2, 2026Updated last week
- ProjectHive is your ultimate Hacktoberfest playground! Domain-wise mini-projects, starter templates, and roadmaps await. Contribute, lear…☆27Nov 2, 2025Updated 7 months ago
- Utility Kit (for C++), stuff missing from std:: namespace☆11May 15, 2026Updated 3 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- std::fixed_string☆12Sep 14, 2015Updated 10 years ago
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 7 years ago
- How to Participate in Hacktoberfest 2025: Rewards, Repos & Beginner’s Guide☆50Oct 11, 2025Updated 7 months ago
- ☆22Dec 23, 2023Updated 2 years ago
- A web based markdown (md) to html converter☆18Apr 2, 2021Updated 5 years ago
- Plugin for Elite: Dangerous market connector that automatically insert systems to clipboard☆14Mar 22, 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
- List of competitions that a CSE Student of Bangladesh can attend in undergrad☆25Apr 2, 2024Updated 2 years ago
- “A platform that converts coding interview problems into structured learning paths.”☆31May 16, 2026Updated 3 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Hacktoberfest 2025 OPEN FIRST Pull Request☆52Oct 20, 2025Updated 7 months ago
- Fitch style proof constructor☆28Feb 17, 2023Updated 3 years ago
- A tiled DeepDream project for creating any size of image, on both CPU and GPU☆41Jan 27, 2021Updated 5 years ago
- A reasoning system for large knowledge bases.☆33Jan 5, 2025Updated last year
- Helixque is a professional real time video chat application that pairs people based on their preferences. It uses WebRTC for secure, low …☆78Jan 26, 2026Updated 4 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆51Apr 6, 2026Updated 2 months ago
- Turing complete with a stack of 0xdeadbeef☆48Jun 1, 2026Updated last week
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆60Jan 26, 2024Updated 2 years ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆53Nov 23, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- This Repository contains the codes solutions for the gfg problems in c++ language☆36May 4, 2025Updated last year
- Star˗ˏˋ ★ ˎˊ˗ this repo......... contribute to following repos as this repo is excluded......................................... 1st) htt…☆78Oct 1, 2025Updated 8 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…☆75Sep 8, 2020Updated 5 years ago
- This Repository for Hacktoberfest Fest 2022. Contribute anything for your T-shirt, must be relevant that can add some value to this repo.☆119Dec 2, 2023Updated 2 years ago
- Readings on computational logic, interactive theorem proving and functional programming.☆94Jun 3, 2026Updated last week
- Numerical computation in native Haskell☆94Jan 16, 2026Updated 4 months ago
- Selected 420 coding questions for fresher's placement prep☆84Jun 15, 2022Updated 3 years ago
- ☆351Oct 31, 2025Updated 7 months ago
- ☆97Feb 12, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Lean web editor☆141May 28, 2026Updated last week
- GAPT: General Architecture for Proof Theory☆110May 22, 2026Updated 2 weeks ago
- Visualization of different sorting algorithms in C++ with SDL2 Library.☆135Aug 24, 2022Updated 3 years ago
- Helping Commanders explore and colonise Elite Dangerous through contextual overlays and more.☆150May 26, 2026Updated 2 weeks ago
- ☆120Jan 14, 2025Updated last year
- Explore the world of JavaScript through practical output-based questions☆136Mar 2, 2026Updated 3 months ago
- Notes of live classes☆170Sep 15, 2021Updated 4 years ago