This website is built using Docusaurus 2, a modern static website generator and Rascal Tutor a documentation generator for Rascal source files and a MarkDown pre-processor for executing inline code fragments, cross linking between courses and screenshotting interactive visualizations.
You need NodeJS 14+ installed, and yarn (npm install --global yarn)
This command starts a local development server and opens up a browser window. Most changes are reflected live without having to restart the server.
This will generate the docs and download docs from projects we depend on, running rascal-tutor:
mvn package -Dwebdriver.chrome.driver=/path/to/geckodriver -Dwebdriver.chrome.browser=/path/to/google\ chrome
Without the webdriver parameters no screenshots will be taken from Content output in rascal-shell examples.
This will then compile the generated/downloaded markdown files to html:
This command generates static content into the build directory and can be served using any static contents hosting service, but this will typically start a server for you to test the result:
The main branch is automatically deployed immediately after git push to the github origin.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4