☆31Jun 27, 2026Updated last week
Alternatives and similar repositories for bot
Users that are interested in bot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A .tex file to use in the math discord☆16Dec 10, 2025Updated 6 months ago
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Jun 15, 2026Updated 3 weeks ago
- ☆13May 22, 2024Updated 2 years ago
- My list of followership scammers on GitHub.☆18Jun 20, 2026Updated 2 weeks ago
- Hacky code to launch our old versions from the new launcher!☆10Aug 25, 2020Updated 5 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.
- ☆11Aug 28, 2025Updated 10 months ago
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 8 years ago
- My project for the Wolfram Summer Camp 2019☆15Jul 12, 2019Updated 6 years ago
- ☆15May 3, 2024Updated 2 years ago
- Theory of Computing Report☆14Jun 2, 2026Updated last month
- A single header C++ wasm frontend library leveraging Emscripten☆39Aug 9, 2024Updated last year
- Monorepo for challenges, infra, and theming for UIUCTF 2024 (https://2024.uiuc.tf/)☆17Jul 14, 2024Updated last year
- Little godot-made mp3 player!☆13Dec 17, 2023Updated 2 years ago
- Representing DES in Z3☆16Jul 14, 2023Updated 2 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.
- Touch camera for Bevy that supports drag and pinch to zoom☆13Feb 21, 2024Updated 2 years ago
- Docker container that creates an easy authentication system with UIUC's Shibboleth Identity Provider☆10Feb 2, 2025Updated last year
- The website for ACM@UIUC☆11Jun 29, 2026Updated last week
- A Demo for real-time voice conversion based on Mel-GAN☆12Sep 13, 2021Updated 4 years ago
- Cowsay for Discord!☆15Nov 28, 2023Updated 2 years ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17May 7, 2026Updated 2 months ago
- terminaldweller's IRC bot☆18May 22, 2026Updated last month
- Blog de la comunidad en Español, promovemos el contenido de la comunidad e integramos el contenido oficial☆15Updated this week
- LoL Account Manager v2.0.2 is an account storing utility program for people who play on multiple League of Legends accounts within differ…☆11Feb 15, 2022Updated 4 years ago
- 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.
- Notes and Assignments for Discrete Mathematics I☆14Oct 3, 2023Updated 2 years ago
- Easy to use Discord-bot framework.☆11Jun 20, 2021Updated 5 years ago
- A (proof of concept) plugin allowing users to delete and edit chat messages☆11Jul 30, 2022Updated 3 years ago
- General programming algorithms in C++ (baked to perfection), enjoy.☆10Dec 2, 2025Updated 7 months ago
- ☆14May 6, 2022Updated 4 years ago
- New home for LaTeX package bundle thmtools☆21Nov 4, 2024Updated last year
- CMake template for a simple D++ bot.☆10Aug 28, 2025Updated 10 months ago
- A Simple example that shows how to connect with discord gateway and make API requests.☆14Mar 15, 2024Updated 2 years ago
- The old version of a project for starting and sending commands to Minecraft Servers via a web interface.☆18Jul 27, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Playlistcreation tool for mpv.☆12Oct 13, 2022Updated 3 years ago
- Intelligent Document Processing with AWS AI/ML, published by Packt☆12Apr 22, 2026Updated 2 months ago
- Reference repository on Lattice-based Cryptography☆27Oct 22, 2024Updated last year
- ☆13Dec 25, 2025Updated 6 months ago
- Fitch style proof constructor☆29Feb 17, 2023Updated 3 years ago
- A certain word game but in the terminal.☆19Jan 29, 2024Updated 2 years ago
- C-API library for CLP, CBC, and CGL☆21Nov 16, 2022Updated 3 years ago