Alternatives and similar repositories for csua-backend:

Users that are interested in csua-backend are comparing it to the libraries listed below

• gradescope / autograder_samples
  Examples of autograders for running on Gradescope
  ☆83Updated 2 weeks ago
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆12Updated this week
• edemaine / author-stack-paper
  "Every Author as First Author" paper from SIGTBD 2023, about superimposing author names in a stack
  ☆110Updated 3 weeks ago
• kedlaya / tetrahedra
  ☆35Updated 3 years ago
• cucapra / gator
  Geometry types
  ☆28Updated 4 years ago
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 2 years ago
• abeakkas / ipho-unofficial.org
  Database for International Physics Olympiads
  ☆10Updated this week
• UCSD-Historical-Enrollment-Data / webreg_scraper
  A scraper and API for WebReg, UCSD's course enrollment system.
  ☆11Updated 2 months ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated 10 months ago
• berkeley-cs164-2023 / class-compiler-f23
  ☆11Updated last year
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆124Updated 2 months ago
• ncatlab / nlab
  Source code for the nLab
  ☆159Updated last month
• sipb / courseroad2
  A 4-year academic planner for the MIT community.
  ☆23Updated this week
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆75Updated last year
• matalek / eth-algolab
  My solutions for Algorithms Lab at ETH, Autumn 2016
  ☆10Updated 8 years ago
• eddieschoute / dissertation-template-umd
  A template for University of Maryland dissertations
  ☆27Updated last year
• roed314 / seminars
  Listing of online math seminars
  ☆42Updated 4 months ago
• ccz181078 / Coq-BB5
  ☆170Updated last month
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 2 years ago
• mwillsey / cs265
  Website for CS 265
  ☆26Updated last month
• csmberkeley / csm-61a
  CSM 61A Worksheets in Latex
  ☆12Updated last week
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆91Updated last year
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆118Updated 2 years ago
• cdchoy / ppcc
  A Powerpoint CPU
  ☆92Updated 4 years ago
• ekzhang / ekzhang.sty
  My personal LaTeX template, with sensible formatting and commands
  ☆16Updated 2 years ago
• mit-eecs-gsa / mit-eecs-thesis-proposal-template
  MIT EECS Thesis Proposal Template
  ☆49Updated last year
• coq-community / fourcolor
  Formal proof of the Four Color Theorem [maintainer=@ybertot]
  ☆187Updated last week
• ssomayyajula / linear
  Linear Algebra Done...Lean
  ☆17Updated 7 years ago
• patrick-kidger / typst_pyimage
  Typst extension, adding support for generating figures using inline Python code
  ☆76Updated 8 months ago
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆192Updated 3 months ago