A math-aware search engine.
☆357Nov 16, 2023Updated 2 years ago
Alternatives and similar repositories for search-engine
Users that are interested in search-engine 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 database app for ring theory☆22May 19, 2026Updated last week
- ☆29May 7, 2026Updated 3 weeks ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17May 7, 2026Updated 3 weeks ago
- A python API for GPU-powered stiff ODE models simulation☆11Jul 3, 2018Updated 7 years ago
- A sample project illustrating how to write and distribute SageMath extensions☆16Feb 10, 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.
- ☆17Jan 16, 2017Updated 9 years ago
- A set of visualization engines.☆14Updated this week
- Tiny library to make optimized regexes for a specific set of texts☆19Sep 21, 2011Updated 14 years ago
- Riemann Hypothesis book☆75Nov 24, 2017Updated 8 years ago
- This repository is for archival. Please see https://github.com/Mathics3/mathics-core☆2,064Jul 31, 2022Updated 3 years ago
- Rubi for Mathematica☆260Feb 22, 2024Updated 2 years ago
- TDF-ICDAR 2019 Dataset for Typeset Math Formula Detection☆69Feb 9, 2020Updated 6 years ago
- MXNet implementation of AC-BLSTM☆23Apr 3, 2019Updated 7 years ago
- Neural tensor network for KB completion ( http://papers.nips.cc/paper/by-source-2013-504 )☆20May 13, 2014Updated 12 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Native runtime library equipped with Java/JavaScript-like API☆31Jan 1, 2016Updated 10 years ago
- This is artificial online handwritten mathematical expressions that generated by linear distortion models☆14May 14, 2019Updated 7 years ago
- An 8-bit CPU designed for education☆20Nov 7, 2014Updated 11 years ago
- ☆15Nov 9, 2017Updated 8 years ago
- VirtualBox configuration files for emulating Ian's bootable floppy☆34Sep 4, 2016Updated 9 years ago
- Offline handwritten mathematical expression regnition via stroke extraction and MyScript☆39Nov 16, 2022Updated 3 years ago
- ☆13Sep 12, 2018Updated 7 years ago
- A large (>5k) collection of search questions asked about Coronavirus 🦠☆14Mar 21, 2020Updated 6 years ago
- Code for the paper ``Text2Math: End-to-end Parsing Text into Math Expressions" accepted by EMNLP 2019☆16Aug 20, 2019Updated 6 years ago
- 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.
- Matrices.☆18Feb 20, 2020Updated 6 years ago
- 📟 Encoding/Decoding tool for Martin David's theoretical S language programs.☆16Jul 29, 2016Updated 9 years ago
- Nov 20 2017 -- A distributed open source search engine and spider/crawler written in C/C++ for Linux on Intel/AMD. From gigablast dot com…☆1,601Jan 10, 2024Updated 2 years ago
- A calculator with equations and variables☆13Mar 23, 2016Updated 10 years ago
- Paul Layzell's Evolvable Motherboard☆13Sep 14, 2015Updated 10 years ago
- Skeleton code for new 6.858 final project --- an encrypted and authenticated file system☆24Apr 20, 2022Updated 4 years ago
- These classes calculate fast mathematical Sine/Cos for limited accuracy☆11Mar 7, 2021Updated 5 years ago
- ☆23Apr 1, 2016Updated 10 years ago
- A gulp plugin that makes it easy to replace latex equations in a markdown file with rendered images☆11Jul 24, 2015Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Warp is a preference pane that allows you to use the mouse to switch between Spaces rather than using the keyboard.☆21Jan 19, 2013Updated 13 years ago
- A Haskell library for converting LaTeX math to MathML.☆396May 11, 2026Updated 2 weeks ago
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 3 years ago
- Facilitating the global conversation on academic literature☆267May 21, 2017Updated 9 years ago
- Hands-on material for the SC19 tutorial, Deep Learning at Scale☆17Nov 19, 2019Updated 6 years ago
- Distributed Programming Abstractions☆16Dec 5, 2018Updated 7 years ago
- Parser for producing symbolic math ASTs☆24Sep 17, 2017Updated 8 years ago