lecture slides and in-class demos of sicp
☆30Aug 31, 2022Updated 3 years ago
Alternatives and similar repositories for sicp-lectures
Users that are interested in sicp-lectures are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- easy_Pwn☆19Apr 19, 2019Updated 7 years ago
- 供大学生，竞赛生，高中生查找的math-wiki☆10May 26, 2022Updated 3 years ago
- code examples and my solution to the exercises in the book Functional Programming in OCaml☆10Jan 2, 2019Updated 7 years ago
- Slides of CS100 (Introduction to Computer Programming) of ShanghaiTech.☆17Mar 2, 2026Updated 2 months ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆21Apr 1, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Frama-C plugins for deadlock and data race detection☆14Feb 18, 2026Updated 2 months ago
- All Resources from Stanford CS106B 2021☆25Jul 11, 2025Updated 9 months ago
- AutoCorrect extension for PopClip☆12Jul 12, 2024Updated last year
- Redis可视化web管理平台，支持Redis Cluster集群、Codis、阿里和腾讯云Redis的运维管理以及基本的数据操作☆14Aug 20, 2024Updated last year
- Shorthand column notations for tables in Typst.☆17Oct 30, 2025Updated 6 months ago
- 苏州大学计算机学院转专业指南☆18Jun 17, 2024Updated last year
- 【ACG-face-alignment】ACG臉部對齊☆10Jul 30, 2018Updated 7 years ago
- 哈尔滨工业大学计算机系统课程（2021春）☆33Jul 6, 2021Updated 4 years ago
- aliyun-chatpt是基于最近较火的chatgpt开发的一个项目，本项目代码十分简单， 通过简单调用openai的接口来实现功能☆12Mar 23, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Serein工具的护网版，针对2022年护网(hvv)期间出现的漏洞编写。☆13Aug 4, 2022Updated 3 years ago
- 这是我在阅读《x86汇编语言 从实模式到保护模式》对每一章节代码的理解，并注释了部分代码☆10Apr 12, 2026Updated 3 weeks ago
- 莉沫酱存储！☆12Dec 21, 2024Updated last year
- OMR JIT glue code implementing a Ruby JIT☆12Dec 6, 2016Updated 9 years ago
- ☆31May 1, 2025Updated last year
- 🏆 最棒的开源翻译小组！招收志愿者中，有意可自荐，记得留联系方式呀~☆12Aug 26, 2020Updated 5 years ago
- MIT6.824-2020课程学习笔记与总结☆22Jun 7, 2021Updated 4 years ago
- Static JavaScript Analysis: AST, Control Flow, Data Flow, & Pointer Analysis☆29Feb 26, 2022Updated 4 years ago
- rewrite of @marmot-z/baicizhan-helper☆15Aug 14, 2025Updated 8 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- This repository contains all the lab, homework, and project code solutions for the CS61B Spring 2018 course, along with detailed comments…☆145Feb 12, 2025Updated last year
- ☆26Aug 16, 2025Updated 8 months ago
- A healthier theme for your eyes☆11Apr 5, 2024Updated 2 years ago
- Structure and Interpretation of Computer Programs (SICP) , Fall 2021, Nanjing University☆17Dec 30, 2024Updated last year
- ICS Seminar 21, 2018 @ PKU☆17Jan 2, 2019Updated 7 years ago
- ☆12Nov 8, 2024Updated last year
- 导出 百词斩已背单词表到Excel☆15May 28, 2023Updated 2 years ago
- 字节跳动青训营项目 极简抖音后端☆16Aug 17, 2023Updated 2 years ago
- An interactive interpreter for asynchronous algebraic effects☆15Jun 19, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 应用系统体系架构☆25Dec 1, 2023Updated 2 years ago
- Python package accompanying https://github.com/lucasvanmol/obsidian-latex-ocr☆12Sep 20, 2025Updated 7 months ago
- Reverse CTF writeups including challenges and solutions☆16Jun 27, 2021Updated 4 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- 开放验证平台NutShell Cache验证案例☆11Dec 2, 2025Updated 5 months ago
- Files needed to flash Kindle Migu☆20Mar 17, 2024Updated 2 years ago
- ☆16Apr 20, 2026Updated 2 weeks ago