☆27Nov 15, 2025Updated 5 months ago
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☆15Dec 10, 2025Updated 4 months ago
- Metamath logic game☆10Updated this week
- ☆13May 22, 2024Updated last year
- My list of followership scammers on GitHub.☆13Jan 20, 2026Updated 2 months ago
- Hacky code to launch our old versions from the new launcher!☆10Aug 25, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Utility Kit (for C++), stuff missing from std:: namespace☆11Dec 3, 2025Updated 4 months ago
- std::fixed_string☆12Sep 14, 2015Updated 10 years ago
- Tool to decrypt the mysteries of the Elite Dangerous universe☆15Apr 12, 2026Updated last week
- Not Enough SkyBlock UberItems Addon for Craftbukkit and Spigot, by Brandon (ThirtyVirus) Calabrese☆10Sep 21, 2023Updated 2 years ago
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 7 years ago
- Embed LaTeX in standards-compliant markdown.☆215Sep 8, 2015Updated 10 years ago
- My project for the Wolfram Summer Camp 2019☆15Jul 12, 2019Updated 6 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- ☆15May 3, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This repository belongs to the course of machine learning with Python which is getting ready for AUT☆21Mar 22, 2023Updated 3 years ago
- A module for lua to use PAM.☆32Dec 10, 2023Updated 2 years ago
- A command line utility for setting up the on-board Flash of BMP v2.3+ hardware for use in standalone mode☆17Mar 6, 2026Updated last month
- A CHIP-8 emulator in C.☆18Aug 22, 2022Updated 3 years ago
- A single header C++ wasm frontend library leveraging Emscripten☆38Aug 9, 2024Updated last year
- SIGPwny's websites and club content monorepo☆13Updated this week
- Book Quick Starter Kit - Write Your Own Book in Plain Text (with Markdown)☆20Jul 4, 2016Updated 9 years ago
- Reinforcement learning with Godot☆28Jul 4, 2021Updated 4 years ago
- Minetest visulization library☆10Jun 28, 2023Updated 2 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.
- A little project that scrapes the discord web client and stores each version's main assets.☆11Oct 24, 2023Updated 2 years ago
- ☆21Jul 24, 2023Updated 2 years ago
- HTB write-ups with detailed walkthroughs, screenshots, and tutorials for ethical hacking, CTF challenges, and penetration testing.☆29Nov 10, 2025Updated 5 months ago
- A web based markdown (md) to html converter☆18Apr 2, 2021Updated 5 years ago
- Hover - Temporary home directories☆15Nov 5, 2023Updated 2 years ago
- A Demo for real-time voice conversion based on Mel-GAN☆12Sep 13, 2021Updated 4 years ago
- ☆13Apr 11, 2026Updated last week
- JavaScript/TypeScript filter and checker for bad words aka profanity☆17Dec 6, 2025Updated 4 months ago
- A status monitor for Elite Dangerous, written in PHP. Designed for 1080p screens in the four-panel-view in panel.php, and for 7 inch scre…☆31May 20, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Cowsay for Discord!☆15Nov 28, 2023Updated 2 years ago
- SecureLink is a link shortener that gives you full control over your links. You can set a password, a read count limit and a one-time ope…☆14Mar 22, 2023Updated 3 years ago
- CPU simulation framework for CS520 (Binghamton University, Graduate Computer Architecture)☆10May 10, 2018Updated 7 years ago
- A handbook for mathematicians who want to get productive using GitHub☆13Oct 20, 2025Updated 5 months ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17Sep 15, 2022Updated 3 years ago
- An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.☆26Apr 4, 2026Updated 2 weeks ago
- Experimental LLVM FFI bindings for the Java Platform☆15Apr 6, 2021Updated 5 years ago