A modular, extensible Discord client
☆10Nov 27, 2021Updated 4 years ago
Alternatives and similar repositories for Corded
Users that are interested in Corded are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatically remove user join messages when the user leaves the server.☆12Jan 9, 2022Updated 4 years ago
- A successor to the Lefi project☆10May 8, 2022Updated 4 years ago
- department of turtles☆20Apr 13, 2026Updated 3 months ago
- A work-in-progress Discord API wrapper written in Python.☆12Jan 7, 2023Updated 3 years ago
- Borderlands 3 / Wonderlands Hotfix Modding☆14Aug 20, 2022Updated 3 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.
- Borderlands 3 Hotfix Archive☆17Aug 8, 2024Updated last year
- Ivory theme for MkDocs☆10Jun 16, 2020Updated 6 years ago
- Discord API wrapper for Python built from scratch☆15May 25, 2023Updated 3 years ago
- discord bot thing☆13Mar 5, 2023Updated 3 years ago
- Sans-io implementation of the (E)SMTP protocol☆18Jul 6, 2026Updated 3 weeks ago
- ☆10Mar 21, 2023Updated 3 years ago
- Type-level list of kinds for PureScript.☆14Nov 17, 2021Updated 4 years ago
- Replacing Python's type system.☆21Jul 7, 2025Updated last year
- ☆17Aug 20, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A cluster operator, manages clustering.☆11Jul 10, 2026Updated 2 weeks ago
- ☆14Nov 23, 2022Updated 3 years ago
- Turn any snippet of code into a hadouken code gif straight from your browser☆18May 22, 2022Updated 4 years ago
- An extremely simple version of world edit for MCPI.☆10Mar 17, 2021Updated 5 years ago
- A tiny "network protocol" built for entertainment, and also to be lightweight enough for a lot of small usecases.☆14Mar 25, 2022Updated 4 years ago
- A Cofunctor is a structure from category theory dual to Functor☆16Apr 29, 2018Updated 8 years ago
- Utility to take screenshots on the Raspberry Pi and save as PNG. Updated to save auto-incremented snapshots to ~/Pictures and to trigger …☆10Feb 3, 2021Updated 5 years ago
- ☆11Mar 10, 2022Updated 4 years ago
- tutorial on Python's type system (always WIP)☆13Jun 15, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Demo for my article, do not use☆11Feb 2, 2025Updated last year
- Source code of the DiscordTools website at https://discordtools.io☆69Mar 28, 2025Updated last year
- A Simple Tool For Modifying MCPI Level Files☆10Aug 10, 2022Updated 3 years ago
- A repo for worlds and servers in mcpi-central☆10Jan 28, 2022Updated 4 years ago
- A modern take on an interpreted scripting language☆11May 8, 2025Updated last year
- Yu-Gi-Oh! Card Search Discord Bot☆10Aug 13, 2023Updated 2 years ago
- Rust implementation of the WTF-8 encoding.☆20Nov 25, 2024Updated last year
- Our code for FRC 2024: CRESCENDO, using Gradle, Wombat, and probably other stuff☆16Jan 16, 2026Updated 6 months ago
- REST-only Discord Interactions implementation☆25Mar 30, 2023Updated 3 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.
- The Yeethon programming language☆13Sep 25, 2022Updated 3 years ago
- ☆10Mar 29, 2018Updated 8 years ago
- Backend for Python Discord forms☆11Mar 26, 2026Updated 4 months ago
- AppData is a Python library to access app data paths based on the operating system the app is running on.☆13Dec 26, 2023Updated 2 years ago
- Evie.☆11Aug 7, 2024Updated last year
- Yet another Discord API wrapper for Python.☆39Dec 20, 2023Updated 2 years ago
- ☆19Oct 3, 2020Updated 5 years ago