Skip to content

Commit da4f55a

Browse files
fhackettfhackett
committed
initial version of website
1 parent d63576c commit da4f55a

35 files changed

+12924
-96
lines changed

‎.gitignore

+14-96
Original file line numberDiff line numberDiff line change
@@ -1,104 +1,22 @@
1-
# Logs
2-
logs
3-
*.log
4-
npm-debug.log*
5-
yarn-debug.log*
6-
yarn-error.log*
7-
lerna-debug.log*
8-
9-
# Diagnostic reports (https://nodejs.org/api/report.html)
10-
report.[0-9]*.[0-9]*.[0-9]*.[0-9]*.json
11-
12-
# Runtime data
13-
pids
14-
*.pid
15-
*.seed
16-
*.pid.lock
17-
18-
# Directory for instrumented libs generated by jscoverage/JSCover
19-
lib-cov
20-
21-
# Coverage directory used by tools like istanbul
22-
coverage
23-
*.lcov
1+
# build output
2+
dist/
3+
.output/
244

25-
# nyc test coverage
26-
.nyc_output
27-
28-
# Grunt intermediate storage (https://gruntjs.com/creating-plugins#storing-task-files)
29-
.grunt
30-
31-
# Bower dependency directory (https://bower.io/)
32-
bower_components
33-
34-
# node-waf configuration
35-
.lock-wscript
36-
37-
# Compiled binary addons (https://nodejs.org/api/addons.html)
38-
build/Release
39-
40-
# Dependency directories
5+
# dependencies
416
node_modules/
42-
jspm_packages/
43-
44-
# TypeScript v1 declaration files
45-
typings/
46-
47-
# TypeScript cache
48-
*.tsbuildinfo
497

50-
# Optional npm cache directory
51-
.npm
52-
53-
# Optional eslint cache
54-
.eslintcache
55-
56-
# Microbundle cache
57-
.rpt2_cache/
58-
.rts2_cache_cjs/
59-
.rts2_cache_es/
60-
.rts2_cache_umd/
61-
62-
# Optional REPL history
63-
.node_repl_history
64-
65-
# Output of 'npm pack'
66-
*.tgz
8+
# logs
9+
npm-debug.log*
10+
yarn-debug.log*
11+
yarn-error.log*
12+
pnpm-debug.log*
6713

68-
# Yarn Integrity file
69-
.yarn-integrity
7014

71-
# dotenv environment variables file
15+
# environment variables
7216
.env
73-
.env.test
74-
75-
# parcel-bundler cache (https://parceljs.org/)
76-
.cache
77-
78-
# Next.js build output
79-
.next
80-
81-
# Nuxt.js build / generate output
82-
.nuxt
83-
dist
84-
85-
# Gatsby files
86-
.cache/
87-
# Comment in the public line in if your project uses Gatsby and *not* Next.js
88-
# https://nextjs.org/blog/next-9-1#public-directory-support
89-
# public
90-
91-
# vuepress build output
92-
.vuepress/dist
93-
94-
# Serverless directories
95-
.serverless/
96-
97-
# FuseBox cache
98-
.fusebox/
17+
.env.production
9918

100-
# DynamoDB Local files
101-
.dynamodb/
19+
# macOS-specific files
20+
.DS_Store
10221

103-
# TernJS port file
104-
.tern-port
22+
.vscode/

‎astro.config.mjs

+28
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
import { defineConfig } from 'astro/config';
2+
import { readFileSync } from "fs";
3+
4+
import tailwind from "@astrojs/tailwind";
5+
import mdx from "@astrojs/mdx";
6+
import svelte from "@astrojs/svelte";
7+
8+
export default defineConfig({
9+
integrations: [tailwind(), mdx(), svelte()],
10+
markdown: {
11+
shikiConfig: {
12+
theme: 'dracula',
13+
langs: [
14+
// important: a language's dependencies must be loaded first, or explosion
15+
{
16+
id: 'mpcal',
17+
scopeName: 'source.tlaplus.mpcal',
18+
grammar: JSON.parse(readFileSync('highlighting/mpcal.tmLanguage.json'))
19+
}, {
20+
id: 'tlaplus',
21+
scopeName: 'source.tlaplus',
22+
grammar: JSON.parse(readFileSync('./highlighting/tlaplus.tmLanguage.json')),
23+
aliases: ['tla']
24+
}],
25+
wrap: true
26+
}
27+
}
28+
});

‎highlighting/cfg.tmLanguage.json

+64
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,64 @@
1+
{
2+
"$schema": "https://raw.githubusercontent.com/martinring/tmlanguage/master/tmlanguage.json",
3+
"name": "TLA+ Model Config",
4+
"patterns": [
5+
{
6+
"include": "#keywords"
7+
},
8+
{
9+
"include": "#line_comments"
10+
},
11+
{
12+
"include": "#block_comments"
13+
},
14+
{
15+
"include": "#strings"
16+
},
17+
{
18+
"include": "#constants"
19+
},
20+
{
21+
"include": "#const_definitions"
22+
}
23+
],
24+
"repository": {
25+
"keywords": {
26+
"name": "keyword.control",
27+
"match": "\\b(SPECIFICATION|INVARIANT(S)?|PROPERT(Y|IES)|CONSTANT(S)?|INIT|NEXT|SYMMETRY|CONSTRAINT(S)?|ACTION_CONSTRAINT(S)?|VIEW|CHECK_DEADLOCK|POSTCONDITION|ALIAS)\\b"
28+
},
29+
"line_comments": {
30+
"name": "comment.line",
31+
"begin": "\\\\\\*",
32+
"end": "$"
33+
},
34+
"block_comments": {
35+
"name": "comment.block",
36+
"begin": "\\(\\*",
37+
"end": "\\*\\)"
38+
},
39+
"strings": {
40+
"name": "string.quoted.double.tlaplus",
41+
"begin": "\"",
42+
"end": "\"",
43+
"patterns": [
44+
{
45+
"name": "constant.character.escape.tlaplus",
46+
"match": "\\\\."
47+
}
48+
]
49+
},
50+
"constants": {
51+
"name": "support.constant.tlaplus",
52+
"match": "\\b(TRUE|FALSE|\\d+)\\b"
53+
},
54+
"const_definitions": {
55+
"match": "(\\w+)\\s*(?:=|<-)",
56+
"captures": {
57+
"1": {
58+
"name": "support.constant.tlaplus"
59+
}
60+
}
61+
}
62+
},
63+
"scopeName": "source.cfg"
64+
}

