Acknowledgements
Intrepid's editors are made with free and open source software. Our thanks to its authors.
In these pages
| Software | License | Used for |
|---|---|---|
| @maxgraph/core 0.25.0 | Apache-2.0 | bundled into the editors' pages |
| @vscode/codicons 0.0.45 | CC-BY-4.0 (the icons), MIT (the stylesheet) | the icons, unchanged: the font and its stylesheet |
The icons are the codicons of Visual Studio Code, © Microsoft Corporation, used unchanged under the Creative Commons Attribution 4.0 International License.
What the editors run
| Software | License | Used for |
|---|---|---|
| intrepyd | PolyForm-Noncommercial-1.0.0 | the Python library the editors run |
| pandas | BSD-3-Clause | required by intrepyd |
| ANTLR 4 runtime for Python | BSD-3-Clause | required by intrepyd |
| Z3 | MIT | the SMT solver, in the intrepid library |
| JSON for Modern C++ (nlohmann/json) | MIT | in the intrepid library |
| Monocypher | BSD-2-Clause OR CC0-1.0 | in the intrepid library, to check its license |
The texts of the licenses: THIRD_PARTY_NOTICES.txt.