-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
311 lines (311 loc) · 20 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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
<!DOCTYPE html><!-- This site was created in Webflow. https://www.webflow.com -->
<!-- Last Published: Mon Feb 12 2024 11:37:48 GMT+0000 (Coordinated Universal Time) -->
<html data-wf-page="65392ddd82f3876f4f8421fb" data-wf-site="62fa1b7c943e1b195a14776d">
<head>
<meta charset="utf-8">
<title>Katydid</title>
<meta content="width=device-width, initial-scale=1" name="viewport">
<meta content="Webflow" name="generator">
<link href="css/normalize.css" rel="stylesheet" type="text/css">
<link href="css/webflow.css" rel="stylesheet" type="text/css">
<link href="css/katydid-3d74ff.webflow.css" rel="stylesheet" type="text/css">
<link href="https://fonts.googleapis.com" rel="preconnect">
<link href="https://fonts.gstatic.com" rel="preconnect" crossorigin="anonymous">
<script src="https://ajax.googleapis.com/ajax/libs/webfont/1.6.26/webfont.js" type="text/javascript"></script>
<script type="text/javascript">WebFont.load({ google: { families: ["IBM Plex Mono:100,200,300,regular,500,600,700","Noto Sans:200,300,regular,500,600,700,800"] }});</script>
<script type="text/javascript">!function(o,c){var n=c.documentElement,t=" w-mod-";n.className+=t+"js",("ontouchstart"in o||o.DocumentTouch&&c instanceof DocumentTouch)&&(n.className+=t+"touch")}(window,document);</script>
<link href="images/favicon.png" rel="shortcut icon" type="image/x-icon">
<link href="images/webclip.png" rel="apple-touch-icon">
<style>
/*width*/
.scroll::-webkit-scrollbar {
width:10px;
}
/*thumb*/
.scroll::-webkit-scrollbar-thumb {
background:rgb(206, 236, 236);
border-radius:0px;
}
/*thumb pressed*/
.scroll::-webkit-scrollbar-thumb:active {
border-radius:2px;
}
</style>
</head>
<body class="body">
<div data-animation="default" data-collapse="medium" data-duration="400" data-easing="ease" data-easing2="ease" role="banner" class="navbar-2 dropdowns desktop w-nav">
<div class="navbar_container nav_container">
<a href="index.html" aria-current="page" class="brand w-nav-brand w--current"><img src="images/katydid-logo-quality.png" loading="lazy" alt="" width="51.5" class="nav_logo"></a>
<a href="index.html" aria-current="page" class="logo-text w-inline-block w--current">
<h2 class="heading-6 logo">katydid</h2>
</a>
<nav role="navigation" class="nav-menu tablet w-nav-menu">
<div data-hover="true" data-delay="5" class="dropdown w-dropdown">
<div class="dropdown-toggle-2 links w-dropdown-toggle">
<div class="text-block-10">Parsers</div>
</div>
<nav class="dropdown-list dropdown-box w-dropdown-list">
<a href="parsers/usage.html" class="dropdown-link-4 w-dropdown-link">Usage</a>
<a href="parsers/extend.html" class="dropdown-link-4 w-dropdown-link">Extend</a>
</nav>
</div>
<div data-hover="true" data-delay="5" class="dropdown w-dropdown">
<div class="dropdown-toggle-2 links w-dropdown-toggle">
<div class="text-block-10">Language</div>
</div>
<nav class="dropdown-list-11 w-dropdown-list">
<a href="relapse/usage.html" class="dropdown-link-4 w-dropdown-link">Usage</a>
<a href="relapse/syntax.html" class="dropdown-link-4 w-dropdown-link">Syntax</a>
<a href="relapse/types.html" class="dropdown-link-4 w-dropdown-link">Types</a>
<a href="relapse/functions.html" class="dropdown-link-4 w-dropdown-link">Functions</a>
<a href="relapse/extend.html" class="dropdown-link-4 w-dropdown-link">Extend</a>
<a href="relapse/speed.html" class="dropdown-link-4 w-dropdown-link">Speed</a>
</nav>
</div>
<div data-hover="true" data-delay="5" class="dropdown w-dropdown">
<div class="dropdown-toggle-2 links w-dropdown-toggle">
<div class="text-block-10">Encoders</div>
</div>
<nav class="dropdown-list-10 w-dropdown-list">
<a href="encoders/usage.html" class="dropdown-link-4 w-dropdown-link">Usage</a>
</nav>
</div>
<div data-hover="true" data-delay="5" class="dropdown w-dropdown">
<div class="dropdown-toggle-2 links w-dropdown-toggle">
<div class="text-block-10">Tests</div>
</div>
<nav class="dropdown-list-10 w-dropdown-list">
<a href="tests/test-suite.html" class="dropdown-link-4 w-dropdown-link">Test Suite</a>
</nav>
</div>
<a href="https://katydid.github.io/play/" class="nav-button-gradient w-inline-block">
<div class="nav_button-2 tablet">Playground</div>
</a>
<a href="https://katydid.github.io/tour/" class="nav-button-gradient guided w-inline-block">
<div class="nav_button-2 tablet">Guided Tour</div>
</a>
</nav>
<div class="menu-button-2 tablet w-nav-button">
<div class="w-icon-nav-menu"></div>
</div>
</div>
</div>
<div data-animation="default" data-collapse="medium" data-duration="400" data-easing="ease" data-easing2="ease" role="banner" class="navbar-2 dropdowns small-screens w-nav">
<div class="navbar_container nav_container">
<a href="index.html" aria-current="page" class="brand w-nav-brand w--current"><img src="images/katydid-logo-quality.png" loading="lazy" alt="" width="51.5" class="nav_logo"></a>
<a href="index.html" aria-current="page" class="logo-text w-inline-block w--current">
<h2 class="heading-6 logo">katydid</h2>
</a>
<nav role="navigation" class="nav-menu tablet w-nav-menu">
<div data-hover="false" data-delay="0" class="dropdown w-dropdown">
<div class="dropdown-toggle-2 links w-dropdown-toggle">
<div class="text-block-10">Parsers</div>
</div>
<nav class="dropdown-list dropdown-box w-dropdown-list">
<a href="parsers/usage.html" class="dropdown-link-3 w-dropdown-link">Usage</a>
<a href="parsers/extend.html" class="dropdown-link-3 w-dropdown-link">Extend</a>
</nav>
</div>
<div data-hover="false" data-delay="5" class="dropdown w-dropdown">
<div class="dropdown-toggle-2 links w-dropdown-toggle">
<div class="text-block-10">Language</div>
</div>
<nav class="dropdown-list-8 w-dropdown-list">
<a href="relapse/usage.html" class="dropdown-link-3 w-dropdown-link">Usage</a>
<a href="relapse/syntax.html" class="dropdown-link-3 w-dropdown-link">Syntax</a>
<a href="relapse/types.html" class="dropdown-link-3 w-dropdown-link">Types</a>
<a href="relapse/functions.html" class="dropdown-link-3 w-dropdown-link">Functions</a>
<a href="relapse/extend.html" class="dropdown-link-3 w-dropdown-link">Extend</a>
<a href="relapse/speed.html" class="dropdown-link-3 w-dropdown-link">Speed</a>
</nav>
</div>
<div data-hover="false" data-delay="5" class="dropdown w-dropdown">
<div class="dropdown-toggle-2 links w-dropdown-toggle">
<div class="text-block-10">Encoders</div>
</div>
<nav class="dropdown-list-7 w-dropdown-list">
<a href="encoders/usage.html" class="dropdown-link-3 w-dropdown-link">Usage</a>
</nav>
</div>
<div data-hover="false" data-delay="5" class="dropdown w-dropdown">
<div class="dropdown-toggle-2 links w-dropdown-toggle">
<div class="text-block-10">Tests</div>
</div>
<nav class="dropdown-list-5 w-dropdown-list">
<a href="tests/test-suite.html" class="dropdown-link-3 w-dropdown-link">Test Suite</a>
</nav>
</div>
<a href="https://katydid.github.io/play/" class="nav-button-gradient w-inline-block">
<div class="nav_button-2 tablet">Playground</div>
</a>
<a href="https://katydid.github.io/tour/" class="nav-button-gradient guided w-inline-block">
<div class="nav_button-2 tablet">Guided Tour</div>
</a>
</nav>
<div class="menu-button-2 tablet w-nav-button">
<div class="w-icon-nav-menu"></div>
</div>
</div>
</div>
<div class="hero">
<div class="hero-div"><img class="image-27" src="images/hero-image-noto-min.png" width="1073" alt="" style="opacity:0" sizes="(max-width: 767px) 100vw, (max-width: 991px) 88vw, 91vw" data-w-id="7746296f-a1a0-dc51-ab5b-774002b270f2" loading="lazy" srcset="images/hero-image-noto-min-p-500.png 500w, images/hero-image-noto-min-p-800.png 800w, images/hero-image-noto-min-p-1080.png 1080w, images/hero-image-noto-min-p-1600.png 1600w, images/hero-image-noto-min.png 2145w"></div>
</div>
<div class="hero-landscape">
<div class="hero-div"><img class="image-27" src="images/hero-landscape-comp.png" width="1072.5" alt="" style="opacity:0" sizes="(max-width: 479px) 100vw, (max-width: 767px) 84vw, 100vw" data-w-id="4b78d974-f105-0903-5979-d20aae0e36c9" loading="lazy" srcset="images/hero-landscape-comp-p-500.png 500w, images/hero-landscape-comp-p-800.png 800w, images/hero-landscape-comp-p-1080.png 1080w, images/hero-landscape-comp-p-1600.png 1600w, images/hero-landscape-comp.png 2145w"></div>
</div>
<div class="hero-image-mobile"><img src="images/hero-portrait-comp.png" loading="lazy" width="1017" sizes="100vw" alt="" srcset="images/hero-portrait-comp-p-500.png 500w, images/hero-portrait-comp-p-800.png 800w, images/hero-portrait-comp-p-1080.png 1080w, images/hero-portrait-comp-p-1600.png 1600w, images/hero-portrait-comp.png 2228w" class="image-32"></div>
<div class="section-3">
<div class="landing-container">
<h1 data-w-id="0ce3a9bb-524b-0fde-4411-cfc09f7a2251" style="opacity:0" class="heading-12">What is Katydid?</h1>
<div class="div-block-3 benchmarks">
<div data-w-id="05298688-0f47-d30c-aeff-e8c8a2e6d9d6" style="opacity:0" class="text-block-16">Katydid is a validation language based on regular expressions, but extended to be able to match deeply nested structures. It was built to filter through petabytes of serialized protocol buffers, but it can also filter through xml and json. </div>
</div>
</div>
<div class="landing-code">
<a href="https://katydid.github.io/play/" class="link-block-3 w-inline-block"><img class="image-28" src="images/code-min.png" width="1154" alt="" style="opacity:0" sizes="(max-width: 479px) 100vw, (max-width: 767px) 95vw, (max-width: 991px) 100vw, (max-width: 2780px) 83vw, 2308px" data-w-id="ce7679ab-8eff-66fa-4fcb-d3940500af00" loading="lazy" srcset="images/code-min-p-500.png 500w, images/code-min-p-800.png 800w, images/code-min-p-1080.png 1080w, images/code-min-p-1600.png 1600w, images/code-min.png 2308w"></a>
<a href="#" class="link-block-4 w-inline-block"><img class="image-28" src="images/hero-code-mobile-min.png" width="480.5" alt="" style="opacity:0" sizes="(max-width: 479px) 92vw, 100vw" data-w-id="57c8e067-e3b1-0579-61e0-4bbd3222dc55" loading="lazy" srcset="images/hero-code-mobile-min-p-500.png 500w, images/hero-code-mobile-min.png 961w"></a>
</div>
</div>
<div class="section-1">
<div class="landing-container">
<h1 data-w-id="863e62f1-d5d9-abd3-daf6-533aea9ff7fc" style="opacity:0" class="heading-12">Katydid is Fast</h1>
<div class="tick-h2 first">
<div class="tick"><img src="images/block-tick.svg" loading="lazy" data-w-id="cd5add6e-5009-05e0-788f-d0f1efdfd968" style="opacity:0" alt="" class="tick-animation three"></div>
<div class="div-block-3 third">
<h1 data-w-id="cd5add6e-5009-05e0-788f-d0f1efdfd96a" style="opacity:0" class="tick-heading">matches up to millions of records per second</h1>
</div>
<div class="par-div">
<div data-w-id="cd5add6e-5009-05e0-788f-d0f1efdfd96f" style="opacity:0" class="text-block-20">Katydid can match up to millions of protocol buffers on a single core. To achieve this speed, no memory allocation is done after initialization, except for the ongoing memoization, which becomes less and less the more matching is done.</div>
</div>
</div>
<div class="tick-h2 first">
<div class="tick"><img src="images/block-tick.svg" loading="lazy" data-w-id="4d8e808e-6908-8a76-7986-03378004db06" style="opacity:0" alt="" class="tick-animation two"></div>
<div class="div-block-3 second">
<h1 data-w-id="4d8e808e-6908-8a76-7986-03378004db08" style="opacity:0" class="tick-heading">filters faster the more records it matches</h1>
</div>
<div class="par-div">
<div data-w-id="4d8e808e-6908-8a76-7986-03378004db0d" style="opacity:0" class="text-block-19">Katydid matches faster and faster the more records or serialized messages are passed to it, as it memoizes paths that have been seen before, which speeds up matching, while using the same validator.</div>
</div>
</div>
<div class="tick-h2 first">
<div class="tick"><img src="images/block-tick.svg" loading="lazy" data-w-id="70c05ecd-e288-afe6-d268-5e580e6b7f84" style="opacity:0" alt="" class="tick-animation one"></div>
<div class="div-block-3">
<h1 data-w-id="70c05ecd-e288-afe6-d268-5e580e6b7f86" style="opacity:0" class="tick-heading">matches deeply nested and <br>recursive structures</h1>
</div>
<div class="par-div">
<div data-w-id="70c05ecd-e288-afe6-d268-5e580e6b7f8b" style="opacity:0" class="text-block-18">It is also extendible to match any structure with an implemented parser. The current implementation is in Go, but we are also working towards a Haskell implementation and proofs of correctness in <a href="https://leanprover.github.io/" target="_blank" class="inline-link">LeanProver</a>. </div>
</div>
</div>
</div>
</div>
<div class="section-2">
<div class="landing-container">
<h1 data-w-id="c766f03a-db17-6895-312c-ecd4901c5ae5" style="opacity:0" class="heading-12">Benchmarks</h1>
<div class="div-block-3 benchmarks">
<div data-w-id="c766f03a-db17-6895-312c-ecd4901c5ae8" style="opacity:0" class="text-block-16">Below is a graph of how the matching speeds up after matching 10, 100 and then a 1000 randomly initialized protocol buffers and also the ultimate speed which is achieved by memoizing all possibilities, given the filter: <br><br><span class="inline-code">.Addresses:_:[Number:456, Street: "TheStreet"]</span></div>
</div>
<div data-w-id="c766f03a-db17-6895-312c-ecd4901c5aee" style="opacity:0" class="graph">
<a href="http://katydid.github.io/bench/index.html" class="link-block-2 w-inline-block"><img src="images/graph-noto-min.png" loading="lazy" srcset="images/graph-noto-min-p-500.png 500w, images/graph-noto-min-p-800.png 800w, images/graph-noto-min.png 1268w" sizes="(max-width: 767px) 100vw, 636.109375px" alt="" class="image-25"></a>
</div>
<div data-w-id="c766f03a-db17-6895-312c-ecd4901c5af1" style="opacity:0" class="graph-vertical-div">
<h1 class="graph-heading">Memoized vs Compiled Benchmarks</h1>
<a href="#" class="graph-link-block w-inline-block"><img src="images/graph-vertical-min.png" loading="lazy" sizes="(max-width: 479px) 90vw, (max-width: 767px) 67vw, 100vw" width="411" alt="" srcset="images/graph-vertical-min-p-500.png 500w, images/graph-vertical-min.png 822w" class="image-25"></a>
</div>
</div>
</div>
<div class="section-3">
<div class="landing-container">
<h1 data-w-id="c9e1ae2e-a60b-6176-93bc-f03744bcebdc" style="opacity:0" class="heading-12">Katydid is Extendable</h1>
<div class="div-block-3 benchmarks">
<div data-w-id="c9e1ae2e-a60b-6176-93bc-f03744bcebdf" style="opacity:0" class="text-block-16">Katydid also makes it easy to add another format. While regular expressions are used as validators only for strings and RelaxNG, DTD and XSchema are validation languages only for XML. Katydid can validate any serialized data that has an implemented parser.</div>
</div>
</div>
</div>
<div class="section-4">
<div class="div-block-3 cta">
<div data-w-id="43bf4ce0-dc96-3080-1093-796bffb9b38f" style="opacity:0" class="text-block-17">Get a taste of Katydid in our Playground or take a Guided Tour through all the features.</div>
<div data-w-id="693e0bd3-83ce-a6d6-bbe8-cadc7bc37220" style="opacity:0" class="container cta buttons w-container">
<a data-w-id="693e0bd3-83ce-a6d6-bbe8-cadc7bc37221" href="https://katydid.github.io/play/" class="nav-button-gradient w-inline-block">
<div class="nav_button cta_button">Playground</div>
</a>
<a data-w-id="693e0bd3-83ce-a6d6-bbe8-cadc7bc37224" href="https://katydid.github.io/tour/" class="nav-button-gradient w-inline-block">
<div class="nav_button cta_button">Guided Tour</div>
</a>
</div>
</div>
</div>
<div class="footer-section">
<div class="footer-div">
<div class="w-layout-grid footer-grid">
<div class="footer-col">
<div class="image-div"><img src="images/katydid-logo-quality.png" loading="lazy" width="51.5" alt="" class="image-31"></div>
<div class="text-block-21">katydid</div>
</div>
<div id="w-node-abfc4d3e-97fb-1ab1-409a-ead63d40dead-3d40dea5" class="footer-col">
<h1 class="grid-head">About</h1>
<div class="grid-text">
<a href="https://github.com/katydid" class="footer-link">Project</a>
</div>
<div class="grid-text">
<a href="http://katydid.github.io/play" class="footer-link">Playground</a>
</div>
</div>
<div id="w-node-abfc4d3e-97fb-1ab1-409a-ead63d40deb4-3d40dea5" class="footer-col">
<h1 class="grid-head">Contribute</h1>
<div class="grid-text">
<a href="mailto:[email protected]" class="footer-link">Contact</a>
</div>
<div class="grid-text">
<a href="http://github.com/katydid" class="footer-link">Github</a>
</div>
<div class="grid-text">
<a href="#" class="footer-link">More</a>
</div>
</div>
<div id="w-node-abfc4d3e-97fb-1ab1-409a-ead63d40debd-3d40dea5" class="footer-col">
<h1 class="grid-head">Implement</h1>
<div class="grid-text">
<a href="http://github.com/katydid/katydid" class="footer-link">Go</a>
</div>
<div class="grid-text">
<a href="https://github.com/katydid/katydid-haskell" class="footer-link">Haskell</a>
</div>
<div class="grid-text">
<a href="http://github.com/katydid/proofs" class="footer-link">Lean</a>
</div>
</div>
<div id="w-node-abfc4d3e-97fb-1ab1-409a-ead63d40dec6-3d40dea5" class="footer-col">
<h1 class="grid-head">Social</h1>
<div class="grid-text">
<a href="https://github.com/awalterschulze" class="footer-link">Github</a>
</div>
<div class="grid-text">
<a href="https://www.linkedin.com/in/awalterschulze/" class="footer-link">LinkedIn</a>
</div>
<div class="grid-text">
<a href="https://twitter.com/awalterschulze" class="footer-link">Twitter</a>
</div>
<div class="grid-text">
<a href="https://www.youtube.com/c/awalterschulze" class="footer-link">Youtube</a>
</div>
</div>
<div id="w-node-abfc4d3e-97fb-1ab1-409a-ead63d40ded1-3d40dea5" class="footer-col">
<h1 class="grid-head">Help</h1>
<div class="grid-text">
<a href="http://katydid.github.io/tour" class="footer-link">Tour</a>
</div>
<div class="grid-text">
<a href="http://github.com/katydid/katydid/issues" class="footer-link">Issues</a>
</div>
<div class="grid-text">
<a href="relapse/syntax.html" class="footer-link">Syntax</a>
</div>
</div>
</div>
<div class="text-block-3">© Copyright 2014 - 2024 Walter Schulze</div>
</div>
</div>
<script src="https://d3e54v103j8qbb.cloudfront.net/js/jquery-3.5.1.min.dc5e7f18c8.js?site=62fa1b7c943e1b195a14776d" type="text/javascript" integrity="sha256-9/aliU8dGd2tb6OSsuzixeV4y/faTqgFtohetphbbj0=" crossorigin="anonymous"></script>
<script src="js/webflow.js" type="text/javascript"></script>
</body>
</html>