记录学习MIT公开课Mathematics for Computer Science的过程
☆87Jul 26, 2020Updated 5 years ago
Alternatives and similar repositories for Mathematics-for-Computer-Science
Users that are interested in Mathematics-for-Computer-Science are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MIT6.S081实验记录,并且利用Docker+code-server (网页版Vscode)进行环境搭建,实现开箱即用的纯净实验环境,具体使用说明请看下面的网站☆12Jan 28, 2024Updated 2 years ago
- ☆30Apr 23, 2023Updated 3 years ago
- Solutions for cs61a-2021-summer☆31Jul 24, 2022Updated 3 years ago
- Code repository for SNARF☆13Apr 27, 2023Updated 3 years ago
- Algorithms for approximate nearest neighbor search with window filters☆46Feb 5, 2024Updated 2 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.
- as stated in the title☆14Updated this week
- 基于Tornado、Redis、UDP多播的分布式聊天室☆17May 29, 2013Updated 13 years ago
- 🌼 Homework of Computer Systems: A Programmer's Perspective (3rd Edition) and Autolab solutions of CMU 15-513: Intro to Computer Systems☆34Apr 27, 2021Updated 5 years ago
- [SIGMOD 24] View-based Explanations for Graph Neural Networks☆17Jan 18, 2025Updated last year
- Seamless 3D Object Integration using Gaussian Splatting☆19Jul 1, 2024Updated last year
- 让 Java 1.8 也能像 Kotlin 一样使用 Sealed Class。Make Java 1.8 use Sealed Class like Kotlin☆12Aug 31, 2022Updated 3 years ago
- Source code of our paper for our paper: Accelerating Biclique Counting on GPU☆14Mar 5, 2024Updated 2 years ago
- ☆11Jan 26, 2020Updated 6 years ago
- Love☆13Jul 25, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆19Jan 31, 2024Updated 2 years ago
- A secure password manager☆11Sep 28, 2015Updated 10 years ago
- An example Hardware Processing Engine☆12Feb 4, 2023Updated 3 years ago
- 一个基于CS架构、Socket、多线程,用swing写的超市收银管理系统。☆22Feb 11, 2026Updated 3 months ago
- A simple snake game demo with WebGL☆12Jul 2, 2021Updated 4 years ago
- Code and resources of CS106 2019Fall. All rights reserved for Stanford.☆41Dec 22, 2023Updated 2 years ago
- ☆19Apr 3, 2024Updated 2 years ago
- UCBerkely Spring 2020 CS186 side project.(B+ tree indices, efficient join algorithms, query optimization, multigranularity locking, datab…☆26Oct 12, 2020Updated 5 years ago
- assignments☆24Apr 27, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 使用Go语言搭建一个简单的OSS对象存储服务器,依据书ISBN978-7-115-48055-2编写,修复书上一些bug,并提供构建的完整视频过程☆11Aug 12, 2021Updated 4 years ago
- formwork is my favourite rust template☆19Dec 1, 2025Updated 5 months ago
- ☆20May 8, 2024Updated 2 years ago
- an input method management bot for emacs☆11May 21, 2026Updated last week
- SJTU-EI332 计算机组成实验 pipelined cpu☆12Jun 11, 2020Updated 5 years ago
- MIT 6.S801 xv6 book 2020版 中文翻译☆206May 22, 2021Updated 5 years ago
- 2-core MIPS R10K OoO Processor with Snooping MSI and Pipeline Bus☆12Jan 5, 2018Updated 8 years ago
- 吉他弹唱标准教程☆12Dec 9, 2022Updated 3 years ago
- A sample playground for (re)learning Android.☆13Nov 15, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Working through Crafting Interpreters, in Unity C#.☆13Jul 12, 2021Updated 4 years ago
- os kernel labs for operating systems course in Tsinghua University.☆21Feb 5, 2018Updated 8 years ago
- Code for ComEx [CVPR 2022]☆12Dec 5, 2022Updated 3 years ago
- 算法设计与分析第二版源码☆59Oct 28, 2020Updated 5 years ago
- Documentation of YADAN, a RISC-V Core, SoC, and Board. Designed for engineering education. // 鸭蛋的文档。☆17Jan 16, 2025Updated last year
- Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components …☆18Mar 3, 2026Updated 2 months ago
- ☆16Apr 25, 2024Updated 2 years ago