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 last month
- A work-in-progress Discord API wrapper written in Python.☆12Jan 7, 2023Updated 3 years ago
- Ivory theme for MkDocs☆10Jun 16, 2020Updated 5 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.
- Discord API wrapper for Python built from scratch☆15May 25, 2023Updated 3 years ago
- discord bot thing☆13Mar 5, 2023Updated 3 years ago
- Type-level list of kinds for PureScript.☆14Nov 17, 2021Updated 4 years ago
- A cluster operator, manages clustering.☆11Apr 27, 2026Updated 3 weeks ago
- Replacing Python's type system.☆21Jul 7, 2025Updated 10 months ago
- ☆10Mar 21, 2023Updated 3 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
- ☆11Mar 10, 2022Updated 4 years ago
- Source code of the DiscordTools website at https://discordtools.io☆68Mar 28, 2025Updated last year
- 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.
- tutorial on Python's type system (always WIP)☆11Mar 17, 2026Updated 2 months ago
- A repo for worlds and servers in mcpi-central☆10Jan 28, 2022Updated 4 years ago
- A Simple Tool For Modifying MCPI Level Files☆10Aug 10, 2022Updated 3 years ago
- Demo for my article, do not use☆11Feb 2, 2025Updated last year
- Yu-Gi-Oh! Card Search Discord Bot☆10Aug 13, 2023Updated 2 years ago
- An extremely simple version of world edit for MCPI.☆10Mar 17, 2021Updated 5 years ago
- Python type-checker written in Rust☆33Jan 3, 2025Updated last year
- ☆19Oct 3, 2020Updated 5 years ago
- Backend for Python Discord forms☆11Mar 26, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Implementation of go's expr in rust☆34May 18, 2026Updated last week
- A Discord utility bot focused all around emotes (Zip download, cloning, etc)☆15Dec 22, 2022Updated 3 years ago
- A simple, easy to follow discord.py tutorial☆23Apr 26, 2022Updated 4 years ago
- A fully type-checked asynchronous ORM wrapped around asyncpg. In the beta stage.☆18Jan 29, 2024Updated 2 years ago
- Has all of the code for the modding tutorial☆26Feb 28, 2020Updated 6 years ago
- Try Pyright in your browser☆21Oct 26, 2023Updated 2 years ago
- An advanced yet easy-to-use clustering tool for Hikari.☆14Oct 11, 2024Updated last year
- Official bot for Web Programming UNPAS discord server☆24Oct 27, 2021Updated 4 years ago
- Ratelimited Discord HTTP API proxy.☆121May 19, 2026Updated last week
- 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.
- ☆14Jan 21, 2022Updated 4 years ago
- Yet another Discord API wrapper for Python.☆39Dec 20, 2023Updated 2 years ago
- An independent, simple to use, powerful framework for creating interaction-based Discord bots. Powered by FastAPI☆38Sep 7, 2022Updated 3 years ago
- An experimental Rust Robotics Framework for FRC☆19Aug 17, 2024Updated last year
- Low-level simple MCPE (v.0.6.1) server framework for Minecraft Pi Edition.☆16Feb 23, 2021Updated 5 years ago
- Lint your ERB or HTML files☆15Feb 15, 2022Updated 4 years ago
- IDE for Lark-Parser☆31Jun 10, 2023Updated 2 years ago