Alternatives and similar repositories for cs61a-apps

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

• Lean-zh / tp-lean-zh
  Lean 定理证明
  ☆21Updated 3 months ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆55Updated 4 years ago
• NJU-SICP / OnlineJudge
  SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.
  ☆12Updated 3 years ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆35Updated 10 months ago
• suomela / da
  Distributed Algorithms — Online Textbook
  ☆16Updated 4 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆34Updated 3 years ago
• 2prime / project-hover
  气垫船计划——免费、去中心化的北京大学往年题资料库
  ☆27Updated 7 years ago
• courses-at-nju-by-hfwei / cpl-docs
  Docs on CPL (Lectures on CPL at software.nju.edu.cn)
  ☆36Updated 3 months ago
• xmonader / prolog-rands
  random stuff in prolog
  ☆78Updated 6 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.
  ☆59Updated 9 months ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• africamonkey / OEIS-Spider
  OEIS爬虫
  ☆14Updated 7 years ago
• Junren0716 / CS61c
  All Coursework from my CS61c (Great Ideas in Computer Architecture / Machine Structures) Course at UC Berkeley
  ☆94Updated 7 years ago
• Lean-zh / math-in-lean-zh
  Lean 形式化数学
  ☆14Updated this week
• asukaminato0721 / Geometry-Expression
  几何表达式仓库
  ☆11Updated last month
• anqur / TinyLean
  Tiny theorem prover with syntax like Lean 4 in <1K LOC
  ☆67Updated 5 months ago
• JacyCui / sicp-lectures
  lecture slides and in-class demos of sicp
  ☆30Updated 3 years ago
• SemiObserver / Category-theory-materials
  非常的新鲜，非常的美味
  ☆33Updated 8 months ago
• lucifer1004 / leetcode.typ
  Solving Leetcode problems in Typst
  ☆23Updated 2 years ago
• OSH-2024 / osh-2024.github.io
  USTC OSH 2024 Course Homepage
  ☆15Updated last year
• asukaminato0721 / IntWithStepsOfTeXForm
  不定积分过程生成器（By Mathematica）
  ☆46Updated 2 years ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• CIS1900 / 2022-fall
  ☆12Updated last year
• moonbitlang / mooncakes.io
  website of mooncakes.io, written in MoonBit
  ☆23Updated last month
• moonbitlang / minimoonbit-public
  ☆61Updated 6 months ago
• xhzgenius / xv6-labs-2023
  北京大学操作系统课程lab：XV6（2023秋季学期）（个人代码）
  ☆16Updated last year
• sattlerc / hott-reading-course
  Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …
  ☆14Updated last year
• MingLLuo / CS-Plan
  ☆85Updated 4 months ago
• Trebor-Huang / HomotopyHistory
  ☆22Updated last year
• SimplicialCat / Simplicial_Group
  单纯群精华信息汇总
  ☆16Updated last year