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 4 months ago
• CSUA / csua-backend
  A backend for the CSUA interblags.
  ☆23Updated last week
• sis-berkeley-edu / calcentral
  ☆14Updated 4 years ago
• rokicki / lifealg
  ☆14Updated 7 years ago
• vEnhance / otis-web
  OTIS course management system
  ☆45Updated last week
• 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
• vEnhance / von
  Olympiad problem database
  ☆54Updated last week
• sipb / courseroad2
  A 4-year academic planner for the MIT community.
  ☆24Updated 10 months ago
• asuc-octo / berkeleytime
  UC Berkeley enrollment info
  ☆71Updated this week
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆105Updated last year
• quantprep / quantinternships2022
  ☆376Updated 3 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆53Updated last year
• howard36 / probase
  An online math contest platform
  ☆22Updated 2 months ago
• quantprep / quantnewgrad2022
  ☆442Updated 3 years ago
• rudi-c / the-waterloo-blogger
  A compilation of blogs by Waterloo students and alumni
  ☆65Updated 5 years ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆34Updated 8 months ago
• hgarrereyn / SBVA
  Structured BVA
  ☆42Updated last year
• openwebwork / webwork-open-problem-library
  A library of WeBWorK problems contributed by the OpenWeBWorK community
  ☆247Updated this week
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated 2 years ago
• meelgroup / ganak
  High-performance model counter
  ☆50Updated last week
• Raymo111 / cs135-drtools
  DrRacket Tools for CS 135 course at UWaterloo
  ☆26Updated 3 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆55Updated last week
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆117Updated last week
• daajoe / GPUSAT
  ☆11Updated 4 years ago
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆206Updated 4 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆33Updated last year
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆63Updated this week
• Dakkers / UW-Course-Notes
  some lecture notes from the University of Waterloo.
  ☆94Updated 10 years ago
• alexrutar / UWaterloo-Course-Notes
  Course notes for selected courses at the University of Waterloo
  ☆18Updated 3 years ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆81Updated this week