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:
- A website for learners of 《Introduction to Algorithms》☆21Jan 31, 2024Updated 2 years ago
- easy_Pwn☆19Apr 19, 2019Updated 7 years ago
- The answers for all labs, hws, and projects in CS61A☆14Jan 29, 2024Updated 2 years ago
- Slides of CS100 (Introduction to Computer Programming) of ShanghaiTech.☆16Mar 2, 2026Updated last month
- 上海交通大学软件学院课程《应用系统体系架构》（SE3353）笔记☆12Feb 2, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- All Resources from Stanford CS106B 2021☆25Jul 11, 2025Updated 9 months ago
- Lightning-fast LLM inference engine - Built with Rust (inspiration from https://github.com/GeeeekExplorer/nano-vllm)☆34Jun 24, 2025Updated 9 months ago
- Computer programming - ShanghaiTech☆12Jan 10, 2020Updated 6 years ago
- AutoCorrect extension for PopClip☆10Jul 12, 2024Updated last year
- Streamline Rete.js-based application development☆22Jan 9, 2026Updated 3 months ago
- Redis可视化web管理平台，支持Redis Cluster集群、Codis、阿里和腾讯云Redis的运维管理以及基本的数据操作☆14Aug 20, 2024Updated last year
- SoliDiffy: AST-Based Code Differencing Tool for Solidity Smart Contracts☆21Sep 19, 2025Updated 7 months ago
- Shorthand column notations for tables in Typst.☆17Oct 30, 2025Updated 5 months ago
- aliyun-chatpt是基于最近较火的chatgpt开发的一个项目，本项目代码十分简单， 通过简单调用openai的接口来实现功能☆12Mar 23, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Serein工具的护网版，针对2022年护网(hvv)期间出现的漏洞编写。☆13Aug 4, 2022Updated 3 years ago
- 这是我在阅读《x86汇编语言 从实模式到保护模式》对每一章节代码的理解，并注释了部分代码☆10Apr 12, 2026Updated last week
- Problem Sets for Discrete Mathematics @ software.nju.edu.cn☆12Jun 24, 2021Updated 4 years ago
- 邮箱账密批量验证工具。分析SMTP协议，模拟发送并分析SMTP指令，批量验证已知的邮箱用户名和密码是否匹配可用，可自定义输入输出格式、服务器地址、端口，支持SSL/TLS加密。☆12Dec 15, 2016Updated 9 years ago
- 🏆 最棒的开源翻译小组！招收志愿者中，有意可自荐，记得留联系方式呀~☆12Aug 26, 2020Updated 5 years ago
- This repository contains all the lab, homework, and project code solutions for the CS61B Spring 2018 course, along with detailed comments…☆138Feb 12, 2025Updated last year
- eTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.☆21Jul 24, 2023Updated 2 years ago
- Empc: Effective Path Prioritization for Symbolic Execution with Path Cover☆34May 11, 2025Updated 11 months ago
- ☆25Aug 16, 2025Updated 8 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago
- ICS Seminar 21, 2018 @ PKU☆17Jan 2, 2019Updated 7 years ago
- Plugin for obsidian.md that allows execution of scripts to generate custom markdown elements.☆15Mar 7, 2025Updated last year
- ☆21Jun 23, 2025Updated 9 months ago
- 字节跳动青训营项目 极简抖音后端☆16Aug 17, 2023Updated 2 years ago
- An interactive interpreter for asynchronous algebraic effects☆15Jun 19, 2024Updated last year
- 应用系统体系架构☆25Dec 1, 2023Updated 2 years ago
- blackhat usa 2022 I attended☆72Sep 23, 2022Updated 3 years ago
- 开放验证平台NutShell Cache验证案例☆11Dec 2, 2025Updated 4 months ago
- 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.
- 根据github上的源码改的一些工具。用友nc解密、......☆18Jan 26, 2022Updated 4 years ago
- A repository for Solidity smart contracts acting as security bug tests for static analysis tools.☆33Oct 14, 2021Updated 4 years ago
- Experiments in weaponizing Crystal for offensive operations.☆29Mar 23, 2023Updated 3 years ago
- 💾 Nasm 汇编写操作系统☆11Apr 24, 2024Updated last year
- A tool for easier disposing KrkrExtract scn datas,based on Yuzusoft Games.☆13Feb 14, 2025Updated last year
- A Basic Geometric library for Type Design☆11Jul 1, 2024Updated last year
- Build and publish Obsidian plugins with minimal configuration☆20May 25, 2025Updated 10 months ago