A math resource for CS student (I have decided to refactor the contents to my personal blog and continue working on this, so the project is archived)
☆20Nov 27, 2024Updated last year
Alternatives and similar repositories for Math-for-Computer-Science
Users that are interested in Math-for-Computer-Science are comparing it to the libraries listed below
Sorting:
- MoonYacc is an LR(1) parser generator for MoonBit programming language.☆21Feb 13, 2026Updated 2 weeks ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Jul 24, 2024Updated last year
- OCaml CRUD Todo App using Melange with JWT auth☆21Jan 30, 2025Updated last year
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- 🐫🎮 OCaml Game Engine☆44Mar 20, 2025Updated 11 months ago
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- Quantum Optimal Control☆10Aug 25, 2025Updated 6 months ago
- ☆12Mar 28, 2024Updated last year
- 十分钟魔法练习 in OCaml☆36Mar 31, 2022Updated 3 years ago
- ☆13Jul 22, 2022Updated 3 years ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Updated this week
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Feb 16, 2026Updated last week
- Repositório principal do TulipBrowser, um navegador minimalista, rápido e eficiente. 100% BR. 🚀🐔☆11Mar 13, 2025Updated 11 months ago
- control system for cold atoms experiments based on a commercial low-cost FPGA-SoC development board☆10Jul 17, 2025Updated 7 months ago
- ☆13Sep 5, 2024Updated last year
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- OpenPix/Woovi Java SDK☆10Jul 25, 2024Updated last year
- Computer Systems Lab☆11Oct 16, 2025Updated 4 months ago
- A tutorial on simulating quantum circuits and quantum error correction with tensor networks☆20Sep 20, 2025Updated 5 months ago
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 8 years ago
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 5 months ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- BiasFinder | IEEE TSE | Metamorphic Test Generation to Uncover Bias for Sentiment Analysis Systems☆11Jan 18, 2022Updated 4 years ago
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆11Jan 18, 2024Updated 2 years ago
- A Key–Value Database☆12Oct 1, 2023Updated 2 years ago
- Native node.js printer☆10Jul 2, 2024Updated last year
- My own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- 2024秋《计算物理基础》课程作业代码与随笔☆13Dec 20, 2024Updated last year
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- ☆15Jun 6, 2024Updated last year
- 用有趣的方法讲解计算机知识，图解计算机网络、操作系统、计算机组成原理、算法和数据结构、数据库等。秒懂系列！持续更新中...☆60Feb 8, 2024Updated 2 years ago
- The codes calculate energy spectrum, Chern number, particle partition entanglement and quantum metric of the band of the twisted bilayer …☆14Oct 27, 2024Updated last year
- Using Git to Code, Collaborate and Share☆14Oct 9, 2024Updated last year
- ☆27Dec 22, 2025Updated 2 months ago
- 清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University☆10Mar 15, 2019Updated 6 years ago