My lecture notes for modern mathematics, including topics like set theory, advanced calculus, topology, linear algebra and abstract algebra, complex analysis etc.
☆11Jun 29, 2026Updated 4 months ago
Alternatives and similar repositories for Modern-Mathematics
Users that are interested in Modern-Mathematics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ROS-based library for computing manipulability metrics☆14Oct 19, 2020Updated 6 years ago
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆19Oct 23, 2012Updated 14 years ago
- ☆23Sep 18, 2026Updated last month
- Universal Robot (UR3) Pick and Place Hardware Implementation with ROS using a USB Cam and an Electromagnetic Gripper☆16Dec 10, 2018Updated 7 years ago
- A curated list of Kafka Connect connectors☆12Sep 24, 2026Updated last month
- 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.
- Source code for MA4270: Data Modelling and Computation on Transformers and Nadaraya-Watson Kernel Regression☆19May 29, 2024Updated 2 years ago
- ☆15Aug 25, 2020Updated 6 years ago
- Lecture notes for the "Randomised and Advanced algorithms" class developed for the University of Sydney.☆23Jan 24, 2026Updated 9 months ago
- Open detector of AI-generated text in economics working papers (TF-IDF LR + DistilRoBERTa ensemble from the pangram-nber project)☆26Sep 9, 2026Updated last month
- AI System for Posture Correction in Physical Exercises☆16Oct 7, 2025Updated last year
- Software Engineering NSBM (Plymouth) Past Papers☆13Jun 13, 2023Updated 3 years ago
- data structure and algorithms notes focused specially for placements☆19Oct 26, 2026Updated last week
- 📕 Proof-Based Math Readings is a free, independent online reading group where we study the mathematics required for economics master’s a…☆22Sep 11, 2026Updated last month
- ☆13Jul 30, 2026Updated 3 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆13Apr 2, 2024Updated 2 years ago
- 🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚☆56Aug 16, 2022Updated 4 years ago
- The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.☆30Jul 31, 2026Updated 3 months ago
- Analysis and Design of Algorithms(1010043316)☆29Sep 20, 2024Updated 2 years ago
- Prism is a next-generation document processing SDK built in Rust, designed to view, convert, and extract content from 600+ file formats. …☆17Oct 24, 2026Updated last week
- ☆12Dec 8, 2024Updated last year
- An automatic differentiation system for dense and sparse problems☆13Jan 16, 2025Updated last year
- Academic Resources for the Courses at IIITD - Monsoon 2021 onwards☆11Sep 23, 2023Updated 3 years ago
- Option, Try, Either, and some more common basic DataTypes☆13Jul 1, 2023Updated 3 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.
- A complete resource hub for Operating System course including notes, labs, and study materials.☆20Jul 31, 2025Updated last year
- Curated list of resources for genetic and evolutionary programming☆16Mar 2, 2022Updated 4 years ago
- Common project management templates.☆18Feb 28, 2023Updated 3 years ago
- Materials for the Computer Science course, Digital Design (Logic Circuits)☆10Apr 25, 2022Updated 4 years ago
- Lecture notes on probabilistic graphical modeling, based on Stanford CS228 (work in progress!)☆33Mar 2, 2017Updated 9 years ago
- Showcase of the Gatling Plugin for Maven + Scala☆17Oct 13, 2026Updated 3 weeks ago
- 공학수학 강의노트☆22Feb 27, 2024Updated 2 years ago
- fanuc mtconnect adapter☆12Jan 22, 2016Updated 10 years ago
- Generalized Sentiment Classifier finetuned by KoELECTRA☆11Nov 28, 2024Updated last year
- 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.
- 2019 딥러닝-비전처리 홀로서기 특강에 사용된 Lecture Note 및 Code Repository입니다.☆12Sep 7, 2019Updated 7 years ago
- Cpp Examples☆31Feb 8, 2023Updated 3 years ago
- Open source implementation of Logical Analysis of Data (LAD) Algorithm.☆16Oct 6, 2023Updated 3 years ago
- various collected notes, some copy/pasted from elsewhere, but mostly original☆11Jun 28, 2016Updated 10 years ago
- Python framework for coupled HPC simulations☆16Updated this week
- Lecture notes for CSCI3431: Operating Systems☆12Dec 3, 2014Updated 11 years ago
- A rust implementation of Andrej Karpathy's Micrograd☆15Apr 28, 2025Updated last year