Cal-CS-61A-Staff / cs61a-appsLinks
All CS 61A apps go here!
☆18Updated 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:
- Infrastructure to autograde Racket code on Gradescope☆17Updated 4 months ago
- Lindemann–Weierstrass Theorem☆12Updated last year
- All Coursework from my CS61c (Great Ideas in Computer Architecture / Machine Structures) Course at UC Berkeley☆89Updated 7 years ago
- Homebrew tap for GAP☆14Updated last year
- learning materials and implementation for MIT6.031: software construction problemsets☆79Updated 4 years ago
- ☆77Updated 4 months ago
- Lean course materials for Brown CS 22, Spring 2023☆20Updated last year
- A unit test framework for MIT Scheme in the jUnit style.☆14Updated 9 years ago
- 气垫船计划——免费、去中心化的北京大学往年题资料库☆27Updated 7 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆12Updated last year
- my solutions to problems in Programming Languages: Application and Interpretation class by Shriram Krishnamurthi☆9Updated 9 years ago
- ☆15Updated last month
- An Infinite Descent into Pure Mathematics☆44Updated 4 years ago
- Personal reading notes (zh-CN)☆9Updated 11 months ago
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆11Updated 4 years ago
- Formalisms Every Computer Scientist Should Know (course at ISTA)☆13Updated last year
- Lean 定理证明☆16Updated this week
- Project to verify the Guy-Selfridge conjectures☆20Updated 2 weeks ago
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆15Updated 12 years ago
- An implementation of a Zeilberger-style linear type theory.☆11Updated 3 years ago
- Mathematical notes and papers☆26Updated last month
- A tiny tikzzz editor in the browser☆11Updated 2 months ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Updated 2 years ago
- ☆22Updated last year
- The dread tikzmark arrives on github☆14Updated 3 weeks ago
- A website for learners of 《Introduction to Algorithms》☆17Updated last year
- A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"☆11Updated last year
- lean-related presentations☆16Updated last year
- A Racket Meta-Program Generator☆17Updated 5 years ago