Add your approaches for DSA problems in leetcode , here some solutions are mine add yours too
☆47Feb 3, 2026Updated last month
Alternatives and similar repositories for Leetcode
Users that are interested in Leetcode are comparing it to the libraries listed below
Sorting:
- Metamath logic game☆10Apr 16, 2025Updated 11 months ago
- My list of followership scammers on GitHub.☆13Jan 20, 2026Updated 2 months ago
- Utility Kit (for C++), stuff missing from std:: namespace☆11Dec 3, 2025Updated 3 months ago
- std::fixed_string☆12Sep 14, 2015Updated 10 years ago
- A .tex file to use in the math discord☆14Dec 10, 2025Updated 3 months ago
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 7 years ago
- ❗️Who is not following you back on GitHub? ❓❓❓☆13Jun 14, 2023Updated 2 years ago
- ☆21Jul 24, 2023Updated 2 years ago
- Plugin for Elite: Dangerous market connector that automatically insert systems to clipboard☆15Mar 22, 2021Updated 4 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 4 years ago
- ☆25Nov 15, 2025Updated 4 months ago
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated 2 months ago
- A DADA Virus to confuse people☆33Apr 20, 2016Updated 9 years ago
- Fitch style proof constructor☆28Feb 17, 2023Updated 3 years ago
- An automatic neutron route plotter for Elite Dangerous☆30Updated this week
- ☆37Jun 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☆40May 5, 2024Updated last year
- Amtsprache ist Deutsch☆32Aug 16, 2023Updated 2 years ago
- SVG document object model in C++☆49Nov 6, 2025Updated 4 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆59Jan 26, 2024Updated 2 years ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆52Nov 23, 2023Updated 2 years 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
- Simple Python script to decode and verify an European Health Certificate QR-code☆59Oct 1, 2022Updated 3 years ago
- Readings on computational logic, interactive theorem proving and functional programming.☆86Updated this week
- Numerical computation in native Haskell☆94Jan 16, 2026Updated 2 months ago
- ESP32 MFA Authenticator☆115Dec 7, 2025Updated 3 months ago
- Lean web editor☆133Updated this week
- The Random Disco Light Simulator is a fun and interactive project that brings the excitement of a disco dance floor to your screen whethe…☆59Jan 18, 2025Updated last year
- Visualization of different sorting algorithms in C++ with SDL2 Library.☆135Aug 24, 2022Updated 3 years ago
- This is a simple web project that is made with an aim to learn about canvas element of html. Now, this project is open to all of the amaz…☆77Oct 10, 2025Updated 5 months ago
- Explore the world of JavaScript through practical output-based questions☆127Mar 2, 2026Updated 2 weeks ago
- SVG rendering library in C++☆209Nov 6, 2025Updated 4 months ago
- Tree Proof Generator☆182Jan 12, 2026Updated 2 months ago
- Metamath Zero specification language☆381Updated this week
- Metamath source file for logic and set theory☆305Updated this week
- Coriolis Shipyard for Elite Dangerous☆276Mar 1, 2026Updated 2 weeks ago
- The Vampire Theorem Prover☆404Updated this week
- 🚀 Welcome🌈 , This repo is officially accepted for🌟 KWOC 2025 🌟SWOC'26🌟This repo contains my project on Travel Website ✈️ using HTML,…☆453Jan 4, 2026Updated 2 months ago