Materials for the AI in Mathematical Research course
☆97Mar 12, 2026Updated 2 weeks ago
Alternatives and similar repositories for ai-in-math-course
Users that are interested in ai-in-math-course are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.☆55Updated this week
- MCP Server to make searching openrouter easy☆19Feb 28, 2026Updated last month
- ☆10Jul 17, 2023Updated 2 years ago
- A flexible and powerful unscented Kalman filter library that makes no assumptions about what you're estimating or how you're measuring it…☆17Sep 15, 2024Updated last year
- Sports Analytics Keynotes by Joris Bekkers☆53Aug 4, 2025Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Streamlit app that uses Respell AI's API to allow you to make calls using AI.☆13Oct 29, 2023Updated 2 years ago
- 2024 University of Reading data assimilation training course practical☆10May 19, 2025Updated 10 months ago
- Reduced order modeling with shallow recurrent decoder networks☆20Jan 20, 2026Updated 2 months ago
- Good coding practices for scientific programming.☆19Mar 7, 2014Updated 12 years ago
- f("A1") = 𓀀; also A1.png☆12Jul 19, 2025Updated 8 months ago
- Code Examples for the OpenAI series☆14Jul 23, 2023Updated 2 years ago
- ☆12Aug 15, 2018Updated 7 years ago
- Git Tutorial☆23Apr 19, 2024Updated last year
- Repository for score-based transport modeling.☆11Jul 22, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Source files for my blog. Based on Hakyll.☆18Dec 26, 2023Updated 2 years ago
- ☆12Aug 24, 2017Updated 8 years ago
- Career Assistant: Search for IT Companies Careers without going to their careers page☆14Mar 22, 2026Updated last week
- Build a graph of citations from annotated BibTeX files.☆14Jan 22, 2018Updated 8 years ago
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆56Dec 29, 2025Updated 3 months ago
- ☆18Oct 23, 2024Updated last year
- All-in-one, ready to run Graylog2 Docker image☆12Jun 29, 2017Updated 8 years ago
- Chat with Towards Data Science☆14Nov 4, 2023Updated 2 years ago
- MMLU eval for RU/EN☆15Jul 31, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Python wrapper for phantomjs☆15May 28, 2021Updated 4 years ago
- This tool offers an interactive way to analyze and understand your screenshots using OpenAI's GPT-4 Vision API. Capture any part of your …☆23Aug 8, 2024Updated last year
- ☆24Nov 15, 2024Updated last year
- Word2Vec implementation☆11Jun 20, 2022Updated 3 years ago
- The project to find correlation between tweets and future stock prices☆12Feb 28, 2023Updated 3 years ago
- NSE-script for brute force open ports☆27Jun 14, 2015Updated 10 years ago
- [ICLR 2025] Official implementation of "Towards Neural Scaling Laws for Time Series Foundation Models"☆22Oct 15, 2025Updated 5 months ago
- ☆18Mar 25, 2025Updated last year
- Use LLM to help you in your reasearch☆16Jun 13, 2025Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆17Aug 5, 2025Updated 7 months ago
- ☆22Jul 24, 2023Updated 2 years ago
- ☆19Sep 1, 2022Updated 3 years ago
- WebPage-Assistance is a modern Chrome extension that lets you summarize, translate, Q&A, and analyze any webpage or screenshot using Open…☆22Jun 1, 2025Updated 9 months ago
- Bayesian optimization and active learning with likelihood-weighted acquisition functions☆15Jun 17, 2024Updated last year
- Neural Galerkin☆17Oct 25, 2023Updated 2 years ago
- Universal Adversarial Perturbations for Vision-Language Pre-trained Models☆24Aug 8, 2025Updated 7 months ago