Alternatives and similar repositories for solvertools

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

• galacticpuzzlehunt / gph-site
  Django app for running a puzzlehunt (open-source version)
  ☆76Updated 11 months ago
• obijywk / grilops
  a GRId LOgic Puzzle Solver library
  ☆77Updated last year
• PuzzleTechHub / nutrimatic
  The source behind nutrimatic.org.
  ☆87Updated 2 months ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆325Updated last year
• danyq / tools.qhex.org
  puzzle solving tools for the mit mystery hunt
  ☆18Updated 9 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆255Updated 5 months ago
• nostalgebraist / nostalgebraist-autoresponder
  Code for the tumblr bot nostalgebraist-autoresponder.
  ☆73Updated 2 years ago
• dreampulse / computer-modern-web-font
  The Computer Modern LaTeX font for the web
  ☆118Updated 3 years ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆170Updated last week
• christianp / aperiodic-monotile
  Smith, Myers, Kaplan and Goodman-Strauss's aperiodic monotile, in a variety of formats
  ☆224Updated last week
• cardinalitypuzzles / cardboard
  Dashboard for managing puzzles and tracking status during a puzzle hunt
  ☆32Updated 3 months ago
• christianp / mastodon
  A GNU Social-compatible microblogging server
  ☆35Updated 2 weeks ago
• The-EPL-Type-Foundry / Hundar
  This is the project repository for Hundar, a typeface for books and articles, with a focus on scientific writing.
  ☆255Updated 2 weeks ago
• galacticpuzzlehunt / puzzlord
  Django app for editing and testing puzzlehunt puzzles (open-source version)
  ☆30Updated 2 years ago
• Hanabi-Live / hanabi-live
  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
  ☆193Updated last month
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆53Updated this week
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆92Updated this week
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆285Updated 3 years ago
• howard36 / probase
  An online math contest platform
  ☆21Updated 5 months ago
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆50Updated 4 years ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 11 months ago
• vEnhance / von
  Olympiad problem database
  ☆53Updated last week
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆36Updated 2 months ago
• hsluv / hsluv-python
  Python implementation of HSLuv (revision 4)
  ☆140Updated 3 weeks ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,579Updated 3 weeks ago
• thisisparker / cursewords
  Terminal-based crossword puzzle solving interface
  ☆269Updated 4 months ago
• davidalber / geneagrapher
  Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks
  ☆53Updated last year
• jpd236 / kotwords
  Collection of crossword puzzle file format converters and other utilities, written in Kotlin.
  ☆25Updated last month
• viresh-ratnakar / exolve
  Online interactive crossword software in JavaScript
  ☆83Updated last month
• mscroggs / realhats
  realhats LaTeX package
  ☆116Updated 2 years ago