‎highlighting/mpcal.tmLanguage.json

+73
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,73 @@
1+
{
2+
"$schema": "https://raw.githubusercontent.com/martinring/tmlanguage/master/tmlanguage.json",
3+
"name": "mpcal",
4+
"patterns": [
5+
{
6+
"include": "#code-block"
7+
},
8+
{
9+
"include": "#keywords-control"
10+
},
11+
{
12+
"include": "#keywords"
13+
},
14+
{
15+
"include": "#variables"
16+
},
17+
{
18+
"include": "#strings"
19+
},
20+
{
21+
"include": "#comment-line"
22+
},
23+
{
24+
"include": "#comment-block"
25+
},
26+
{
27+
"include": "source.tlaplus.pluscal"
28+
}
29+
],
30+
"repository": {
31+
"code-block": {
32+
"begin": "{",
33+
"end": "}",
34+
"patterns": [{
35+
"include": "$self"
36+
}]
37+
},
38+
"keywords-control": {
39+
"name": "keyword.control.mpcal",
40+
"match": "\\b(yield)\\b"
41+
},
42+
"keywords": {
43+
"name": "keyword.other.mpcal",
44+
"match": "\\b(archetype|instance|ref|mapping|read|write|via)\\b"
45+
},
46+
"variables": {
47+
"name": "variable.parameter",
48+
"match": "(\\$variable|\\$value)\\b"
49+
},
50+
"strings": {
51+
"name": "string.quoted.double.mpcal",
52+
"begin": "\"",
53+
"end": "\"",
54+
"patterns": [
55+
{
56+
"name": "constant.character.escape.mpcal",
57+
"match": "\\\\."
58+
}
59+
]
60+
},
61+
"comment-line": {
62+
"name": "comment.line.mpcal",
63+
"begin": "\\\\\\*",
64+
"end": "$"
65+
},
66+
"comment-block": {
67+
"name": "comment.block.mpcal",
68+
"begin": "\\(\\*",
69+
"end": "\\*\\)"
70+
}
71+
},
72+
"scopeName": "source.tlaplus.mpcal"
73+
}

‎highlighting/pluscal.tmLanguage.json

+80
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,80 @@
1+
{
2+
"$schema": "https://raw.githubusercontent.com/martinring/tmlanguage/master/tmlanguage.json",
3+
"name": "pluscal",
4+
"patterns": [
5+
{
6+
"include": "#code-block"
7+
},
8+
{
9+
"include": "#keywords-control"
10+
},
11+
{
12+
"include": "#keywords"
13+
},
14+
{
15+
"include": "#variable-language"
16+
},
17+
{
18+
"include": "#strings"
19+
},
20+
{
21+
"include": "#comment-line"
22+
},
23+
{
24+
"include": "#comment-block"
25+
},
26+
{
27+
"include": "#punctuation"
28+
},
29+
{
30+
"include": "source.tlaplus"
31+
}
32+
],
33+
"repository": {
34+
"code-block": {
35+
"begin": "{",
36+
"end": "}",
37+
"patterns": [{
38+
"include": "$self"
39+
}]
40+
},
41+
"keywords-control": {
42+
"name": "keyword.control.pluscal",
43+
"match": "\\b(do|call|else|elsif|goto|if|return|skip|then|while|either|or|await|when|fair|with)\\b"
44+
},
45+
"keywords": {
46+
"name": "keyword.other.pluscal",
47+
"match": "\\b(define|macro|procedure|process|assert|begin|end|print|algorithm|variable(s)?)\\b"
48+
},
49+
"variable-language": {
50+
"name": "variable.language.pluscal",
51+
"match": "\\b(self)\\b"
52+
},
53+
"strings": {
54+
"name": "string.quoted.double.pluscal",
55+
"begin": "\"",
56+
"end": "\"",
57+
"patterns": [
58+
{
59+
"name": "constant.character.escape.pluscal",
60+
"match": "\\\\."
61+
}
62+
]
63+
},
64+
"comment-line": {
65+
"name": "comment.line.pluscal",
66+
"begin": "\\\\\\*",
67+
"end": "$"
68+
},
69+
"comment-block": {
70+
"name": "comment.block.pluscal",
71+
"begin": "\\(\\*",
72+
"end": "\\*\\)"
73+
},
74+
"punctuation": {
75+
"name": "punctuation.pluscal",
76+
"match": "(:=|\\|\\|)"
77+
}
78+
},
79+
"scopeName": "source.tlaplus.pluscal"
80+
}

0 commit comments

Comments
 (0)