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 3 months ago
• sis-berkeley-edu / calcentral
  ☆14Updated 4 years ago
• rokicki / lifealg
  ☆13Updated 7 years ago
• CSUA / csua-backend
  A backend for the CSUA interblags.
  ☆22Updated 3 months ago
• daajoe / GPUSAT
  ☆11Updated 4 years ago
• vEnhance / otis-web
  OTIS course management system
  ☆45Updated this week
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆33Updated 7 months ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆58Updated last week
• vEnhance / von
  Olympiad problem database
  ☆53Updated 3 weeks ago
• maximaximal / Paracooba
  Distributed and ressource elastic cube-and-conquer SAT & QBF solver
  ☆20Updated 2 years ago
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆15Updated 3 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆50Updated last year
• howard36 / probase
  An online math contest platform
  ☆22Updated last month
• asuc-octo / berkeleytime
  UC Berkeley enrollment info
  ☆67Updated this week
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆98Updated this week
• fishy15 / competitive_programming
  competitive programming folder
  ☆30Updated this week
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 2 weeks ago
• dhvanipa / UWaterloo-Links-SE
  A list of links which I've found useful during my time at UWaterloo studying Software Engineering
  ☆132Updated 2 years ago
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆74Updated this week
• 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…
  ☆39Updated 4 years ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆95Updated 11 months ago
• ekzhang / ekzhang.sty
  My personal LaTeX template, with sensible formatting and commands
  ☆16Updated 3 years ago
• ccz181078 / Coq-BB5
  ☆344Updated last month
• ganeshutah / Jove
  ☆75Updated 10 months ago
• msoos / cnf-utils
  Dimacs CNF utilities
  ☆21Updated 8 months ago
• meelgroup / ganak
  High-performance model counter
  ☆46Updated this week
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• CourtneyThurston / personal-finance-memes-for-tech-teens
  A walkthrough of personal-finance issues for young people with tech careers, complete with clearly-marked referral promotion opportunitie…
  ☆96Updated 4 years ago
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆98Updated 2 years ago
• teorth / symmetric_project
  ☆93Updated last year