Alternatives and similar repositories for abcvoting

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

• PierreSenellart / apxproof
  LaTeX package for automatically putting proof environments in appendix
  ☆28Updated last month
• cpitclaudel / academic-poster-template
  An HTML+CSS template for making more accessible posters
  ☆91Updated 3 years ago
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆57Updated 4 years ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆58Updated last year
• ilaspltd / ILASP-releases
  ☆38Updated last year
• davidalber / geneagrapher
  Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks
  ☆54Updated last year
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆68Updated 2 years ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated last month
• formalabstracts / formalabstracts
  ☆165Updated 6 years ago
• causalincentives / pycid
  Library for graphical models of decision making, based on pgmpy and networkx
  ☆110Updated 2 years ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated last year
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• simoninireland / simplicial
  Simplicial topology in Python
  ☆39Updated 7 months ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆335Updated 2 years ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆175Updated this week
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆121Updated 2 months ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆415Updated 2 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆112Updated last year
• google-deepmind / hcmd_dai
  ☆26Updated 3 years ago
• csplib / csplib
  A benchmark library for constraints
  ☆98Updated 3 weeks ago
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆39Updated 2 years ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated 2 weeks ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆211Updated last year
• engri-1101 / gilp
  A Python package for visualizing the geometry of linear programs.
  ☆63Updated last year
• Socrats / EGTTools
  Toolbox for Evolutionary Game Theory.
  ☆103Updated last week
• sztal / pybdm
  Python implementation of block decomposition method for approximating algorithmic complexity
  ☆36Updated last year
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• mscroggs / Logic-Bot
  @logicbot@mathstodon.xyz
  ☆21Updated 2 years ago
• riccardobrasca / flt3
  Proof in Lean of Fermat Last Theorem for exponent 3
  ☆40Updated last year
• tias / constraint-solving-course
  An open-source course on constraint solving
  ☆24Updated 3 weeks ago