Notes in LaTeX for learning Mathematics, both self-taught and from school.
☆25Nov 1, 2018Updated 7 years ago
Alternatives and similar repositories for Mathematics-Notes
Users that are interested in Mathematics-Notes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 7 years ago
- Theorems, Definitions, Papers, Research☆18Jul 3, 2019Updated 6 years ago
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆80Apr 7, 2026Updated last week
- ☆17Jan 6, 2025Updated last year
- Setup guides for Raptor Talos II Secure Workstation based on IBM's Power9 CPU.☆15Sep 7, 2025Updated 7 months ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆12Oct 16, 2021Updated 4 years ago
- Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)☆17Mar 13, 2022Updated 4 years ago
- ☆14Dec 18, 2022Updated 3 years ago
- A fast C++ Madelbrot renderer using AVX2 extensions☆13Oct 7, 2022Updated 3 years ago
- 🇯 JSON encoder and decoder in pure SystemVerilog☆14Jul 7, 2024Updated last year
- A design for TinyTapeout☆19Sep 23, 2022Updated 3 years ago
- SpaceWire☆14Jul 17, 2014Updated 11 years ago
- LaTeX sources for notes for the maths courses at Cambridge.☆110Jun 12, 2024Updated last year
- network packets capture in C language based on libpcap☆14Sep 23, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆12Nov 2, 2021Updated 4 years ago
- 开源、免费的离线OCR软件。支持截屏/批量导入图片，PDF文档识别，排除水印/页眉页脚，扫描/生成二维码。内置多国语言库。☆25Apr 4, 2024Updated 2 years ago
- CoSaMP algorithm in Python language for sparse recovery problems.☆10Jan 14, 2022Updated 4 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆47Jul 16, 2014Updated 11 years ago
- Super figure is a vscode extension that implements integration for Inkscape and Gimp as means to quickly launch and edit figures and see …☆20Mar 16, 2024Updated 2 years ago
- Docker image for NS-3 Network Simulator v.3.30☆13Apr 11, 2021Updated 5 years ago
- This repository provides codes for implementing DQN model in algorithmic trading☆14Apr 18, 2022Updated 3 years ago
- 这是一个二分类的决策树系统，用于识别一个网站是否为钓鱼网站☆13Feb 18, 2025Updated last year
- Create SVG files from VMobject and VGroup☆26Mar 30, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The ultimate forth chip documentation collection☆17Dec 16, 2018Updated 7 years ago
- ☆14Oct 3, 2018Updated 7 years ago
- A fast MATLAB implementation of the Weisfeiler--Lehman graph transformation and associated kernel.☆11Oct 25, 2017Updated 8 years ago
- Code for recovery of low-rank plus sparse matrices☆11May 6, 2024Updated last year
- Docker containers that run DPDK on ubuntu, rockylinux and rhel etc host machines.☆13Jul 10, 2025Updated 9 months ago
- ☆14Sep 1, 2022Updated 3 years ago
- The Core Flight System (cFS) is a generic flight software architecture framework used on flagship spacecraft, human spacecraft, cubesats,…☆15Apr 23, 2021Updated 4 years ago
- C++ 17 Hardware abstraction layer generator from systemrdl☆14Mar 24, 2026Updated 3 weeks ago
- python 开发的兵器库. 收藏内容包括参考代码，实验，培训资料等☆12Dec 26, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Adaptive version of KMV algorithm for cardinality estimation☆22May 5, 2019Updated 6 years ago
- MCMC Metropolis Hastings and Bayesian Regression from Scratch☆14Dec 28, 2023Updated 2 years ago
- Connecting Interpretability and Robustness in Decision Trees through Separation☆17May 8, 2021Updated 4 years ago
- ☆14Feb 21, 2022Updated 4 years ago
- ☆25Aug 5, 2024Updated last year
- Extensions for using Scrapy on Amazon AWS☆32Dec 5, 2012Updated 13 years ago
- Code for paper " LST-Net: Learning a Convolutional Neural Network with a Learnable Sparse Transform" appeared in ECCV'20☆10Dec 5, 2020Updated 5 years ago