Move implementations into JSON file

This should make the data easier to manage and enables more automated
checks.

Author: ongardie

README.md

@@ -6,7 +6,14 @@ This is the repo for Raft website: https://raft.github.io
 Please contribute to the website by submitting pull requests or creating
 issues.
 
-The website is hosted as a GitHub static page.
+The website is hosted as a GitHub static page. To run it locally, start a local
+static webserver:
+```
+python3 -m http.server 8000 --bind localhost
+```
+and open <http://localhost:8080/>. The server is needed to allow `index.html` to
+pull down `implementations.json`.
+
 
 This work is licensed under a Creative Commons Attribution 3.0 Unported License.
 See http://creativecommons.org/licenses/by/3.0/deed.en_US for details.

check.py

@@ -0,0 +1,22 @@
+#!/usr/bin/env python3
+
+import json
+import jsonschema
+
+schema = json.load(open('implementation.schema.json'))
+
+raw_data = open('implementations.json').read()
+if not raw_data.endswith(']\n'):
+    raise ValueError('implementations.json should end in one \\n')
+data = json.loads(raw_data)
+
+for impl in data:
+    jsonschema.validate(impl, schema)
+
+sorted_data = sorted(data, key=lambda impl: impl['repoURL'])
+for expected, actual in zip(sorted_data, data):
+    if expected['repoURL'] != actual['repoURL']:
+        print('Expected:', expected['repoURL'])
+        print('Found:   ', actual['repoURL'])
+        raise ValueError('Implementations should be sorted by repoURL')
+

implementation.schema.json

@@ -0,0 +1,80 @@
+{
+    "$schema": "http://json-schema.org/draft-07/schema#",
+    "$id": "https://raft.github.io/implementation.schema.json",
+    "title": "Implementation",
+    "description": "...",
+    "type": "object",
+    "properties": {
+        "repoURL": {
+            "type": "string",
+            "pattern": "^https://github.com/([^/]+)/([^/]+)(?<!.git)$",
+            "format": "uri"
+        },
+        "directory": {
+            "type": "string",
+            "pattern": "^[^/].*/$"
+        },
+        "name": {
+            "type": "string",
+            "pattern": "^.+(?<!^[Rr][Aa][Ff][Tt])$"
+        },
+        "authors": {
+            "type": "array",
+            "items": {
+                "type": "object",
+                "properties": {
+                    "name": {
+                        "type": "string"
+                    },
+                    "twitter": {
+                        "type": "string",
+                        "pattern": "^https://twitter.com/([^/]+)$",
+                        "format": "uri"
+                    },
+                    "github": {
+                        "type": "string",
+                        "pattern": "^https://github.com/([^/]+)$",
+                        "format": "uri"
+                    },
+                    "homepage": {
+                        "type": "string",
+                        "format": "uri"
+                    }
+                }
+            },
+            "maxItems": 7
+        },
+        "language": {
+            "type": "string",
+            "description": "SPDX license expression. See https://spdx.org/licenses/"
+        },
+        "license": {
+            "type": "string"
+        },
+        "features": {
+            "type": "object",
+            "properties": {
+                "basic": {
+                    "type": "boolean",
+                    "description": "Leader election and log replication"
+                },
+                "persistence": {
+                    "type": "boolean",
+                    "description": "Term and log are persisted to disk"
+                },
+                "logCompaction": {
+                    "type": "boolean"
+                },
+                "membershipChanges": {
+                    "type": "boolean"
+                }
+            }
+        }
+    },
+    "required": [
+        "name",
+        "repoURL",
+        "language"
+    ],
+    "additionalProperties": false
+}