Files for the U of Manitoba course MATH 2740 (Mathematics of Data Science)
☆17Dec 4, 2025Updated 4 months ago
Alternatives and similar repositories for math-of-data-science
Users that are interested in math-of-data-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:
- A modern implementation of CVPR 2016 paper: "A Hierarchical Deep Temporal Model for Group Activity Recognition."☆15Feb 24, 2025Updated last year
- A Rust implementation of the Lean kernel☆11Jan 2, 2023Updated 3 years ago
- Classes and methods for Geometric Deep Learning to support Substack, LinkedIn newsletters and tutorials☆25Mar 21, 2026Updated 2 weeks ago
- Code repository for my YouTube series on Machine Learning.☆30Feb 22, 2025Updated last year
- Quick setup script(s) for fresh MacBook devs☆40Jun 30, 2025Updated 9 months ago
- 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.
- Share the same project justfile tasks with your AI Coding Agent.☆40Aug 22, 2025Updated 7 months ago
- Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics☆13Jan 16, 2022Updated 4 years ago
- I wanna use vive tracker as rigid body☆15Jan 25, 2021Updated 5 years ago
- 🛶 Lean parametrized testing library for Rust☆27Jan 21, 2026Updated 2 months ago
- Free Software OSVR Driver for the HTC Vive☆19Nov 6, 2017Updated 8 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 4 years ago
- ☆36Aug 5, 2017Updated 8 years ago
- ☆30Mar 21, 2026Updated 2 weeks ago
- keyframe-based stereo visual odometry☆10Mar 14, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Repo of James Molloy OS Tutorial☆10Dec 15, 2018Updated 7 years ago
- ☆25Nov 7, 2025Updated 5 months ago
- Utilities for turning characters into various cases: camelCase, Title Case, lower case, upper case, etc.☆15May 18, 2020Updated 5 years ago
- Rust bindings for the Lean 4 proof assistant☆47Sep 24, 2025Updated 6 months ago
- Media streaming to Google Colab instance via WebRTC.☆12Oct 12, 2021Updated 4 years ago
- ☆11Aug 4, 2022Updated 3 years ago
- UE4 blueprint nodes to work with Quaternions☆27Dec 4, 2021Updated 4 years ago
- Pico is a numpy-based "pico" neural network framework, with torch-like coding style and auto-grad implementation., with MNIST example.☆11Mar 11, 2022Updated 4 years ago
- Deep Learning Tutorial notes and code. See the wiki for more info.☆10Oct 29, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- turtlebot explore indoor environment using kinect2☆11Feb 21, 2017Updated 9 years ago
- Feature based SLAM on monocular RGB images.☆11May 19, 2019Updated 6 years ago
- Example of ROS 2 package configured with Github Actions enabled☆13Jun 9, 2023Updated 2 years ago
- 基于FPGA实现用户态中断硬件机制与优化操作系统内核☆10Apr 1, 2025Updated last year
- ☆12Sep 23, 2025Updated 6 months ago
- DeeCamp 2019 最佳团队 斗地主出牌引擎☆14Apr 3, 2021Updated 5 years ago
- MATLAB Implementation of Monocular Odometry☆10Jan 7, 2019Updated 7 years ago
- EECS 568 - Mobile Robotics Final Project☆11May 12, 2019Updated 6 years ago
- A mac version of project in slambook2☆12Jan 18, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Pytorch implementation of Semantic Segmentation in ROS on MIT ADE20K dataset based on semantic-segmentation-pytorch by CSAIL☆11Jul 24, 2023Updated 2 years ago
- Read "humanoid robot" and implement some algorithms☆10Jan 8, 2018Updated 8 years ago
- Free Software OSVR Driver for the HTC Vive☆42Oct 19, 2016Updated 9 years ago
- InEKF Localization and Semantic Mapping on the KITTI Dataset☆13May 5, 2020Updated 5 years ago
- BILIBILI.☆15Jan 6, 2019Updated 7 years ago
- ☆14Oct 3, 2024Updated last year
- The Complex Number Game. Make the complex numbers in Lean.☆42Nov 12, 2022Updated 3 years ago