GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Search engine documentation for developers (English)
A math-aware search engine.
Scripts utilities for operating our search demo Website.
TREC evaluation viewer for Approach0
Guide for new users on how to use WEB-end search engine.
Convert stroked SVG into the outlined version
Enhanced C language using preprocessor.
Evaluation software used in the Text Retrieval Conference