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

• YangTuanAnh / transnetv2_pytorch

  View on GitHub
  PyTorch inference script for TransNetV2
  ☆27Aug 17, 2025Updated 6 months ago
• 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 last month
• 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.
  ☆206Mar 2, 2026Updated last week
• Khoa-bit / IUGen2

  View on GitHub
  Fast and clean schedule generator for IUers!
  ☆12Jan 5, 2023Updated 3 years ago
• jankais3r / iOS-LookingGlass

  View on GitHub
  Pythonista script that allows rendering HoloPlay.js scenes directly from an iPad.
  ☆10Mar 10, 2021Updated 4 years ago
• TOTBWF / coolttviz

  View on GitHub
  ☆23Sep 22, 2021Updated 4 years ago
• justiny7 / competitive-programming

  View on GitHub
  Source code for all my competitive programming activities
  ☆13Dec 28, 2024Updated last year
• crabbo-rave / Soup

  View on GitHub
  Extra and extended datatypes for Lean 4
  ☆12Nov 12, 2022Updated 3 years ago
• Luka-O / polya-enumeration-theorem

  View on GitHub
  A Lean 4 formalization of Pólya enumeration theorem.
  ☆21Jun 6, 2025Updated 9 months ago
• mozilla / rust-cascade

  View on GitHub
  A filter cascade implementation in rust
  ☆15Apr 5, 2023Updated 2 years ago
• thanhluong / ITK19NBK

  View on GitHub
  Training syllabus for ITK19 NBK
  ☆13Oct 12, 2021Updated 4 years ago
• VNOI-Admin / scratch-run

  View on GitHub
  Run Scratch from command line
  ☆14Jan 20, 2024Updated 2 years ago
• appliedfm / vstyle-tools

  View on GitHub
  A formatter/linter for Coq source
  ☆14Jan 15, 2022Updated 4 years ago
• dselsam / binport

  View on GitHub
  A tool for building Lean4 .olean files from Lean3 export data
  ☆10Jul 28, 2021Updated 4 years ago
• leanprover-community / mathlib-changelog

  View on GitHub
  ☆14Updated this week
• phpactor / language-server-protocol

  View on GitHub
  ☆12Jan 22, 2026Updated last month
• algos-all / algos-py

  View on GitHub
  Some CS algos in Python 3
  ☆11Dec 6, 2021Updated 4 years ago
• MITDeepLearning / introtodeeplearning.com

  View on GitHub
  ☆27Jan 12, 2026Updated last month
• siddhartha-gadgil / lean-loris

  View on GitHub
  Experiments with some ways of automating reasoning in lean 4
  ☆17Apr 20, 2024Updated last year
• Josiah-tan / Josiah_theory

  View on GitHub
  An open source stenographic theory that emphasises writing short.
  ☆12Nov 9, 2025Updated 4 months ago
• Julian / lftim

  View on GitHub
  Mathematical learnings with Lean, for those of us who wish we knew more of both!
  ☆10Aug 27, 2022Updated 3 years ago
• digama0 / mm-lean4

  View on GitHub
  Lean 4 Metamath verifier
  ☆23Dec 12, 2025Updated 2 months ago
• kvverti / rusty-lavender

  View on GitHub
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆12Apr 17, 2021Updated 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
• secwang / ngnkcart

  View on GitHub
  ☆15Oct 19, 2023Updated 2 years ago
• urgent-learner / mlentary

  View on GitHub
  quasi-open-source introductory book about machine learning, emphasis on geometry and modern concepts
  ☆18Jun 28, 2023Updated 2 years ago
• avigad / boole

  View on GitHub
  The Boole Interactive Reasoning Assistant
  ☆30May 9, 2014Updated 11 years ago
• cyoce / J-uby

  View on GitHub
  ☆14Jan 3, 2022Updated 4 years ago
• liyishuai / coq-http

  View on GitHub
  HTTP specification in Coq, testable and verifiable
  ☆18Feb 22, 2026Updated 2 weeks ago
• pxeger / whython

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

  View on GitHub
  My GitHub profile page
  ☆14Dec 26, 2025Updated 2 months ago
• frenzymath / REAL-Prover

  View on GitHub
  ☆29Jul 22, 2025Updated 7 months ago
• MichaelWehar / Public-Domain-Word-Lists

  View on GitHub
  A collection of plain text or csv formatted public domain word lists.
  ☆19Jun 10, 2017Updated 8 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
• Widdershin / handwritten-wasm

  View on GitHub
  Wasm examples, brought to you by humans!
  ☆16Jan 7, 2021Updated 5 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 7 months ago
• Tom4sko / Travelling-App

  View on GitHub
  Travelling app - React Native + Expo
  ☆17May 29, 2023Updated 2 years ago
• dominhduy09 / university-documents

  View on GitHub
  University documents that I have collected from HCM-IU VNU
  ☆35Jan 4, 2025Updated last year