Alternatives and similar repositories for VoteKit

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

• plus-rkwitt / flooder
  flooder: a package for constructing the Flood complex, a lightweight filtered simplicial complex.
  ☆33Updated this week
• GjjvdBurg / paper2remarkable
  Fetch an academic paper or web article and send it to the reMarkable tablet with a single command
  ☆373Updated 11 months ago
• kavigupta / urbanstats
  A website for viewing statistics of various areas in the United States.
  ☆24Updated this week
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆41Updated 7 months ago
• danyq / tools.qhex.org
  puzzle solving tools for the mit mystery hunt
  ☆18Updated 10 years ago
• kach / memo
  A probabilistic programming language for metacognitive modeling
  ☆136Updated last week
• pytorch / expecttest
  ☆86Updated 8 months ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆477Updated last week
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆460Updated 7 months ago
• ucbds-infra / otter-grader
  A Python and R autograding solution
  ☆152Updated this week
• jessexknight / ut-thesis
  University of Toronto thesis class for LaTeX
  ☆83Updated last year
• jfremstad / matematisk_ordliste
  Matematisk ordliste
  ☆33Updated this week
• toltec-dev / toltec
  Community-maintained repository of free software for the reMarkable tablet.
  ☆901Updated last month
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆466Updated last week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆329Updated this week
• briandealwis / ubcdiss
  A LaTeX template for dissertations at the University of British Columbia
  ☆115Updated 3 years ago
• HIF-org / HIF-standard
  Hypergraph Interchange Format (HIF) Schema Definition and Tutorials
  ☆29Updated this week
• kevinlin1 / just-the-class
  A modern, highly customizable, responsive Jekyll template for course websites.
  ☆343Updated 2 weeks ago
• edemaine / cocreate
  Cocreate Shared Whiteboard/Drawing
  ☆218Updated 8 months ago
• michaelmior / zotero-remarkable
  Sync papers from Zotero to a reMarkable tablet
  ☆189Updated 5 years ago
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆20Updated last year
• jvanburen / 21-373-s16
  Notes for Algebraic Structures, taught Spring 2016 at Carnegie Mellon University, by Professor Clinton Conley.
  ☆14Updated 7 years ago
• Palindrome-Puzzles / puzzup
  Django app for editing and testing puzzlehunt puzzles (open-source version)
  ☆14Updated 4 years ago
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆114Updated last week
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆66Updated last year
• leanprover / vscode-lean
  Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…
  ☆116Updated 10 months ago
• teorth / symmetric_project
  ☆94Updated 2 years ago
• neurodata / graph-stats-book
  ☆29Updated 2 years ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆74Updated 2 years ago
• chrisjbillington / chrisjbillington.github.io
  My personal website on github pages (WIP)
  ☆55Updated 3 years ago