jalsol/colorole-pp external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

jalsol/colorole-pp

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/jalsol/colorole-pp)

Close

jalsol / colorole-ppView on GitHubMore

• External links
• Readme badge

A simple Discord bot to change username's colors by replacing their roles

☆16Oct 25, 2022Updated 3 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.

• missing-semester-vn / missing-semester-vn.github.io

  View on GitHub
  The Missing Semester of Your CS Education 📚 - Bản Tiếng Việt
  ☆17Jan 21, 2026Updated 4 months ago
• YangTuanAnh / transnetv2_pytorch

  View on GitHub
  PyTorch inference script for TransNetV2
  ☆32May 20, 2026Updated 3 weeks ago
• purplesyringa / problem-xml-specs

  View on GitHub
  Specs of the problem.xml format for competitive programming judge systems
  ☆21Nov 1, 2022Updated 3 years ago
• VNOI-Admin / OJ

  View on GitHub
  A modern open-source online judge and contest platform system.
  ☆214Updated this week
• thanhluong / ITK19NBK

  View on GitHub
  Training syllabus for ITK19 NBK
  ☆13Oct 12, 2021Updated 4 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• doorman-humanoid / doorman-humanoid.github.io

  View on GitHub
  ☆22Apr 30, 2026Updated last month
• cmaes / miniml

  View on GitHub
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆32Feb 22, 2021Updated 5 years ago
• TOTBWF / coolttviz

  View on GitHub
  ☆24Sep 22, 2021Updated 4 years ago
• mozilla / rust-cascade

  View on GitHub
  A filter cascade implementation in rust
  ☆15Apr 5, 2023Updated 3 years ago
• crabbo-rave / Soup

  View on GitHub
  Extra and extended datatypes for Lean 4
  ☆12Nov 12, 2022Updated 3 years ago
• skrah / minicaml

  View on GitHub
  Compiler for a very restricted subset of OCaml
  ☆25Jan 4, 2016Updated 10 years ago
• leduythuccs / VOJ-rebuild-discord-bot

  View on GitHub
  A discord bot which helps speed up migration VOJ problems to Codeforces by using polygon, codeforces APIs.
  ☆21Aug 20, 2022Updated 3 years ago
• phpactor / language-server-protocol

  View on GitHub
  ☆12Apr 2, 2026Updated 2 months ago
• appliedfm / vstyle-tools

  View on GitHub
  A formatter/linter for Coq source
  ☆14Jan 15, 2022Updated 4 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• siddhartha-gadgil / lean-loris

  View on GitHub
  Experiments with some ways of automating reasoning in lean 4
  ☆19Apr 20, 2024Updated 2 years ago
• leanprover-community / mathlib-changelog

  View on GitHub
  ☆15Apr 1, 2026Updated 2 months ago
• Widdershin / handwritten-wasm

  View on GitHub
  Wasm examples, brought to you by humans!
  ☆16Jan 7, 2021Updated 5 years ago
• secwang / ngnkcart

  View on GitHub
  ☆15Oct 19, 2023Updated 2 years ago
• kvverti / rusty-lavender

  View on GitHub
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆12Apr 17, 2021Updated 5 years ago
• Luka-O / polya-enumeration-theorem

  View on GitHub
  A Lean 4 formalization of Pólya enumeration theorem.
  ☆21Jun 6, 2025Updated last year
• Julian / lftim

  View on GitHub
  Mathematical learnings with Lean, for those of us who wish we knew more of both!
  ☆11Aug 27, 2022Updated 3 years ago
• marigold-dev / easier-proofs

  View on GitHub
  A project which aim to help engineers to make proves easily
  ☆14Mar 3, 2022Updated 4 years ago
• digama0 / mm-lean4

  View on GitHub
  Lean 4 Metamath verifier
  ☆23Dec 12, 2025Updated 6 months ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• fasterthanlime / fasterthanlime

  View on GitHub
  My GitHub profile page
  ☆14Dec 26, 2025Updated 5 months ago
• Khoa-bit / IUGen2

  View on GitHub
  Fast and clean schedule generator for IUers!
  ☆12Jan 5, 2023Updated 3 years ago
• avigad / boole

  View on GitHub
  The Boole Interactive Reasoning Assistant
  ☆31May 9, 2014Updated 12 years ago
• pxeger / whython

  View on GitHub
  Fork of Python with some terrible custom features hacked in
  ☆14Oct 7, 2022Updated 3 years ago
• liyishuai / coq-http

  View on GitHub
  HTTP specification in Coq, testable and verifiable
  ☆18Feb 22, 2026Updated 3 months ago
• arbipher / llvm-ocaml-tutorial

  View on GitHub
  The LLVM tutorial using OCaml
  ☆38Oct 9, 2023Updated 2 years ago
• iczelia / modern-rzip

  View on GitHub
  A backup suite. Supports FLZMA2, bzip3, LZ4, Zstandard, LSH i-node ordering deduplicating archiver, long range deduplication, encryption …
  ☆19Aug 5, 2025Updated 10 months ago
• ho94949 / teamnote.sty

  View on GitHub
  LaTeX template for ACM-ICPC team reference document.
  ☆32Oct 7, 2022Updated 3 years ago
• wata-orz / steiner_tree

  View on GitHub
  Steiner tree solver
  ☆31May 8, 2018Updated 8 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• cyoce / J-uby

  View on GitHub
  ☆14Jan 3, 2022Updated 4 years ago
• TravisWhitaker / nix-quartus

  View on GitHub
  Nix Expressions for Altera(Intel) Quartus
  ☆17Oct 28, 2020Updated 5 years ago
• nicoespeon / jest-extended-snapshot

  View on GitHub
  Additional Jest matchers for snapshot testing.
  ☆21Jul 11, 2023Updated 2 years ago
• funexists / coq-lean-cheatsheet

  View on GitHub
  A Cheat Sheet for Coq Developers who want to try LeanProver
  ☆19Jul 25, 2023Updated 2 years ago
• pi8027 / stablesort

  View on GitHub
  Stable sort algorithms and their stability proofs in Rocq
  ☆25Dec 10, 2025Updated 6 months ago
• SjVer / Evi-Lang

  View on GitHub
  The Evi programming language
  ☆16Jun 17, 2022Updated 4 years ago
• melody-notpond / ilo-pali

  View on GitHub
  ilo pali is a RISC V operating system featuring a microkernel.
  ☆10Jul 4, 2024Updated last year