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
  ☆30Updated 3 weeks ago
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆57Updated 4 years ago
• cpitclaudel / academic-poster-template
  An HTML+CSS template for making more accessible posters
  ☆91Updated 3 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated last month
• chathika / NL4Py
  Bringing Your Turtles From NetLogo to Python 🐍🐢
  ☆53Updated 3 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆20Updated 3 years ago
• causalincentives / pycid
  Library for graphical models of decision making, based on pgmpy and networkx
  ☆112Updated 2 years ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 4 months ago
• mirzaevinom / egtplot
  egtplot: A python package for 3-Strategy Evolutionary Games
  ☆52Updated 8 months ago
• eve-mas / eve-parity
  Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…
  ☆21Updated last year
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆65Updated 8 years ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• tias / constraint-solving-course
  An open-source course on constraint solving
  ☆25Updated 3 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆118Updated last year
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆126Updated 4 months ago
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆40Updated 7 months ago
• paperscape / paperscape-backend
  Backend map and tile generation and webserver for the Paperscape map
  ☆44Updated 7 months ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆444Updated last week
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆54Updated 2 years ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆66Updated last year
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆41Updated 7 months ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆66Updated 2 years ago
• davidalber / geneagrapher
  Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks
  ☆57Updated last year
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆46Updated 4 years ago
• gambitproject / gte
  Game Theory Explorer: Build, explore and solve extensive form games.
  ☆100Updated 6 years ago
• jofmi / agentpy
  AgentPy is an open-source framework for the development and analysis of agent-based models in Python.
  ☆368Updated last year
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆24Updated this week
• ilaspltd / ILASP-releases
  ☆39Updated last year
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆171Updated 6 years ago
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆33Updated last year