depot/third_party/tvl/tvix
Default email a291c8690a Project import generated by Copybara.
GitOrigin-RevId: e6e19f3d81a982a62e1bba08f0b4f7fdc21b4ea0
2022-05-19 16:39:52 +02:00
..
.vscode Project import generated by Copybara. 2022-05-19 16:39:52 +02:00
docs Project import generated by Copybara. 2022-05-19 16:39:52 +02:00
proto Project import generated by Copybara. 2022-05-19 16:39:52 +02:00
src Project import generated by Copybara. 2022-05-19 16:39:52 +02:00
.envrc Project import generated by Copybara. 2022-05-19 16:39:52 +02:00
.gitignore Project import generated by Copybara. 2022-05-19 16:39:52 +02:00
Cargo.lock Project import generated by Copybara. 2022-05-19 16:39:52 +02:00
Cargo.toml Project import generated by Copybara. 2022-05-19 16:39:52 +02:00
default.nix Project import generated by Copybara. 2022-05-19 16:39:52 +02:00
LICENSE Project import generated by Copybara. 2022-05-19 16:39:52 +02:00
OWNERS Project import generated by Copybara. 2022-05-19 16:39:52 +02:00
README.md Project import generated by Copybara. 2022-05-19 16:39:52 +02:00
shell.nix Project import generated by Copybara. 2022-05-19 16:39:52 +02:00

Tvix

For more information about Tvix, contact one of the project owners. We are interested in people who would like to help us review designs, brainstorm and describe requirements that we may not yet have considered.

License structure

All code implemented for Tvix is licensed under the GPL-3.0, with the exception of the protocol buffer definitions used for communication between services which are available under a more permissive license (MIT).

The idea behind this structure is that any direct usage of our code (e.g. linking to it, embedding the evaluator, etc.) will fall under the terms of the GPL3, but users are free to implement their own components speaking these protocols under the terms of the MIT license.