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

• educelab / volume-cartographer
  Volumetric processing toolkit and C++ libraries for the recovery and restoration of damaged cultural materials
  ☆64Updated last week
• younader / Vesuvius-First-Letters
  ☆132Updated last year
• schillij95 / ThaumatoAnakalyptor
  Automatic Scroll Segmentation Pipline for CT Scans of Herculaneum papyri
  ☆80Updated 2 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 2 months ago
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆47Updated this week
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆142Updated this week
• tensor-fusion / microhaskell
  Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.
  ☆15Updated 7 months ago
• adamnemecek / traceoid.ai
  ☆51Updated last month
• teorth / expdb
  Exponent pair database
  ☆21Updated this week
• philipturner / molecular-renderer
  Renderer for molecular nanotechnology
  ☆66Updated 4 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆99Updated 3 months ago
• bastibe / twilight
  A Circular Color Map
  ☆35Updated 2 years ago
• JonathanGorard / Categorica
  Categorica: a pure and applied category theory framework for the Wolfram Language
  ☆30Updated 10 months ago
• nqureshi / ev-winners
  Semantic search over every Emergent Ventures winner.
  ☆19Updated last month
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆16Updated 5 months ago
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆22Updated 2 weeks ago
• phoboslab / neuralink_brainwire
  Attempt at Neuralink's Compression Challenge
  ☆87Updated 8 months ago
• emoshou / ondroid
  Design a full DOF humanoid robot for research use incrementally, halving the cost until the BOM is $1000.
  ☆16Updated 3 months ago
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆13Updated this week
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• jcponce / calculus
  Applets about Calculus
  ☆37Updated 7 months ago
• teorth / symmetric_project
  ☆86Updated last year
• atroyn / math-llm
  Grounding LLM mathematical reasoning with proof assistants.
  ☆61Updated last year
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆59Updated 6 months ago
• mwcvitkovic / neuromodulation_modalities
  Every way to change your mind
  ☆41Updated last month
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆46Updated last week
• mayabenowitz / Origins
  A minimalistic-bootstrap to find a quantum theory of the cosmos.
  ☆100Updated 2 months ago
• mabotkin / zpordle
  A number guessing game with a p-adic twist.
  ☆9Updated last year
• google / formal-ml
  ☆25Updated 3 years ago
• HigherOrderCO / HVM3
  HVM3
  ☆131Updated this week