https://github.com/reloaded-project/reloaded-iii
[WIP] Formal Specification for the Next Iteration of Reloaded
https://github.com/reloaded-project/reloaded-iii
Last synced: 10 months ago
JSON representation
[WIP] Formal Specification for the Next Iteration of Reloaded
- Host: GitHub
- URL: https://github.com/reloaded-project/reloaded-iii
- Owner: Reloaded-Project
- Created: 2023-04-12T00:21:10.000Z (almost 3 years ago)
- Default Branch: main
- Last Pushed: 2024-05-28T16:29:58.000Z (over 1 year ago)
- Last Synced: 2024-05-29T07:39:02.952Z (over 1 year ago)
- Language: Python
- Homepage: https://reloaded-project.github.io/Reloaded-III/
- Size: 2.44 MB
- Stars: 6
- Watchers: 3
- Forks: 0
- Open Issues: 24
-
Metadata Files:
- Readme: README.md
- Contributing: docs/Contributing-Locally.md
Awesome Lists containing this project
README
