Alternatives and similar repositories for Vesuvius-Grand-Prize-Submission

Users that are interested in Vesuvius-Grand-Prize-Submission are comparing it to the libraries listed below

• lschlessinger1 / vesuvius-grand-prize-submission
  Vesuvius challenge grand prize submission (runner-up)
  ☆16Updated last year
• younader / Vesuvius-First-Letters
  ☆138Updated last year
• schillij95 / ThaumatoAnakalyptor
  Automatic Scroll Segmentation Pipline for CT Scans of Herculaneum papyri
  ☆84Updated 7 months ago
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated 9 months ago
• jcponce / calculus
  Applets about Calculus
  ☆37Updated last year
• bastibe / twilight
  A Circular Color Map
  ☆35Updated 2 years ago
• educelab / volume-cartographer
  Volumetric processing toolkit and C++ libraries for the recovery and restoration of damaged cultural materials
  ☆67Updated 3 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 7 months ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆94Updated last year
• assumptionsofphysics / book
  The "Assumptions of Physics" book
  ☆28Updated 2 weeks ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 8 months ago
• MurrayIII / UnicodeMathML
  JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…
  ☆30Updated this week
• quantum-mechanics-for-everyone / simulations
  JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University
  ☆17Updated 7 years ago
• em0sh / ondroid
  Design a full DOF humanoid robot for research use incrementally, halving the cost until the BOM is $1000.
  ☆19Updated last month
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆17Updated 11 months ago
• schillij95 / Crackle-Viewer
  Vesuvius Challenge Ink Crackle Labeling Tool for Scroll Segmentations
  ☆10Updated 7 months ago
• Frigorifico9 / ConstellationFinder
  Finds patterns in the Collatz Tree
  ☆19Updated last year
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆63Updated 2 years ago
• AThilenius / logic-paint-rs
  A transistor-level logic simulator inspired by the Intel 4004 and Zachtronic's KOHCTPYKTOP, build with Rust + WASM
  ☆33Updated 3 months ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• mwalczyk / pga-axioms
  Huzita-Hatori axioms for origami, implemented using 2D projective geometric algebra.
  ☆12Updated 4 years ago
• teorth / erdos-guy-selfridge
  Project to verify the Guy-Selfridge conjectures
  ☆20Updated last month
• heafnerj / mandi
  mandi LaTeX package
  ☆9Updated 9 months ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆29Updated this week
• dEAduction / dEAduction
  Source for the d∃∀duction project.
  ☆21Updated this week
• polylog-cs / np-completeness
  Video about NP-completeness, circuit SAT and "reversing time"
  ☆14Updated 10 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year