Solutions to various math textbooks
☆19May 11, 2015Updated 10 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:
- Solutions to Algebra, by Michael Artin.☆35Dec 6, 2016Updated 9 years ago
- My minimalist Neovim configuration☆11Mar 23, 2026Updated 3 weeks ago
- My emacs configuration☆10Dec 30, 2016Updated 9 years ago
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 2 months ago
- HTML to CL-WHO☆12Mar 26, 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.
- A formally verified compiler for a simple language with numbers and sums☆28Nov 29, 2020Updated 5 years ago
- Easy Safe Chat☆10Sep 29, 2023Updated 2 years ago
- Astrovim colorscheme and its darker version☆12May 24, 2023Updated 2 years ago
- Personal configuration files (dot files)☆21Mar 26, 2026Updated 3 weeks ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆38May 15, 2024Updated last year
- An async-friendly streaming parser for geonames data.☆12Nov 2, 2015Updated 10 years ago
- Resolve a nested selector in a PostCSS AST☆13Mar 1, 2026Updated last month
- HTTPS support for Quicklisp via curl☆35Mar 26, 2026Updated 3 weeks ago
- A linter for JS promises that checks for possible Promise.then usage errors.☆48Jun 14, 2014Updated 11 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.
- ☆20Dec 23, 2025Updated 3 months 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
- VS Code Extension for Markdown Preview to support including files☆12Dec 9, 2022Updated 3 years ago
- PostCSS plugin to discard rules, atrules or declarations by selector, RegExp or callback function☆12Jan 24, 2026Updated 2 months ago
- OTIS course management system☆45Updated this week
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 3 years ago
- 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.☆13Dec 17, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A web component to render KaTeX expression☆12Nov 17, 2025Updated 4 months ago
- Visualizations of character embeddings from derived character vectors.☆13Apr 4, 2017Updated 9 years ago
- a basic wrapper for Rate My Professors's GraphQL API☆15Oct 31, 2023Updated 2 years ago
- A small ui program to convert videos into image folders and vice versa☆12Jan 14, 2022Updated 4 years ago
- A computer algebra system for research in combinatorial game theory☆57Jan 15, 2024Updated 2 years ago
- Compiles (La)TeX code to responsive SVGs☆11Apr 28, 2023Updated 2 years ago
- A VSCode extension that check links in Markdown to ensure they are valid.☆18Jun 5, 2023Updated 2 years ago
- Package bundling a few markdown-it plugins to approximate pandoc flavoured markdown☆18Mar 25, 2025Updated last year
- Host VMs, boot anywhere.☆24Dec 28, 2025Updated 3 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.
- An admonition plugin for markdown-it powered by docarys.io☆17Jan 6, 2023Updated 3 years ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆35Jan 23, 2024Updated 2 years ago
- An AngularJS Gravatar Image Directive.☆83Apr 6, 2015Updated 11 years ago
- FTS desktop file search with previews☆21Jul 21, 2024Updated last year
- [WIP] Google Developer Documentation Style Guide for textlint.☆14Jul 5, 2022Updated 3 years ago
- Generate brotli compressed assets and files for your Jekyll site at build time☆19Oct 16, 2023Updated 2 years ago
- Adds collapsible outline to pdf, taking advantage of the file system of nodejs☆11Jan 12, 2023Updated 3 years ago