synit
/
synit-manual
1
0
Fork 0
Code Issues 2 Pull Requests Projects Releases Wiki Activity
The synit manual
45 Commits 1 Branch 0 Tags 578 KiB
Rust 48.9%
TypeScript 30.5%
Python 18.6%
Makefile 1.3%
CSS 0.7%
Go to file
Tony Garnock-Jones 5fff5c0faf README.md 2022-03-09 09:53:05 +01:00
src working-with-schemas.md 2022-03-08 14:53:53 +01:00
.envrc Ditaa-based diagrams 2022-02-11 13:43:39 +01:00
.gitignore Add __pycache__/ to .gitignore 2022-03-09 09:49:58 +01:00
README.md README.md 2022-03-09 09:53:05 +01:00
book.prb Ditaa-based diagrams 2022-02-11 13:43:39 +01:00
book.prs Ditaa-based diagrams 2022-02-11 13:43:39 +01:00
book.toml Pseudocode mdbook plugin 2022-03-03 19:31:37 +01:00
mdbook-ditaa Pseudocode mdbook plugin 2022-03-03 19:31:37 +01:00
mdbook-pseudocode Tweak spacing 2022-03-04 10:47:47 +01:00
mdbook_plugin.py Pseudocode mdbook plugin 2022-03-03 19:31:37 +01:00
style.css Pseudocode styling, to make it less painful on mobile browsers 2022-03-03 17:26:43 +01:00

README.md

Synit Manual

Welcome!

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.

Acknowledgements

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

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

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