Alternatives and similar repositories for cs61a-apps

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

• 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
• Lean-zh / tp-lean-zh
  Lean 定理证明
  ☆19Updated 3 weeks ago
• 2prime / project-hover
  气垫船计划——免费、去中心化的北京大学往年题资料库
  ☆27Updated 7 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆34Updated 3 years ago
• NJU-SICP / OnlineJudge
  SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.
  ☆12Updated 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.
  ☆57Updated 7 months ago
• xhzgenius / xv6-labs-2023
  北京大学操作系统课程lab：XV6（2023秋季学期）（个人代码）
  ☆15Updated last year
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 4 years ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆34Updated 8 months ago
• xmonader / prolog-rands
  random stuff in prolog
  ☆76Updated 6 years ago
• HaibinLai / CS205-CPP-Programing-Project
  SUSTech CS205 CPP programming project
  ☆22Updated 6 months ago
• appleade / Understanding_Analysis_cn
  Chinese translation to Understanding Ananlysis (Stephen Abbott)
  ☆18Updated 4 months ago
• KrisLiu16 / OnlineJudge-GOJ
  GOJ在线评测系统
  ☆20Updated 4 months ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• umd-cmsc330 / cmsc330spring22
  ☆27Updated 3 years ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆54Updated 4 years ago
• asukaminato0721 / IntWithStepsOfTeXForm
  不定积分过程生成器（By Mathematica）
  ☆46Updated last year
• asukaminato0721 / Geometry-Expression
  几何表达式仓库
  ☆11Updated 6 months ago
• Junren0716 / CS61c
  All Coursework from my CS61c (Great Ideas in Computer Architecture / Machine Structures) Course at UC Berkeley
  ☆93Updated 7 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated 2 years ago
• Sudha247 / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆10Updated last year
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆18Updated last year
• anqur / TinyLean
  Tiny theorem prover with syntax like Lean 4 in <1K LOC
  ☆65Updated 2 months ago
• lazyparser / what-i-learned-from-anime
  我从动漫中学习到的知识和人生感悟
  ☆17Updated 7 months ago
• exercism / sml
  Exercism exercises in Standard ML.
  ☆28Updated last month
• toddaaro / advanced-dan
  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
  ☆16Updated 12 years ago
• PKUFlyingPig / UCB-CS170
  This repo contains all the learning materials for UC Berkeley's course CS170 : Efficient Algorithms and Intractable Problems
  ☆96Updated 4 years ago
• cs3110 / textbook-solutions
  Solutions to OCaml Programming
  ☆89Updated last week
• SemiObserver / Category-theory-materials
  非常的新鲜，非常的美味
  ☆32Updated 6 months ago