Alternatives and similar repositories for csm-61a

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

• CSUA / csua-backend
  A backend for the CSUA interblags.
  ☆23Updated 2 weeks ago
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated 6 months ago
• Raymo111 / cs135-drtools
  DrRacket Tools for CS 135 course at UWaterloo
  ☆26Updated 3 years ago
• howard36 / probase
  An online math contest platform
  ☆22Updated last week
• vEnhance / otis-web
  OTIS course management system
  ☆44Updated last week
• vEnhance / von
  Olympiad problem database
  ☆54Updated 2 weeks ago
• quantprep / quantnewgrad2022
  ☆443Updated 3 years ago
• rokicki / lifealg
  ☆14Updated 7 years ago
• sipb / courseroad2
  A 4-year academic planner for the MIT community.
  ☆23Updated 11 months ago
• sis-berkeley-edu / calcentral
  ☆14Updated 4 years 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
• quantprep / quantinternships2022
  ☆375Updated 3 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆62Updated 2 weeks ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆323Updated last month
• openwebwork / webwork-open-problem-library
  A library of WeBWorK problems contributed by the OpenWeBWorK community
  ☆247Updated this week
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆15Updated 3 years ago
• teorth / expdb
  Exponent pair database
  ☆68Updated 3 weeks ago
• jzarnett / ece459
  ECE 459: Programming for Performance
  ☆512Updated last week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆262Updated 9 months ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆37Updated 10 months ago
• acornprover / acorn
  The core implementation of the Acorn language.
  ☆37Updated last week
• msoos / cnf-utils
  Dimacs CNF utilities
  ☆21Updated 11 months ago
• Lazar-Ilic / Lazar
  ☆20Updated 3 weeks ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆205Updated last week
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆95Updated 2 months ago
• jzarnett / se350
  SE 350: Operating Systems
  ☆23Updated 2 years ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆388Updated last week
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆138Updated last month
• 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
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆326Updated last year