Alternatives and similar repositories for cs61a-apps:

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

• ice1000 / vscode-arend
  VSCode extension for the Arend language
  ☆11Updated 2 years ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆34Updated 2 months ago
• MingLLuo / CS-Plan
  ☆70Updated 2 months ago
• thautwarm / DianaScript-JIT
  ☆18Updated 3 years ago
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 3 years ago
• SemiObserver / Category-theory-materials
  非常的新鲜，非常的美味
  ☆29Updated 3 weeks ago
• PhotonQuantum / baka-notes
  Personal reading notes (zh-CN)
  ☆8Updated 9 months ago
• x1957 / cheat
  骗分导论
  ☆17Updated 4 years ago
• MarisaKirisame / extensible-parser
  ☆11Updated 3 weeks ago
• niltok / itp-ard
  🚧施工中🚧 用 Arend 写证明的交互式教程
  ☆14Updated 2 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• sunhuiquan / A-Top-Down-Approach
  计算机网络-自顶向下方法的一些笔记和自己做的课后习题
  ☆31Updated 4 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• ice1000 / multi-school-sop
  A latex template for writing statement-of-purpose for many schools at the same time
  ☆43Updated last year
• brown-cs22 / CS22-Lean-2023
  Lean course materials for Brown CS 22, Spring 2023
  ☆20Updated last year
• SchrodingerZhu / VNMCC
  Very Naive MIPS CPU using Clash
  ☆29Updated 3 years ago
• teorth / erdos-guy-selfridge
  Project to verify the Guy-Selfridge conjectures
  ☆13Updated this week
• coquelicot / PyDSL
  A runtime DSL parser generator for python.
  ☆18Updated 8 years ago
• 2prime / project-hover
  气垫船计划——免费、去中心化的北京大学往年题资料库
  ☆25Updated 7 years ago
• thautwarm / vscode-diana
  a VSCode plugin to provide basic language support for DianaScript
  ☆10Updated 3 years ago
• ice1000 / copilot-learning-materials
  My type-ups for copilot to learn from.
  ☆11Updated 2 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆16Updated 3 weeks ago
• 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
• Trebor-Huang / HomotopyHistory
  ☆22Updated last year
• tuna / Books
  Tracking Books of TUNA Library
  ☆10Updated 4 years ago
• CS61BR / skeletons_fa22
  A Rust version of the CS61B course at UC Berkeley
  ☆14Updated 2 years ago
• awodey / math
  Mathematical notes and papers
  ☆26Updated this week
• Co-dfns / APL-Skeleton
  A basic APL Skeleton to get you started writing with APL
  ☆20Updated 7 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.
  ☆55Updated last month
• rami3l / yascm
  Yet another Scheme interpreter.
  ☆11Updated 2 years ago