Alternatives and similar repositories for csm-61a

Users that are interested in csm-61a are comparing it to the libraries listed below

• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated last month
• CSUA / csua-backend
  A backend for the CSUA interblags.
  ☆22Updated last month
• sis-berkeley-edu / calcentral
  ☆14Updated 4 years ago
• vEnhance / otis-web
  OTIS course management system
  ☆43Updated this week
• howard36 / probase
  An online math contest platform
  ☆21Updated 5 months ago
• abrandenberger / course-notes
  Sets of LaTex course notes taken for various Math/CS classes at McGill University: currently include MATH 240, MATH 247, MATH 323 and a r…
  ☆38Updated 4 years ago
• Ninjaclasher / Competitive-Programming
  Competitive Programming Solutions
  ☆10Updated 4 years ago
• vEnhance / von
  Olympiad problem database
  ☆53Updated last week
• rokicki / lifealg
  ☆12Updated 7 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆52Updated last week
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated last year
• sipb / courseroad2
  A 4-year academic planner for the MIT community.
  ☆23Updated 7 months ago
• berkeley-cs164-2023 / class-compiler-f23
  ☆10Updated last year
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆54Updated 6 months ago
• openwebwork / webwork-open-problem-library
  A library of WeBWorK problems contributed by the OpenWeBWorK community
  ☆247Updated 3 weeks ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆240Updated this week
• MathBases / MathBases
  ☆23Updated last week
• leo-colisson / zx-calculus
  A package to typeset ZX calculus directly in LaTeX.
  ☆17Updated last year
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆92Updated 9 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆255Updated 5 months ago
• tsani / comp-302-review
  Review problems for COMP 302
  ☆18Updated last year
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆46Updated last year
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• leanprover-community / lean4game
  Server to host lean games.
  ☆311Updated this week
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• teorth / symmetric_project
  ☆92Updated last year
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆53Updated this week
• teorth / expdb
  Exponent pair database
  ☆62Updated this week