My list of followership scammers on GitHub.
☆17Jul 29, 2026Updated 2 weeks 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.☆27Updated this week
- Continuation on formalizing Principia Mathematica☆22Aug 4, 2026Updated last week
- A reasoning system for large knowledge bases.☆33Jul 21, 2026Updated 3 weeks ago
- ☆11May 10, 2024Updated 2 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆63Jan 26, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Linear Logic for Constructive Mathematics, in Agda☆19Jul 7, 2019Updated 7 years ago
- Metamath logic game☆10Updated this week
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Jun 15, 2026Updated last month
- ⚡ Solutions to coding challenges on HackerRank (Python, Java, C++, SQL, Problem Solving & Math) <\>☆22Jun 20, 2025Updated last year
- An educational Python tool that simulates Git commit history by creating timestamped commits across specified timeframes. Demonstrates Gi…☆10Jan 29, 2025Updated last year
- ☆12Updated this week
- 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 7 months ago
- A growable array (vector) implemented as a B-tree☆16Mar 26, 2026Updated 4 months ago
- ☆16Apr 17, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 🍃 🅰️ 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 last year
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆17Oct 28, 2025Updated 9 months ago
- Effective solutions to hackerrank.com practice problems in C++, python and SQL☆14Jun 27, 2024Updated 2 years ago
- Kiwi is a multi-backend key-value store written in Go.☆14Nov 19, 2023Updated 2 years 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☆11May 15, 2026Updated 2 months ago
- Interactive module that introduces fundamentals of derivatives including the product and chain rule as presented in Calculus I courses☆18Jun 17, 2026Updated last month
- 1990s-style graphical effects for MS-DOS☆10Sep 25, 2024Updated last year
- Rebuilding FIFA's World Cup Match Momentum chart with an exponential-decay threat model in Python☆22Jul 11, 2026Updated last month
- 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.
- std::fixed_string☆12Sep 14, 2015Updated 10 years ago
- A simple signup form design made with GunaUI2 Windows forms app template.☆11Jun 26, 2023Updated 3 years ago
- Accurate-Cyber-Defense-Assembly-Tool is a lightweight, high-performance cybersecurity utility developed using Assembly and C programming …☆15Jul 31, 2025Updated last year
- Tool to decrypt the mysteries of the Elite Dangerous universe☆15Updated this week
- ☆16Sep 29, 2025Updated 10 months ago
- Minimal Core Utils☆10Jun 18, 2024Updated 2 years ago
- GMonchain is on a mission to simplify the world of blockchain for newcomers, especially those joining the Farcaster ecosystem.☆19Oct 1, 2025Updated 10 months ago
- 8☆11May 24, 2024Updated 2 years ago
- ☆15Jun 21, 2022Updated 4 years 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.
- World map Shortest Path Dijkstra Optimized using priority queue☆10Feb 10, 2023Updated 3 years ago
- Проект для выполнения автоматических действий на github и сбора метрик.☆11Mar 31, 2024Updated 2 years ago
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 8 years ago
- Automatically detected Bridge Relays on the Tor Network.☆11Nov 2, 2024Updated last year
- Chess WebApp Single Player is a feature-rich chess application featuring real-time clocks, selectable ELO-based AI difficulty (using Stoc…☆15Jul 4, 2025Updated last year
- ☆10Jul 23, 2024Updated 2 years ago
- ☆12Jun 20, 2024Updated 2 years ago