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.☆26Apr 4, 2026Updated last week
- 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☆16Mar 26, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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☆10Updated this week
- 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 3 months ago
- ☆16Apr 17, 2024Updated last year
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated 3 months ago
- 🍃 🅰️ This project is a web application developed as an academic project. The goal is to create a system for efficiently managing a trai…☆10May 26, 2025Updated 10 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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 6 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 4 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
- Tool to decrypt the mysteries of the Elite Dangerous universe☆15Apr 5, 2026Updated last week
- ☆15Jun 21, 2022Updated 3 years ago
- ☆13Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Kiwi is a multi-backend key-value store written in Go.☆14Nov 19, 2023Updated 2 years ago
- 8☆11May 24, 2024Updated last year
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 7 years ago
- Проект для выполнения автоматических действий на github и сбора метрик.☆11Mar 31, 2024Updated 2 years ago
- A .tex file to use in the math discord☆15Dec 10, 2025Updated 4 months ago
- Automatically detected Bridge Relays on the Tor Network.☆10Nov 2, 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ❗️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 3 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
- 내가만든 포트폴리오 페이지!☆10Nov 12, 2021Updated 4 years ago
- Lean web editor☆134Updated this week