FazBrowse GitHub Viewer | Trending | | Home

Tools: [Download Repo ZIP] [Original HTTPS Page]

usethesource/docs.rascal-mpl.org-search-engine · GitHub

This repository was archived by the owner on May 30, 2025. It is now read-only.

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
.vscode		.vscode
src/main/java/org/rascalmpl		src/main/java/org/rascalmpl
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
eclipse-formatter.xml		eclipse-formatter.xml
pom.xml		pom.xml

Repository files navigation

Search Engine of docs.rascal-mpl.org

This small program loads the preprocessed lucene indexes and implements the /search api from the new tutor/docs site.

About

No description, website, or topics provided.

BSD-2-Clause license

Custom properties

1 star

3 watching

Report repository

Releases

Packages

Used by

Contributors

Languages

Back | FazBrowse Home | New Git URL