A simple Discord bot to change username's colors by replacing their roles
☆16Oct 25, 2022Updated 4 years ago
Alternatives and similar repositories for colorole-pp
Users that are interested in colorole-pp 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 multi-stage graph neural network classification pipeline for protein meshes.☆14Oct 20, 2025Updated last year
- Django API for CS426 Mobile Project☆19Sep 19, 2023Updated 3 years ago
- UNet-HoVerGNN: Structured Graph Integration into HoVerNet for Enhanced Nuclei Segmentation and Classification☆18Mar 4, 2026Updated 8 months ago
- The Missing Semester of Your CS Education 📚 - Bản Tiếng Việt☆17Jan 21, 2026Updated 9 months ago
- AutoDoc is a mobile app for iOS and Android for medical purpose that helps you chat with an automated general practice doctor and get a q…☆10Jan 19, 2020Updated 6 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.
- Examples for OCaml libraries, prior to upstreaming☆11Jul 4, 2025Updated last year
- The blast fragment segmentation track of the GDGoC HCMUS AI Challenge 2025☆13Jul 23, 2025Updated last year
- PyTorch inference script for TransNetV2☆36May 20, 2026Updated 5 months ago
- Translation project for Obinslab Starter☆37Dec 31, 2021Updated 4 years ago
- ☆19May 23, 2026Updated 5 months ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆33Feb 22, 2021Updated 5 years ago
- Script and library to wait for a DNS authority server to get its configuration.☆15Oct 21, 2021Updated 5 years ago
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 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.
- ☆12Sep 17, 2026Updated last month
- Verified algorithms in Lean, implemented and proved by AIs☆12Apr 28, 2026Updated 6 months ago
- A discord bot which helps speed up migration VOJ problems to Codeforces by using polygon, codeforces APIs.☆21Aug 20, 2022Updated 4 years ago
- Official implementation of DGDNN: Decoupled graph diffusion neural network for stock movement prediction. 16th International Conference o…☆22May 12, 2026Updated 5 months ago
- Implementation of the defer statement in C, using nonstandard extensions☆26May 19, 2021Updated 5 years ago
- Source code for all my competitive programming activities☆13Dec 28, 2024Updated last year
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Video-based gait analysis for assessing Alzheimer’s Disease and Dementia with Lewy Bodies☆20Jul 5, 2024Updated 2 years ago
- Run Scratch from command line☆18May 31, 2026Updated 5 months 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.
- A longtime needed iterator for C++ STL std::bitset<N>☆11Feb 7, 2019Updated 7 years ago
- The third iteration of the Lavender programming language, implemented in Rust.☆12Apr 17, 2021Updated 5 years ago
- High performance, low latency market trading application written in C++☆20Jan 5, 2025Updated last year
- SQL parser (as understood by SQLite)☆36Feb 13, 2026Updated 8 months ago
- Compiler for a very restricted subset of OCaml☆26Jan 4, 2016Updated 10 years ago
- ☆13Apr 22, 2025Updated last year
- Wasm examples, brought to you by humans!☆16Jan 7, 2021Updated 5 years ago
- A tool for building Lean4 .olean files from Lean3 export data☆11Jul 28, 2021Updated 5 years ago
- ilo pali is a RISC V operating system featuring a microkernel.☆10Jul 4, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Creates a list of possible write-outs by combining your theory and a list of words, and their pronunciation/morphology☆13Sep 2, 2026Updated 2 months ago
- This is a project that translates a .pdf file, preserving the original layout of that .pdf file. [UPDATED] We have achieved the Second Pr…☆123Nov 15, 2024Updated last year
- ☆16Oct 19, 2023Updated 3 years ago
- ☆15Updated this week
- A project which aim to help engineers to make proves easily☆14Mar 3, 2022Updated 4 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 4 years ago
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago