https://github.com/tlaplus-community/tlaplus-community.github.io

Demo website for web-based TLA⁺ community projects
https://github.com/tlaplus-community/tlaplus-community.github.io

Last synced: 15 days ago
JSON representation

Demo website for web-based TLA⁺ community projects

• Host: GitHub
• URL: https://github.com/tlaplus-community/tlaplus-community.github.io
• Owner: tlaplus-community
• License: mit
• Created: 2021-08-24T17:10:03.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2024-04-05T12:41:56.000Z (9 months ago)
• Last Synced: 2024-04-05T13:28:14.520Z (9 months ago)
• Language: JavaScript
• Homepage: https://tlaplus-community.github.io/
• Size: 2.32 MB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
This is a GitHub Pages repo hosting web demos of various [tlaplus-community](https://github.com/tlaplus-community) projects.

You can visit it at https://tlaplus-community.github.io.

Currently, it hosts web demos for the following projects:

* [tree-sitter-tlaplus](https://github.com/tlaplus-community/tree-sitter-tlaplus) at https://tlaplus-community.github.io/tree-sitter-tlaplus

## Running Locally

If you try to run these demos locally by simply cloning the repo then opening one of the `index.html` files in the browser, you will run afoul of [this error](https://developer.mozilla.org/en-US/docs/Web/HTTP/CORS/Errors/CORSRequestNotHttp) (seen in your browser's developer console).

You can read the reasons for it, but the upshot is you have to [set up a local http server](https://developer.mozilla.org/en-US/docs/Learn/Common_questions/set_up_a_local_testing_server).

This will likely be as simple as navigating to the repo directory and running `python -m http.server` then navigating to `http://localhost:8000` in your browser.