My list of followership scammers on GitHub.
☆13Jan 20, 2026Updated 4 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 month
- A reasoning system for large knowledge bases.☆33Jan 5, 2025Updated last year
- ☆12May 10, 2024Updated 2 years ago
- A growable array (vector) implemented as a B-tree☆16Mar 26, 2026Updated last month
- Linear Logic for Constructive Mathematics, in Agda☆19Jul 7, 2019Updated 6 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.
- Metamath logic game☆10Apr 21, 2026Updated last month
- 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
- An educational Python tool that simulates Git commit history by creating timestamped commits across specified timeframes. Demonstrates Gi…☆11Jan 29, 2025Updated last year
- Solutions to the Incredible Proof Machine http://incredible.pm/☆10Apr 21, 2020Updated 6 years ago
- ⚡ Solutions to coding challenges on HackerRank (Python, Java, C++, SQL, Problem Solving & Math) <\>☆23Jun 20, 2025Updated 11 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…☆23Jan 6, 2026Updated 4 months ago
- ☆16Apr 17, 2024Updated 2 years ago
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated 4 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…☆11May 26, 2025Updated 11 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.
- Interactive module that introduces fundamentals of derivatives including the product and chain rule as presented in Calculus I courses☆18May 4, 2026Updated 2 weeks ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Aug 31, 2017Updated 8 years ago
- Polygon triangulation library for Haxe. Ported from https://github.com/mapbox/earcut☆10Dec 18, 2016Updated 9 years ago
- Effective solutions to hackerrank.com practice problems in C++, python and SQL☆14Jun 27, 2024Updated last year
- Utility Kit (for C++), stuff missing from std:: namespace☆11May 15, 2026Updated last week
- std::fixed_string☆12Sep 14, 2015Updated 10 years ago
- ☆15Jun 21, 2022Updated 3 years ago
- Tool to decrypt the mysteries of the Elite Dangerous universe☆15Apr 19, 2026Updated last month
- ☆12May 17, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Kiwi is a multi-backend key-value store written in Go.☆14Nov 19, 2023Updated 2 years ago
- 8☆11May 24, 2024Updated 2 years ago
- Minimal Core Utils☆10Jun 18, 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 5 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 2 years 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.
- 7☆12May 24, 2024Updated 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 2 years ago
- ❗️Who is not following you back on GitHub? ❓❓❓☆13Jun 14, 2023Updated 2 years ago
- A recipe site, but without the ads and 3,000 word essays☆10Jan 12, 2026Updated 4 months ago
- This repository is for the news on Cyprus☆17May 23, 2024Updated 2 years ago
- 내가만든 포트폴리오 페이지!☆10Nov 12, 2021Updated 4 years ago
- TEST3☆16May 23, 2024Updated 2 years ago