Alternatives and similar repositories for cs61a-apps

Users that are interested in cs61a-apps are comparing it to the libraries listed below

• 2prime / project-hover
  气垫船计划——免费、去中心化的北京大学往年题资料库
  ☆27Updated 7 years ago
• asukaminato0721 / Geometry-Expression
  几何表达式仓库
  ☆11Updated 2 months ago
• CIS1900 / 2022-fall
  ☆13Updated last year
• Lean-zh / tp-lean-zh
  Lean 定理证明
  ☆23Updated last month
• appleade / Understanding_Analysis_cn
  Chinese translation to Understanding Ananlysis (Stephen Abbott)
  ☆22Updated 8 months ago
• MingLLuo / CS-Plan
  ☆90Updated 5 months ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆56Updated 4 years ago
• xhzgenius / xv6-labs-2023
  北京大学操作系统课程lab：XV6（2023秋季学期）（个人代码）
  ☆15Updated 2 years ago
• HaibinLai / CS205-CPP-Programing-Project
  SUSTech CS205 CPP programming project
  ☆23Updated 10 months ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆18Updated last year
• wuzhizhe / DownloadDoubanEbook
  下载豆瓣电子书
  ☆10Updated 8 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆21Updated 2 years ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆35Updated 11 months ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆36Updated 3 years ago
• xmonader / prolog-rands
  random stuff in prolog
  ☆78Updated 7 years ago
• anqur / TinyLean
  Tiny theorem prover with syntax like Lean 4 in <1K LOC
  ☆67Updated 6 months ago
• suomela / da
  Distributed Algorithms — Online Textbook
  ☆16Updated 5 years ago
• asukaminato0721 / IntWithStepsOfTeXForm
  不定积分过程生成器（By Mathematica）
  ☆45Updated 2 years ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆60Updated 11 months ago
• thu-cs-lab / Router-Lab-Docs
  Documentation for Router Lab
  ☆70Updated 2 months ago
• Trebor-Huang / HomotopyHistory
  ☆22Updated last year
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 4 years ago
• OliverWu515 / LADR4e-PDF
  the Chinese Translation of Linear Algebra Done Right (fourth edition)
  ☆13Updated 3 months ago
• NJU-SICP / OnlineJudge
  SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.
  ☆12Updated 3 years ago
• Eryc123Y / Math-for-Computer-Science
  A math resource for CS student (I have decided to refactor the contents to my personal blog and continue working on this, so the project …
  ☆20Updated last year
• asukaminato0721 / cs61a-2021-summer
  Solutions for cs61a-2021-summer
  ☆30Updated 3 years ago
• Junren0716 / CS61c
  All Coursework from my CS61c (Great Ideas in Computer Architecture / Machine Structures) Course at UC Berkeley
  ☆94Updated 8 years ago
• liblaf / ilatex
  📚 LaTeX templates and tools for creating beautiful, structured documents 📝
  ☆14Updated 3 months ago
• ShevonKuan / Calculus-Summarize
  高等数学（同济大学）微积分教程重要公式定理总结
  ☆45Updated 2 years ago