A math-aware search engine.
☆353Nov 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
Sorting:
- ☆12Mar 8, 2022Updated 3 years ago
- The Soft Cosine Measure system developed for the ARQMath-3 shared task evaluation of math information retrieval systems☆13Sep 8, 2022Updated 3 years ago
- ☆27Feb 3, 2026Updated last month
- ☆57Mar 21, 2025Updated 11 months ago
- An alternative to sudo and doas written in Rust☆14Jan 31, 2021Updated 5 years ago
- JavaScript expression parsing, MathML rendering and CAS.☆18Nov 17, 2025Updated 3 months ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17Sep 15, 2022Updated 3 years ago
- GTDB dataset for training & evaluation for mathematical OCR systems☆29Apr 9, 2021Updated 4 years ago
- Offline Handwritten Math Expression Recognizer☆40Jul 17, 2019Updated 6 years ago
- Rubi for Mathematica☆257Feb 22, 2024Updated 2 years ago
- MXNet implementation of AC-BLSTM☆23Apr 3, 2019Updated 6 years ago
- This repository is for archival. Please see https://github.com/Mathics3/mathics-core☆2,066Jul 31, 2022Updated 3 years ago
- A set of visualization engines.☆14Updated this week
- monetdb_fdw - PostgreSQL Foreign Data Wrapper for MonetDB☆41Mar 22, 2017Updated 8 years ago
- Web based semantic visualization tool☆12Feb 16, 2017Updated 9 years ago
- Native runtime library equipped with Java/JavaScript-like API☆31Jan 1, 2016Updated 10 years ago
- Monad implementation in Julia☆13Dec 14, 2020Updated 5 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
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 2 years ago
- Xapiand: A RESTful Search Engine☆362Mar 29, 2025Updated 11 months ago
- My way of learning Rust, and trying to implement an xstate-like statechart library☆14Mar 21, 2022Updated 3 years ago
- A calculator with equations and variables☆13Mar 23, 2016Updated 9 years ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated last year
- ☆14Updated this week
- My Final Paper☆13Jun 28, 2015Updated 10 years ago
- Repository for the current status of the LESS submission☆13Feb 4, 2026Updated 3 weeks ago
- The Science knowledge graph ontologies, a.k.a. SKGO, is a suite of OWL ontology models to capture the knowledge of scientific research da…☆14Jul 3, 2025Updated 8 months ago
- End to end system on recognition of Handwritten Math Symbols☆12Aug 27, 2016Updated 9 years ago
- antlr4_tex2sym parses LaTeX math expressions and converts it into the equivalent SymPy form by using antlr4.☆11Oct 7, 2020Updated 5 years ago
- ☆12Jan 18, 2017Updated 9 years ago
- A declarative CAM program for creating gcode for CNC routing/milling machines.☆16Aug 1, 2016Updated 9 years ago
- Finite State Machines and Statecharts for Elixir☆18Nov 17, 2022Updated 3 years ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- 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
- An academic open source and open data web crawler☆27Nov 20, 2017Updated 8 years ago
- NetBSD cdb (constant database) library☆14May 24, 2019Updated 6 years ago
- Script to perform dictionary based n-gram text tagging efficiently in apache spark☆11Sep 30, 2016Updated 9 years ago
- A library for visualizing and animating PDDL domains.☆15Sep 22, 2024Updated last year
- ☆17Dec 16, 2015Updated 10 years ago