A math-aware search engine.
☆356Nov 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:
- ☆12Mar 8, 2022Updated 4 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
- ☆17Jan 16, 2017Updated 9 years ago
- An alternative to sudo and doas written in Rust☆14Jan 31, 2021Updated 5 years ago
- A set of visualization engines.☆14Updated this week
- 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 partial transpiler from Haskell to Julia.☆16Sep 1, 2020Updated 5 years ago
- Evaluation scripts for the 2019 machine translation quality estimation shared task☆12Mar 27, 2019Updated 7 years ago
- This repository is for archival. Please see https://github.com/Mathics3/mathics-core☆2,064Jul 31, 2022Updated 3 years ago
- Most Recently Written☆16Nov 20, 2022Updated 3 years ago
- TDF-ICDAR 2019 Dataset for Typeset Math Formula Detection☆69Feb 9, 2020Updated 6 years ago
- ☆20Apr 29, 2016Updated 10 years ago
- Conference on Homotopy Type Theory 2019☆16Sep 18, 2019Updated 6 years ago
- ☆12Dec 26, 2017Updated 8 years ago
- (Unofficial) Debian packaging for Mozilla Fira fonts☆11May 19, 2018Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Politely timebox unix programs☆32Mar 24, 2017Updated 9 years ago
- gui for board game hex (and Y) by broderick arneson☆15Dec 13, 2023Updated 2 years ago
- Propositional Encodings in C++11☆18Sep 6, 2018Updated 7 years ago
- VirtualBox configuration files for emulating Ian's bootable floppy☆34Sep 4, 2016Updated 9 years ago
- Reduce async boilerplate code generating Vuex modules. Compatible with Vue 2.x.☆15May 3, 2018Updated 8 years ago
- Trevisor - A single guest hypervisor with full disk encryption☆19Sep 19, 2016Updated 9 years ago
- Insert matching punctuation for mismatched quotation marks, parentheses, etc. Good postprocessing for N-gram text synthesis.☆15Mar 29, 2016Updated 10 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,598Jan 10, 2024Updated 2 years ago
- A calculator with equations and variables☆13Mar 23, 2016Updated 10 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.
- Concurrent hash tries for C++ 14 with no memory management whatsoever.☆10Aug 30, 2016Updated 9 years ago
- OpenCV implementation of S. Avidan and A. Shamir's Seam Carving algorithm.☆13Oct 25, 2015Updated 10 years ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Dec 7, 2019Updated 6 years ago
- Classic deep neural network models for text matching, and implementation with tensorflow.☆12Apr 21, 2019Updated 7 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 3 years ago
- Neural model for converting Image-to-Markup (by Yuntian Deng yuntiandeng.com)☆1,257Oct 27, 2023Updated 2 years ago
- Latex Symbol Classifier Web Frontend☆840Jan 3, 2023Updated 3 years ago
- Mathematical visualizations with matplotlib☆12Mar 15, 2017Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An NX Hacker News clone with real-time updates and animations.☆58Feb 10, 2017Updated 9 years ago
- Movielens collaborative filtering with Solr streaming expression☆11Oct 13, 2016Updated 9 years ago
- A graph based REPL that saves to and loads from disk☆44Jun 13, 2015Updated 10 years ago
- front-end web app for binder deployments☆16Aug 22, 2017Updated 8 years ago
- An alternative take on Java object relational mapping☆52Aug 19, 2024Updated last year
- 3D graphics engine designed for rapid prototyping and extensibility☆33Jun 5, 2023Updated 2 years ago
- Lazy Lists package for Wolfram Language☆15Jul 29, 2025Updated 9 months ago