Solutions to various math textbooks
☆20May 11, 2015Updated 11 years ago
Alternatives and similar repositories for math-solutions
Users that are interested in math-solutions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Typeset version of EGA and SGA by Grothendieck.☆12Jan 28, 2014Updated 12 years ago
- Solutions to Algebra, by Michael Artin.☆35Dec 6, 2016Updated 9 years ago
- Sparse/dense tensor library for Python☆12Apr 1, 2026Updated last month
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 3 months ago
- HTML to CL-WHO☆12Mar 26, 2024Updated 2 years ago
- 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.
- A optimizer for Chinese and Japanese typography on websites☆22Apr 14, 2024Updated 2 years ago
- ftyuejian / Predicting-CO2-Absorption-in-Ionic-Liquid-with-Molecular-Descriptors-and-Explainable-GNNData and code for Predicting CO2 Absorption in Ionic Liquid with Molecular Descriptors and Explainable Graph Neural☆20Sep 2, 2022Updated 3 years ago
- Generate Strava Art route from images☆16Jun 11, 2024Updated last year
- Astrovim colorscheme and its darker version☆12May 24, 2023Updated 3 years ago
- Help people understand the ZKP mooc course of Berkeley☆14Feb 10, 2023Updated 3 years ago
- ☆14Jun 23, 2022Updated 3 years ago
- Tensor library for c++☆15Sep 5, 2019Updated 6 years ago
- Introduction to Machine and Deep Learning Theory☆15Jun 13, 2023Updated 2 years ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆40May 15, 2024Updated 2 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.
- An async-friendly streaming parser for geonames data.☆12Nov 2, 2015Updated 10 years ago
- A distributed key-value store☆31Jan 23, 2023Updated 3 years ago
- HTTPS support for Quicklisp via curl☆35Mar 26, 2026Updated 2 months ago
- Fast, idiomatic Redis bidings for Racket.☆34Jul 24, 2025Updated 10 months ago
- ☆17Sep 4, 2022Updated 3 years ago
- ☆20Dec 23, 2025Updated 5 months ago
- ☆33May 30, 2022Updated 3 years ago
- One hour lecture to introduce LaTeX to maths undergraduates.☆10Oct 2, 2020Updated 5 years ago
- Code that searches for ribbon bands☆18Jan 28, 2025Updated last year
- 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.
- VS Code Extension for Markdown Preview to support including files☆12Dec 9, 2022Updated 3 years ago
- materials available to the public☆33Mar 28, 2026Updated last month
- PostCSS plugin to discard rules, atrules or declarations by selector, RegExp or callback function☆12Jan 24, 2026Updated 4 months ago
- Livin' like it's 1813 (or 1988).☆35Dec 13, 2025Updated 5 months ago
- OTIS course management system☆45May 20, 2026Updated last week
- Handwriting recognition for reMarkable notes☆14Mar 17, 2021Updated 5 years ago
- Works with Autocuts to automatically turn on Do Not Disturb based on calendar events during your day.☆14Dec 17, 2019Updated 6 years ago
- My Neovim config☆22May 12, 2026Updated 2 weeks ago
- Visualizations of character embeddings from derived character vectors.☆13Apr 4, 2017Updated 9 years ago
- 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.
- Sample app to create X.509 certificates for Azure IoT Hub Device Provisioning Service☆24Apr 17, 2018Updated 8 years ago
- a basic wrapper for Rate My Professors's GraphQL API☆16Oct 31, 2023Updated 2 years ago
- A small ui program to convert videos into image folders and vice versa☆12Jan 14, 2022Updated 4 years ago
- TikZ to SVG Converter☆12Jan 27, 2022Updated 4 years ago
- Chrome Extension for downloading videos from Zoom.us☆11May 5, 2020Updated 6 years ago
- Build visualizations live!☆22Jan 5, 2023Updated 3 years ago
- ☆17Jun 4, 2024Updated last year