Alternatives and similar repositories for bot

Users that are interested in bot are comparing it to the libraries listed below

• riemann-discord / math-discord
  A .tex file to use in the math discord
  ☆13Updated 3 months ago
• No767 / Kumiko
  A personal multipurpose discord bot built with freedom and choice in mind
  ☆20Updated last month
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆60Updated 4 months ago
• WintrCat / spellcastsolver
  Spellcast Solver 🌹
  ☆15Updated last month
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last month
• GanerCodes / moon
  glyph-based language that transpiles to python (for now…)
  ☆21Updated this week
• senpy-club / frontend-next
  🐥 Gallery viewer for https://github.com/cat-milk/Anime-Girls-Holding-Programming-Books
  ☆9Updated last month
• darrenks / golfscript
  A simple stack based code golf language
  ☆23Updated 2 years ago
• Mabi19 / password-game-tas
  ☆46Updated last year
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆141Updated last week
• DotEye / Minecraft-Library-of-Babel
  A working version of the Library of Babel created in Minecraft.
  ☆45Updated 2 years ago
• Spu7Nix / SPWN-vscode
  Language support for the SPWN programming language for Visual Studio Code
  ☆17Updated 2 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆45Updated this week
• Wurst-Imperium / WolframClient.net
  Minecraft Wolfram Hacked Client - Official Website
  ☆20Updated last month
• CodexLink / discord-activity-badge
  Bridge your discord's state and activity to a representable badge on your repository / profile to show your discord's current status. Pow…
  ☆22Updated last year
• An00nymushun / DiscordEmojiParty
  ☆16Updated last year
• EvanZhouDev / tiny-tetris
  ☆30Updated last year
• leanprover-community / batteries
  The "batteries included" extended library for the Lean programming language and theorem prover
  ☆301Updated this week
• johndoesstuff / randomProjects
  ☆66Updated 4 years ago
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• monkeytypegame / monkeytype-bot
  Discord bot for Monkeytype
  ☆93Updated last month
• vscala / Spellcast-Word-Finder
  Attempts to find the best word in the discord activity Spellcast
  ☆20Updated last year
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• simmsb / calamity
  A library for writing discord bots in haskell
  ☆116Updated 7 months ago
• rodrigogiraoserrao / APLLeetCode
  Solving LeetCode problems in Dyalog APL
  ☆12Updated 2 years ago
• noelle-crawfish / Enumerating-Polycubes
  My project for the Wolfram Summer Camp 2019
  ☆15Updated 5 years ago
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆55Updated 5 months ago
• wspace / corpus
  The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.
  ☆37Updated last month
• kzndotsh / awesome-discordpy
  An Awesome list for all things Discord.py
  ☆19Updated last month
• ncatlab / nlab
  Source code for the nLab
  ☆174Updated 2 months ago