- Carlo Angiuli
- Solomon Bothwell
- Evan Cavallo
- Jt Gleason
- Daniel Gratzer
- Alex Gryzlov
- Favonia
- Matthew McQuaid
- Reed Mullanix
- Jonathan Sterling
- Ian Voysey
Here is the list of materials whose copyright was not assigned to The RedPRL Development Team.
- Code originating from blott (see below).
- Before we imposed the the CLA (see Copyright Assignment), Jt Gleason (
@EntropyFails
) made a pull request that improves error messages and the PR was merged. According to the GitHub’s term of service, Jt Cleason implicitly agreed that the contribution can be licensed under the same license cooltt used, which was Apache 2.0.
This project historically began from the source code of blott, a companion implementation for a paper written by Daniel Gratzer, Jonathan Sterling, and Lars Birkedal. cooltt also incorporates code from redtt, developed by Sterling and Favonia.
blott is distributed under the MIT License; cooltt is distributed under the Apache License. As required, we reproduce the original license below.
Copyright 2019 Daniel Gratzer, Jonathan Sterling, Lars Birkedal
Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
associated documentation files (the "Software"), to deal in the Software without restriction,
including without limitation the rights to use, copy, modify, merge, publish, distribute,
sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all copies or substantial
portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT
NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES
OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.