Alternatives and similar repositories for cs61a-apps

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

• xianzhe233 / UCB-CS61A-Summer-2024-Resources-and-Unofficial-Solutions
  CS61A Summer 2024 course resources and my solutions.
  ☆8Updated 10 months ago
• cnewstead / infdesc
  An Infinite Descent into Pure Mathematics
  ☆45Updated 4 years ago
• thautwarm / Site-33
  https://thautwarm.github.io/Site-33/
  ☆10Updated 4 months ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• shriram / gradescope-racket
  Infrastructure to autograde Racket code on Gradescope
  ☆17Updated 5 months ago
• xhzgenius / xv6-labs-2023
  北京大学操作系统课程lab：XV6（2023秋季学期）（个人代码）
  ☆12Updated last year
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆54Updated 4 years ago
• asukaminato0721 / Geometry-Expression
  几何表达式仓库
  ☆11Updated 3 months ago
• lucifer1004 / leetcode.typ
  Solving Leetcode problems in Typst
  ☆24Updated last year
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆34Updated 5 months ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• 2prime / project-hover
  气垫船计划——免费、去中心化的北京大学往年题资料库
  ☆27Updated 7 years ago
• thautwarm / DianaScript-JIT
  ☆18Updated 3 years ago
• HaibinLai / CS205-CPP-Programing-Project
  SUSTech CS205 CPP programming project
  ☆20Updated 3 months ago
• courses-at-nju-by-hfwei / cpl-docs
  Docs on CPL (Lectures on CPL at software.nju.edu.cn)
  ☆36Updated 3 months ago
• CIS1900 / 2022-fall
  ☆12Updated 10 months ago
• anqur / TinyLean
  Tiny theorem prover with syntax like Lean 4 in <1K LOC
  ☆63Updated 2 weeks ago
• Trebor-Huang / vscode-btex
  VSCode extension for bTeX.
  ☆21Updated last year
• xmonader / prolog-rands
  random stuff in prolog
  ☆74Updated 6 years ago
• janestreet / base_quickcheck
  Randomized testing framework, designed for compatibility with Base
  ☆18Updated last month
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• francoisschwarzentruber / tikzzz
  A tiny tikzzz editor in the browser
  ☆11Updated 3 months ago
• appleade / Understanding_Analysis_cn
  Chinese translation to Understanding Ananlysis (Stephen Abbott)
  ☆13Updated last month
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• thautwarm / vscode-diana
  a VSCode plugin to provide basic language support for DianaScript
  ☆10Updated 3 years ago
• 64bitpandas / cs61b-notes
  Guidebook for CS61B.
  ☆9Updated 2 years ago
• vkz / PLAI
  my solutions to problems in Programming Languages: Application and Interpretation class by Shriram Krishnamurthi
  ☆9Updated 9 years ago
• eliphatfs / yapyjit
  Yet another python JIT.
  ☆20Updated 2 years ago
• MingLLuo / CS-Plan
  ☆78Updated 5 months ago
• siraben / coq-wigderson
  Formalization of Wigderson's graph coloring algorithm in Coq
  ☆9Updated last year