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 4 months ago
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated 4 months ago
• rokicki / lifealg
  ☆14Updated 7 years ago
• berkeley-cs164-2023 / class-compiler-f23
  ☆10Updated last year
• sis-berkeley-edu / calcentral
  ☆14Updated 4 years ago
• vEnhance / otis-web
  OTIS course management system
  ☆45Updated this week
• Ninjaclasher / Competitive-Programming
  Competitive Programming Solutions
  ☆10Updated 4 years ago
• howard36 / probase
  An online math contest platform
  ☆22Updated last month
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• teorth / symmetric_project
  ☆93Updated 2 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆51Updated last year
• regina-normal / regina
  The main source code for Regina
  ☆39Updated this week
• neelsomani / cuq
  Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
  ☆92Updated 3 weeks ago
• ganeshutah / Jove
  ☆75Updated 10 months ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated 5 months ago
• arsalan0c / dafny-of-python
  A tool for deductive verification of Python programs based on Dafny
  ☆24Updated 4 years ago
• mit-frap / spring22
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022
  ☆20Updated 3 years ago
• asuc-octo / berkeleytime
  UC Berkeley enrollment info
  ☆69Updated last week
• ChezJrk / verified-scheduling
  ☆44Updated 3 weeks ago
• vEnhance / von
  Olympiad problem database
  ☆53Updated last month
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆106Updated this week
• Aryansh-S / USACO
  Algorithms, data structures, and problems in competitive programming up to USACO Platinum
  ☆43Updated 2 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆58Updated 8 months ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆59Updated this week
• MathBases / MathBases
  ☆25Updated last month
• jeffgerickson / 1dct
  One-dimensional computational topology
  ☆12Updated 4 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated 2 months ago
• acornprover / acorn
  The core implementation of the Acorn language.
  ☆34Updated this week
• frodakcin / orz-bot
  orz
  ☆15Updated 2 years ago