-
Notifications
You must be signed in to change notification settings - Fork 13
/
index.html
76 lines (73 loc) · 2.54 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Nearley Parser Playground | Parse Grammars Online, From The Comfort Of Your Home!</title>
<style type="text/css">
body {
font-family: Menlo, Monacco, monospace;
margin: 0;
}
.header {
padding: 20px;
}
.title {
font-size: 30px;
margin-bottom: 20px;
}
.preload {
display: flex;
flex-direction: column;
min-height: 100%;
position: relative;
}
.loading-wrap {
flex: 1;
display: flex;
flex-direction: column;
justify-content: space-around;
text-align: center;
}
</style>
<div id="mount">
<div class="preload">
<div class="header">
<div class="title">
⛹ Nearley Parser Playground
</div>
<div>
Experiment with <a href="https://hardmath123.github.io/">Hardmath123</a>'s
incredible <a href="http://nearley.js.org/">Nearley Parser</a>! Nearley will parse
anything you throw at it (including ambiguous grammars!) without complaining or
going into a <s>sulk</s> infinite loop. You can find the Nearley syntax spec
<a href="https://github.com/Hardmath123/nearley#parser-specification">here</a>, more
example grammars
<a href="https://github.com/Hardmath123/nearley/tree/master/examples">here</a>, and
this project's repo
<a href="https://github.com/bijection/nearley-playground">here</a>. If you like
playgrounds and stuff, consider
<a href="https://twitter.com/intent/follow?user_id=4033676687"
>following me on twitter</a
>!
</div>
</div>
<div class="loading-wrap">
Loading...
</div>
</div>
</div>
<script type="text/javascript" src="./dist/client.bundle.js"></script>
<script>
;(function (i, s, o, g, r, a, m) {
i['GoogleAnalyticsObject'] = r
;(i[r] =
i[r] ||
function () {
;(i[r].q = i[r].q || []).push(arguments)
}),
(i[r].l = 1 * new Date())
;(a = s.createElement(o)), (m = s.getElementsByTagName(o)[0])
a.async = 1
a.src = g
m.parentNode.insertBefore(a, m)
})(window, document, 'script', 'https://www.google-analytics.com/analytics.js', 'ga')
ga('create', 'UA-83153710-5', 'auto')
ga('send', 'pageview')
</script>