|Tony Garnock-Jones 9dadbd1ef4||4 months ago|
|src||4 months ago|
|.envrc||1 year ago|
|.gitignore||1 year ago|
|Makefile||1 year ago|
|README.md||8 months ago|
|book.prb||1 year ago|
|book.prs||1 year ago|
|book.toml||1 year ago|
|mdbook-ditaa||1 year ago|
|mdbook-pseudocode||1 year ago|
|mdbook_plugin.py||1 year ago|
|style.css||1 year ago|
Synit is an experiment in applying pervasive reactivity and object capabilities to the System Layer of an operating system for personal computers, including laptops, desktops, and mobile phones.
This is the manual for the system.
- Project homepage: https://synit.org/
- Source code: https://git.syndicate-lang.org/synit/
The manual text:
src/contains the markdown files making up the main source text of the manual.
book.prsand the corresponding binary,
book.prb, describe the protocol used for communication between mdbook and its plugins.
book.tomlis the configuration file for mdbook.
mdbook_plugin.pyis a support library for writing mdbook plugins.
mdbook-ditaais a plugin for mdbook that renders (and caches) ditaa diagrams from the source text into SVG for the built website.
mdbook-pseudocodeis a plugin for mdbook that makes a pretty rendering of pseudocode snippets in the source text.
After running a build, the
./book subdirectory contains the rendered result.
Building the manual
You will need several tools:
a JVM and ditaa version 0.11.0
Python 3.x and the Preserves python package (
pip install -U preserves)
make all should do the trick. See also the
Much initial work on Synit was made possible by a generous grant from the NLnet Foundation as part of the NGI Zero PET programme. Please see "Structuring the System Layer with Dataspaces (2021)" for details of the funded project.
Copyright and License
This manual is licensed under a Creative Commons Attribution 4.0 International License.
Copyright © 2021–2022 Tony Garnock-Jones email@example.com.
The Synit programs and source code are separately licensed. Please see the source code for details.