Pokémon Showdown extension that harnesses the power of parabolic calculus to strategically extract your opponents' Elo.
☆188Apr 14, 2026Updated last month
Alternatives and similar repositories for showdex
Users that are interested in showdex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An exhaustive collection of PICO-8 learning material, resources, and communities.☆11Jan 13, 2023Updated 3 years ago
- use super safe login system in your project!!☆11Dec 9, 2022Updated 3 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- Pokemon games damage calculator☆508Jun 1, 2026Updated last week
- Small utility addon for Meteor Client☆15Oct 31, 2025Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Mirror of R8 with some minor improvements☆17Nov 25, 2023Updated 2 years ago
- A fast, declarative, and extensible package manager for Kotlin.☆11Sep 9, 2025Updated 9 months ago
- https://proandroiddev.com/logging-in-kotlin-8ecfb97a4840☆14Nov 25, 2018Updated 7 years ago
- The Gradle Plugin for Skidfuscator☆12Dec 13, 2024Updated last year
- Highlights items in chests and shulkerboxes☆12Apr 24, 2021Updated 5 years ago
- JS implementations of JNI libraries for CheerpJ☆13May 13, 2024Updated 2 years ago
- My online portfolio.☆14May 5, 2026Updated last month
- Gipsy is a multi-purpose discord bot which aim to be as modular and user-friendly as possible☆13Jan 2, 2025Updated last year
- USE AT YOUR OWN RISK☆16Sep 29, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 2 years ago
- Formalization of the Rupert Problem for convex polyhedra.☆17Apr 5, 2026Updated 2 months ago
- A date and time library for Lean 4☆15Apr 12, 2025Updated last year
- Most updated source of Citra available on Internet Archive via Wayback Machine (should be March 04, 2024) Yuzu also archived!☆28Mar 5, 2024Updated 2 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated last year
- Run online and in-person auctions☆18Updated this week
- CASCADEBETALESS LOLOLOLOLOL☆15Dec 15, 2022Updated 3 years ago
- ☆16Mar 23, 2026Updated 2 months ago
- Simple jar optimizing tool that removes unused classes☆21May 10, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- System-wide Lean input method☆12Feb 16, 2022Updated 4 years ago
- Future's authentication reversed☆13Jun 9, 2021Updated 5 years ago
- Provides Protocol Support for MultiVersion in Bedrock☆12Sep 4, 2022Updated 3 years ago
- Updated LazyK source distribution☆19Nov 20, 2025Updated 6 months ago
- Minecraft 4K Online Multiplayer in under 8KB☆19Nov 6, 2022Updated 3 years ago
- Java library for bootstrapping a modularized environment from a classpath one.☆10Jun 3, 2024Updated 2 years ago
- This is a basic Chrome Extension base template for starting new projects off of initialized with a MIT license.☆22Sep 13, 2018Updated 7 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Dec 3, 2024Updated last year
- The ultimate open-source Fabric utility mod written in Kotlin☆153Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆16Aug 21, 2025Updated 9 months ago
- A headless Minecraft bot built with 3arthqu4ke/HeadlessMc and cabaletta/baritone.☆32Apr 24, 2026Updated last month
- A bridge/proxy allowing you to connect to Minecraft: Java Edition servers with Minecraft: Bedrock edition.☆19Jul 22, 2023Updated 2 years ago
- BBN Launcher☆18Feb 24, 2025Updated last year
- Sokoban (in Coq) [maintainer=@erikmd]☆25Jan 3, 2025Updated last year
- A fast, scalable and easily expandable Discord bot☆11Jul 1, 2024Updated last year
- A MySQL API for Lean 4☆20Mar 11, 2022Updated 4 years ago