https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2015/
☆29Sep 30, 2018Updated 7 years ago
Alternatives and similar repositories for MIT-6.042-Mathematics-for-Computer-Science
Users that are interested in MIT-6.042-Mathematics-for-Computer-Science are comparing it to the libraries listed below
Sorting:
- learn llvm from scratch☆14Apr 29, 2023Updated 2 years ago
- RIBES is an automatic evaluation metric for machine translation.☆11Sep 7, 2017Updated 8 years ago
- A sample playground for (re)learning Android.☆13Nov 15, 2023Updated 2 years ago
- A mini soft renderer.☆13Dec 17, 2023Updated 2 years ago
- Let's learn gradient descent by using linear regression, logistic regression and neural networks!☆12Jan 14, 2019Updated 7 years ago
- 操作系统课设自用 xv6-2021 。☆10Jul 13, 2022Updated 3 years ago
- A high-efficiency hybrid solving CEC algorithm☆14May 25, 2023Updated 2 years ago
- Download wallpapers from http://wallpaperscraft.com/☆11Feb 10, 2023Updated 3 years ago
- Craft a toy compiler☆10Aug 21, 2019Updated 6 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆12Apr 16, 2024Updated last year
- A mod that added in-game Easter eggs for Chinese festivals☆12Jun 23, 2024Updated last year
- a header-only crossplatform type-safe dynamic compiler generator based on C++ 17.☆11Mar 1, 2022Updated 4 years ago
- Ext-Oracle Summarization: extractive summarization that maximize ROUGE w.r.t. target☆11Jun 24, 2020Updated 5 years ago
- Template project to immediately start experimenting with kits from Huawei Mobile Services☆13Oct 28, 2022Updated 3 years ago
- All of the code inside of this repository will directly relate to what is on the AZ-204 exam☆15Jun 17, 2020Updated 5 years ago
- Contains all the information regarding System Design Study Group☆13Sep 18, 2021Updated 4 years ago
- Suite for Information gathering☆12Jul 2, 2018Updated 7 years ago
- DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)☆13Nov 2, 2023Updated 2 years ago
- 作为对《C++ Concurrency in Action - SECOND EDITION》的中文翻译。☆13Jun 3, 2021Updated 4 years ago
- chen bin's vimrc☆14May 2, 2025Updated 10 months ago
- Certified Programming with Dependent Types (Japanese Translation)☆15Jan 14, 2021Updated 5 years ago
- SpanAlign: Sentence Alignment Method based on Cross-Language Span Prediction and ILP☆14Mar 24, 2021Updated 4 years ago
- Self Tutorial Axum + Vue + TailwindCSS☆11Nov 3, 2021Updated 4 years ago
- Detect complete and incomplete circular shapes in noisy images☆18Apr 7, 2020Updated 5 years ago
- Microsoft Dynamics CRM Mobile SDK library for Android (Java) app development.☆10Sep 14, 2016Updated 9 years ago
- A Scheme-like language interpreter☆13Jun 15, 2023Updated 2 years ago
- Courses and some other useful resources to teach oneself a university degree in CS☆15Sep 13, 2021Updated 4 years ago
- ☆13Oct 26, 2020Updated 5 years ago
- Rust bindings to OpenGL 3.3☆13Mar 8, 2021Updated 4 years ago
- ☆15Feb 22, 2023Updated 3 years ago
- A five day hands-on course for teaching cloud development concepts in college institutions☆16Jan 3, 2022Updated 4 years ago
- ☆16Mar 15, 2018Updated 7 years ago
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- Yet Yet Another Compiler Compiler | 一个编译器前端框架☆17Apr 7, 2024Updated last year
- Gathers single audits from the federal Single Audit Warehouse (and selected state file repositories), assigns them human readable names a…☆22Jul 30, 2020Updated 5 years ago
- ☆21Jul 25, 2023Updated 2 years ago
- This is a python tutorial for Bayesian inferences using MCMC. It includes concepts of reject sampling, markov chain stationary distributi…☆14Nov 3, 2016Updated 9 years ago
- ☆18Mar 2, 2023Updated 3 years ago
- View my Github 2019 Annual Report｜查看我的 Github 2019 年度报告☆36Jan 22, 2020Updated 6 years ago