Cal-CS-61A-Staff / cs61a-appsLinks
All CS 61A apps go here!
☆20Updated 3 years ago
Alternatives and similar repositories for cs61a-apps
Users that are interested in cs61a-apps are comparing it to the libraries listed below
Sorting:
- Lean 定理证明☆21Updated 2 months ago
- ☆12Updated last year
- random stuff in prolog☆78Updated 6 years ago
- 北京大学操作系统课程lab：XV6（2023秋季学期）（个人代码）☆16Updated last year
- Guide elucidating Lambda Calculus☆16Updated 4 years ago
- 非常的新鲜，非常的美味☆32Updated 8 months ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Updated 2 years ago
- Books on programming language theory and linguistics in general.☆55Updated 4 years ago
- ☆27Updated 3 years ago
- This repo contains all the learning materials for UC Berkeley's course CS170 : Efficient Algorithms and Intractable Problems☆99Updated 4 years ago
- RISC-V instruction set simulator built for education☆35Updated 2 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆66Updated 4 months ago
- CS341 for Spring 2024☆11Updated last year
- Chinese translation to Understanding Ananlysis (Stephen Abbott)☆19Updated 6 months ago
- A notional machine for the SMoL languages☆22Updated 2 years ago
- Hevea is a fast latex to html translator☆114Updated last month
- All Coursework from my CS61c (Great Ideas in Computer Architecture / Machine Structures) Course at UC Berkeley☆94Updated 7 years ago
- Infrastructure to autograde Racket code on Gradescope☆17Updated 9 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 5 years ago
- SUSTech CS205 CPP programming project☆22Updated 8 months ago
- Exercism exercises in Standard ML.☆28Updated 3 weeks ago
- Lean4中文教程☆35Updated 9 months ago
- Solutions to OCaml Programming☆90Updated last month
- 十分钟魔法练习 in OCaml☆34Updated 3 years ago
- lecture slides and in-class demos of sicp☆30Updated 3 years ago
- egraphs-good website☆18Updated last year
- 单纯群精华信息汇总☆16Updated 11 months ago
- Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …☆14Updated last year
- the Chinese Translation of Linear Algebra Done Right (fourth edition)☆12Updated last month
- ☆61Updated 5 months ago