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)
  ☆78Updated last year
• obijywk / grilops
  a GRId LOgic Puzzle Solver library
  ☆79Updated 2 months ago
• edemaine / cocreate
  Cocreate Shared Whiteboard/Drawing
  ☆218Updated 6 months ago
• edemaine / coauthor
  Coauthor supercollaboration/discussion forum
  ☆266Updated last month
• Divide-By-0 / autolatex
  All Auto Latex Equations Versions.
  ☆38Updated last week
• quantified-uncertainty / squiggle
  This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
  ☆201Updated last week
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆335Updated 2 years ago
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆37Updated 5 months ago
• kevinychen / snap2
  Advanced tooling for puzzle hunts: grid/crossword parser, crossword tool to fill in the grid when entering answers, heavy-duty pattern/an…
  ☆34Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆259Updated 8 months ago
• dreampulse / computer-modern-web-font
  The Computer Modern LaTeX font for the web
  ☆119Updated 3 years ago
• Crossword-Nexus / collaborative-word-list
  The collaborative word list
  ☆37Updated last year
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆177Updated this week
• molly / annotate
  Annotate text and publish it on the web
  ☆321Updated 2 years ago
• Hanabi-Live / hanabi-live
  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
  ☆197Updated 2 weeks ago
• benthamite / EA-numbers
  Anki deck: Some key numbers that every effective altruist should know.
  ☆25Updated 2 years ago
• oughtinc / ergo
  A Python library for integrating model-based and judgmental forecasting
  ☆108Updated 3 years ago
• michal-h21 / rdfref
  Cross-referencing system for LaTeX, inspired with RDF
  ☆17Updated last year
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆66Updated 9 months ago
• ncase / nutshell
  Make expandable explanations!
  ☆564Updated last year
• guillefix / augmath
  Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers
  ☆56Updated 6 years 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.
  ☆258Updated 3 months ago
• posita / dyce
  Simple Python tools for exploring dice outcomes and other finite discrete probabilities
  ☆40Updated last year
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆52Updated 4 years ago
• pmaher86 / blacksquare
  A Python package for crossword creators.
  ☆45Updated 10 months ago
• uwdata / living-papers
  Authoring tools for scholarly communication. Create interactive web pages or formal research papers from markdown source.
  ☆151Updated 8 months ago
• nostalgebraist / nostalgebraist-autoresponder
  Code for the tumblr bot nostalgebraist-autoresponder.
  ☆74Updated 2 years ago
• jproft / Scandroid
  A program for automated scansion of verse.
  ☆20Updated 11 years ago
• marie-cd / googledoc-puzzle-tools
  Tools for easier group solving of Shinteki/Puzzle Hunt-type puzzles via Googledocs
  ☆14Updated 4 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆59Updated last week