An online math contest platform
☆20Jun 5, 2026Updated 2 months ago
Alternatives and similar repositories for probase
Users that are interested in probase are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Asymptote preprocessor☆19Jul 22, 2026Updated 3 weeks ago
- A minimal setup required script to improve AoPS☆10May 12, 2024Updated 2 years ago
- Olympiad problem database☆61Jul 22, 2026Updated 3 weeks ago
- Source files for https://web.evanchen.cc☆69Updated this week
- Exponent pair database☆80Aug 3, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Virtual notebook that Evan uses for his PhD thesis.☆12May 26, 2026Updated 2 months ago
- A set of useful Google Sheets functions for Mystery Hunt.☆12Jan 4, 2024Updated 2 years ago
- WnSOJ - Work and Solve online judge!☆11Jun 29, 2026Updated last month
- garbled-snark-verifier repository☆18May 27, 2026Updated 2 months ago
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆21Dec 16, 2025Updated 7 months ago
- MIT 18.02 lecture notes on multivar☆32Updated this week
- Trainer for the AMC math competition☆14Apr 14, 2026Updated 3 months ago
- A web UI that plots finite group Cayley Graphs in 3D☆21Oct 2, 2023Updated 2 years ago
- Bayesian Elo Rating estimator☆14Jul 2, 2015Updated 11 years 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.
- ☆16Feb 10, 2021Updated 5 years ago
- A script to auto reply messages on telegram☆14Sep 30, 2021Updated 4 years ago
- The official website for the Asian Pacific Mathematics Olympiad☆10Jul 29, 2026Updated 2 weeks ago
- A simple drawing tool that can convert diagrams into Asymptote code.☆21Feb 17, 2021Updated 5 years ago
- When should you berserk in lichess arena tournament games?☆21May 28, 2022Updated 4 years ago
- basic 3D simulation with pygame☆15Aug 2, 2022Updated 4 years ago
- A bot that plays on the hanab.live interface.☆21Apr 30, 2026Updated 3 months ago
- ☆25Aug 5, 2021Updated 5 years ago
- A configuration manager for your projects☆13Feb 1, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Calculate chess version of Erdos Number for all Lichess users☆27Jun 14, 2026Updated last month
- Ask people anonymous questions on Slack.☆10Jun 23, 2015Updated 11 years ago
- ☆69Jul 30, 2025Updated last year
- Telegram Info Sticker Importer can help you to move your favorite sticker packs from VK to Telegram☆32Apr 17, 2025Updated last year
- Gens Sega Genesis / Megadrive emulator, for developer☆15Apr 16, 2026Updated 3 months ago
- Django app for editing and testing puzzlehunt puzzles (open-source version)☆32May 23, 2023Updated 3 years ago
- Blue Rent is a laravel based project that manages buildings, rooms, additional services, reservations ,seasons ,statuses, users ,roles …☆29Jan 19, 2024Updated 2 years ago
- A highly experiment portable runtime☆22Apr 11, 2024Updated 2 years ago
- Github mirror of "analytics/refinery/source" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer…☆15Updated this week
- 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.
- Papers on Topology + Learning.☆14Feb 12, 2020Updated 6 years ago
- CUDA-enabled ollama nix flake☆14Mar 11, 2024Updated 2 years ago
- A multi-platform file-configurable folder comparison tool with html-reporting written in rust☆13Jul 7, 2026Updated last month
- Bayesian Optimization for very Noisy functions☆19Aug 12, 2021Updated 5 years ago
- ☆31May 1, 2020Updated 6 years ago
- A differentiable Python implementation of the Sutherland–Hodgman algorithm for clipping polygons in 2D.☆50Aug 12, 2022Updated 4 years ago
- Dot files for Evan Chen (Arch Linux on i3)☆139Updated this week