My list of followership scammers on GitHub.
☆17Jun 20, 2026Updated last month
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.☆27Jun 28, 2026Updated 3 weeks ago
- Continuation on formalizing Principia Mathematica☆22Jul 18, 2026Updated last week
- A reasoning system for large knowledge bases.☆33Updated this week
- ☆12May 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.☆62Jan 26, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Linear Logic for Constructive Mathematics, in Agda☆19Jul 7, 2019Updated 7 years ago
- Metamath logic game☆10Jul 6, 2026Updated 2 weeks ago
- 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) <\>☆23Jun 20, 2025Updated last year
- An educational Python tool that simulates Git commit history by creating timestamped commits across specified timeframes. Demonstrates Gi…☆11Jan 29, 2025Updated last year
- ☆13Updated 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…☆24Jan 6, 2026Updated 6 months ago
- A growable array (vector) implemented as a B-tree☆16Mar 26, 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…☆11May 26, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆16Apr 17, 2024Updated 2 years ago
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆16Oct 28, 2025Updated 8 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☆21Jul 11, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- std::fixed_string☆12Sep 14, 2015Updated 10 years ago
- A simple signup form design made with GunaUI2 Windows forms app template.☆12Jun 26, 2023Updated 3 years ago
- Accurate-Cyber-Defense-Assembly-Tool is a lightweight, high-performance cybersecurity utility developed using Assembly and C programming …☆16Jul 31, 2025Updated 11 months ago
- Tool to decrypt the mysteries of the Elite Dangerous universe☆15Jun 21, 2026Updated last month
- ☆16Sep 29, 2025Updated 9 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 9 months ago
- 8☆11May 24, 2024Updated 2 years ago
- ☆15Jun 21, 2022Updated 4 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.
- 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.☆10Nov 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…☆16Jul 4, 2025Updated last year
- ☆10Jul 23, 2024Updated 2 years ago
- ☆12Jun 20, 2024Updated 2 years ago