A pretty sexy Python bot
☆12Feb 11, 2019Updated 7 years ago
Alternatives and similar repositories for paradox
Users that are interested in paradox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This GitHub Repository stores my R Notebooks, allowing GitHub Pages to serve the R Notebooks on my website☆11Oct 23, 2019Updated 6 years ago
- ☆13Sep 27, 2021Updated 4 years ago
- A python bot made to surf MyAnimeList website from discord.☆11Sep 9, 2021Updated 4 years ago
- A NodeJS Revolt library☆10May 26, 2022Updated 4 years ago
- ⚡ Modular and extendable Revolt bot framework.☆15Jun 13, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 👽 The Android App of the Curiosone bot.☆11Mar 21, 2018Updated 8 years ago
- Open, hand-typed notes by HKU students, for HKU students.☆18Sep 5, 2025Updated 11 months ago
- Fork of AWS-S3 with some custom patches. Removes const_missing hacks like the jaf-s3 gem.☆16Jun 6, 2017Updated 9 years ago
- Post Kubernetes pod status updates to multiple services☆11Jul 12, 2018Updated 8 years ago
- This bot allows you change your Discord discriminator!☆11Jan 20, 2021Updated 5 years ago
- Pattern matching and tagged unions in JavaScript without new syntax.☆13Sep 8, 2018Updated 7 years ago
- Your personal chat butler☆18Dec 26, 2022Updated 3 years ago
- Dynamically generated Code::Stats SVGs for your github readmes☆18Jan 20, 2024Updated 2 years ago
- Plot neural networks generated by the Deep Learning library Keras☆18Apr 13, 2017Updated 9 years ago
- 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.
- Discord Version Manager☆10Dec 3, 2017Updated 8 years ago
- ☆19Feb 5, 2022Updated 4 years ago
- Bot that follows everyone who follows the target user(s)☆19Sep 25, 2020Updated 5 years ago
- The bot that's all about manipulation☆14Mar 20, 2021Updated 5 years ago
- Launcher for Microsoft Edge☆13Jun 22, 2016Updated 10 years ago
- Pick a grammar for the current editor☆17Oct 18, 2018Updated 7 years ago
- Decrypts Cheat Engine 'protected' trainers☆19Nov 5, 2015Updated 10 years ago
- Simple and easy to use moderation bot for Discord.☆11Nov 12, 2018Updated 7 years ago
- GitHub Key Verification Helper☆16Jul 23, 2014Updated 12 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- javascript and html files for payment requests. MOVED to https://github.com/spesmilo/electrum-payserver☆13Nov 25, 2025Updated 8 months ago
- A modular, unopinionated, middleware-based Discord bot framework.☆12Feb 12, 2022Updated 4 years ago
- PagerDuty integration for Hubot☆14Oct 19, 2024Updated last year
- ☆16Mar 6, 2024Updated 2 years ago
- fast, efficient, and user-friendly http requests☆77Sep 5, 2018Updated 7 years ago
- XMPP ↔ Discord bridge in Python 3☆14Jan 24, 2022Updated 4 years ago
- A Discourse plugin to login over Discord☆18Sep 15, 2021Updated 4 years ago
- A simple, easy to host, easy to use, multilingual Discord Bot.☆11Sep 2, 2020Updated 5 years ago
- The REST API for Union's backend.☆11May 12, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Simple Ticket Bot made with Discord.js V12. Made by Anson the Developer, full credit goes to him☆20Feb 18, 2022Updated 4 years ago
- Project to build packages that install repos and keyrings☆14Aug 11, 2026Updated last week
- ☆13Dec 8, 2020Updated 5 years ago
- For building TWRP for Samsung Note 5 GSM ONLY☆10Sep 22, 2017Updated 8 years ago
- ☆11Sep 1, 2019Updated 6 years ago
- Const is super useful for writing better code, but don't you sometimes wish you could reassign it?☆21Oct 20, 2021Updated 4 years ago
- Use clicky boi's to assign your server roles☆19Nov 22, 2021Updated 4 years ago