The synit manual
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Tony Garnock-Jones 3f70c7a256 More 1 week ago
src More 1 week ago
.envrc Specify python3 2 months ago
.gitignore Add __pycache__/ to .gitignore 2 months ago
Makefile deploy target 2 months ago 2 months ago
book.prb Ditaa-based diagrams 3 months ago
book.prs Ditaa-based diagrams 3 months ago
book.toml Pseudocode mdbook plugin 3 months ago
mdbook-ditaa Repair mdbook-ditaa plugin for `mdbook build` usage 2 months ago
mdbook-pseudocode Tweak spacing 3 months ago Pseudocode mdbook plugin 3 months ago
style.css Pseudocode styling, to make it less painful on mobile browsers 3 months ago

Synit Manual


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.


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.

Creative Commons License This manual is licensed under a Creative Commons Attribution 4.0 International License.
Copyright © 2021–2022 Tony Garnock-Jones

The Synit programs and source code are separately licensed. Please see the source code for details.