My list of followership scammers on GitHub.
☆13Jan 20, 2026Updated 2 months ago
Alternatives and similar repositories for github-followership-scammers
Users that are interested in github-followership-scammers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.☆26Mar 4, 2026Updated 2 weeks ago
- simple repository with python code u can use if u want, i just made it for fun☆10Feb 3, 2025Updated last year
- A reasoning system for large knowledge bases.☆33Jan 5, 2025Updated last year
- ☆11May 10, 2024Updated last year
- A growable array (vector) implemented as a B-tree☆13Jun 14, 2025Updated 9 months ago
- Linear Logic for Constructive Mathematics, in Agda☆19Jul 7, 2019Updated 6 years 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
- Metamath logic game☆10Apr 16, 2025Updated 11 months ago
- An educational Python tool that simulates Git commit history by creating timestamped commits across specified timeframes. Demonstrates Gi…☆12Jan 29, 2025Updated last year
- ⚡ Solutions to coding challenges on HackerRank (Python, Java, C++, SQL, Problem Solving & Math) <\>☆23Jun 20, 2025Updated 9 months ago
- This tool is intended to be used for on target enumeration to gather and exfiltrate information and then to upload tools such as netcat o…☆22Jan 6, 2026Updated 2 months ago
- ☆16Apr 17, 2024Updated last year
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated 2 months ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Aug 31, 2017Updated 8 years ago
- Interactive module that introduces fundamentals of derivatives including the product and chain rule as presented in Calculus I courses☆18Oct 8, 2025Updated 5 months ago
- Polygon triangulation library for Haxe. Ported from https://github.com/mapbox/earcut☆10Dec 18, 2016Updated 9 years ago
- Utility Kit (for C++), stuff missing from std:: namespace☆11Dec 3, 2025Updated 3 months ago
- Effective solutions to hackerrank.com practice problems in C++, python and SQL☆14Jun 27, 2024Updated last year
- std::fixed_string☆12Sep 14, 2015Updated 10 years ago
- Automatically detected Bridge Relays on the Tor Network.☆10Nov 2, 2024Updated last year
- Tool to decrypt the mysteries of the Elite Dangerous universe☆15Mar 16, 2026Updated last week
- ☆15Jun 21, 2022Updated 3 years ago
- ☆12Updated this week
- Kiwi is a multi-backend key-value store written in Go.☆14Nov 19, 2023Updated 2 years ago
- 8☆11May 24, 2024Updated last year
- 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
- Проект для выполнения автоматических действий на github и сбора метрик.☆11Mar 31, 2024Updated last year
- 📍 This repository is where I store my personal ReactJS projects, which I work on as a hobby or experiment☆24Oct 21, 2023Updated 2 years ago
- 6☆12May 24, 2024Updated last year
- 7☆12May 24, 2024Updated last year
- ❗️Who is not following you back on GitHub? ❓❓❓☆13Jun 14, 2023Updated 2 years ago
- This project utilize the YOLOv8 computer vision model to differentiate between parked and moving vehicles, and to monitor pedestrian traf…☆11Apr 16, 2024Updated last year
- A recipe site, but without the ads and 3,000 word essays☆10Jan 12, 2026Updated 2 months ago
- BetterGUI is a Google Script library with the soul purpose of making Google Sheets & Docs better.☆10Feb 24, 2023Updated 3 years ago
- This repository is for the news on Cyprus☆17May 23, 2024Updated last year
- Lean web editor☆133Mar 14, 2026Updated last week
- TEST3☆16May 23, 2024Updated last year
- TESTING☆16May 23, 2024Updated last year