This repository has been archived by the owner on Nov 4, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathresources.html
314 lines (310 loc) · 27.9 KB
/
resources.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
312
313
314
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no">
<title>Reach</title>
<link rel="manifest" href="/site.webmanifest">
<!-- Global site tag (gtag.js) - Google Analytics -->
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-149147406-1"></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag(){dataLayer.push(arguments);}
gtag('js', new Date());
gtag('config', 'UA-149147406-1');
</script>
<link rel="stylesheet" href="css/main.css">
</head>
<body>
<header>
<div class="container">
<nav class="navbar is-transparent">
<div class="navbar-brand">
<a class="navbar-item" href="/">
<img src="images/Reach_vertical.svg" alt="logo">
</a>
<div class="navbar-burger burger" data-target="navMenu" id="burgerBtn">
<span></span>
<span></span>
<span></span>
</div>
</div>
<div class="navbar-menu" id="navMenu">
<div class="navbar-end">
<ul class="menu-container">
<li><a href="/" class="navbar-item">Home</a></li>
<li><a href="/how_it_works.html" class="navbar-item">How it works</a></li>
<li class="active"><a href="/resources.html" class="navbar-item">Resources</a></li>
<li class="dropdown-services">
<button class="open-dropdown-btn">
<i class="icon-show-dropdown"></i>
</button>
<a href="/services.html" class="navbar-item">Services</a>
<ul class="dropdown-menu">
<li><a class="dropdown-link" href="/services.html#service-first">Blockchain product strategy</a></li>
<li><a class="dropdown-link" href="/services.html#service-second">Blockchain Development</a></li>
<li><a class="dropdown-link" href="/services.html#service-third">Blockchain app auditing</a></li>
<li><a class="dropdown-link" href="/services.html#service-fourth">Learning resources</a></li>
<li><a class="dropdown-link" href="/services.html#service-fifth">Reach technical support</a></li>
</ul>
</li>
<li><a href="https://medium.com/reach-sh" rel="nofollow" class="navbar-item">Blog</a></li>
</ul>
<div class="bottom-mobile">
<p class="is-hidden-tablet">Follow us on:</p>
<ul class="social-container">
<!-- <li><a href="https://t.me/reach_sh" target="_blank"><i class="fab fa-telegram-plane"></i></a></li> -->
<li><a href="https://discord.gg/AZsgcXu" target="_blank"><i class="fab fa-discord"></i></a></li>
<li><a href="https://github.com/reach-sh" target="_blank"><i class="fab fa-github"></i></a></li>
<li><a href="https://www.reddit.com/r/reach_sh" target="_blank"><i class="fab fa-reddit-alien"></i></a></li>
<li><a href="https://www.youtube.com/channel/UCnrHr0UG2pRkHCO-EloEkjw" target="_blank">
<div class="youtube-svg">
<?xml version="1.0" encoding="UTF-8"?>
<svg width="18px" height="22px" viewBox="0 0 18 22" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<!-- Generator: Sketch 58 (84663) - https://sketch.com -->
<title>Youtube</title>
<desc>Created with Sketch.</desc>
<defs>
<path d="M18.22536,16.79968 L17.04,16.79968 L17.04552,16.11112 C17.04552,15.80512 17.2968,15.5548 17.60376,15.5548 L17.67936,15.5548 C17.98704,15.5548 18.23904,15.80512 18.23904,16.11112 L18.22536,16.79968 Z M13.77912,15.32416 C13.4784,15.32416 13.2324,15.52624 13.2324,15.77368 L13.2324,19.1224 C13.2324,19.36936 13.4784,19.57096 13.77912,19.57096 C14.08104,19.57096 14.32728,19.36936 14.32728,19.1224 L14.32728,15.77368 C14.32728,15.526 14.08104,15.32416 13.77912,15.32416 Z M21,13.45096 L21,19.82152 C21,21.3496 19.67496,22.6 18.0552,22.6 L5.94504,22.6 C4.3248,22.6 3,21.3496 3,19.82152 L3,13.45096 C3,11.92288 4.3248,10.67224 5.94504,10.67224 L18.0552,10.67224 C19.67496,10.67224 21,11.92288 21,13.45096 Z M6.75288,20.5132 L6.75192,13.80256 L8.25312,13.80304 L8.25312,12.80872 L4.25136,12.80272 L4.25136,13.78024 L5.50056,13.78384 L5.50056,20.5132 L6.75288,20.5132 Z M11.25288,14.80216 L10.00128,14.80216 L10.00128,18.3856 C10.00128,18.904 10.03272,19.1632 9.99936,19.25464 C9.8976,19.53256 9.44016,19.82776 9.26184,19.28464 C9.2316,19.1896 9.25824,18.9028 9.25776,18.41032 L9.25272,14.80216 L8.00808,14.80216 L8.01192,18.35368 C8.01288,18.898 7.99968,19.30384 8.01624,19.48864 C8.04672,19.81432 8.03592,20.194 8.33808,20.41096 C8.90112,20.81656 9.9804,20.35048 10.2504,19.77064 L10.248,20.51056 L11.25312,20.51176 L11.25288,14.80216 L11.25288,14.80216 Z M15.2568033,18.90568 L15.25416,15.9232 C15.2532,14.78656 14.40288,14.10592 13.24872,15.0256 L13.25376,12.80824 L12.0036,12.81016 L11.9976,20.46376 L13.02576,20.44888 L13.11936,19.97224 C14.43288,21.17728 15.25872,20.35144 15.2568033,18.90568 Z M19.17384,18.5104 L18.23544,18.51544 C18.23496,18.55264 18.23352,18.5956 18.23304,18.6424 L18.23304,19.16608 C18.23304,19.4464 18.00144,19.67464 17.72016,19.67464 L17.53632,19.67464 C17.25456,19.67464 17.02296,19.4464 17.02296,19.16608 L17.02296,19.108 L17.02296,18.532 L17.02296,17.78872 L19.17192,17.78872 L19.17192,16.97992 C19.17192,16.3888 19.1568,15.79792 19.10784,15.46 C18.954,14.39104 17.45352,14.22136 16.6956,14.76856 C16.45776,14.93944 16.27608,15.16816 16.17048,15.47536 C16.06392,15.7828 16.01088,16.2028 16.01088,16.73632 L16.01088,18.51472 C16.01136,21.47104 19.60224,21.0532 19.17384,18.5104 Z M14.35992,8.85568 C14.42448,9.01264 14.5248,9.13984 14.66088,9.23584 C14.79528,9.3304 14.96712,9.37792 15.17304,9.37792 C15.35352,9.37792 15.51336,9.3292 15.65256,9.22864 C15.79128,9.12856 15.90816,8.97904 16.00368,8.7796 L15.97992,9.27064 L17.37504,9.27064 L17.37504,3.3376 L16.2768,3.3376 L16.2768,7.9552 C16.2768,8.20528 16.07088,8.41 15.81912,8.41 C15.5688,8.41 15.36216,8.20528 15.36216,7.9552 L15.36216,3.3376 L14.21592,3.3376 L14.21592,7.33936 C14.21592,7.84912 14.22528,8.18896 14.2404,8.36128 C14.256,8.5324 14.29536,8.69656 14.35992,8.85568 Z M10.13208,5.5048 C10.13208,4.93528 10.1796,4.49056 10.27392,4.16992 C10.36896,3.85048 10.5396,3.59368 10.7868,3.4 C11.03328,3.20536 11.34888,3.10792 11.73264,3.10792 C12.05544,3.10792 12.33192,3.17128 12.5628,3.29536 C12.79488,3.42016 12.97392,3.58216 13.098,3.78208 C13.22448,3.98272 13.3104,4.18888 13.35624,4.39984 C13.40304,4.61368 13.42608,4.93624 13.42608,5.37136 L13.42608,6.87184 C13.42608,7.42216 13.404,7.82704 13.36104,8.08408 C13.31856,8.34184 13.22736,8.58088 13.086,8.80504 C12.9468,9.0268 12.76704,9.19264 12.54912,9.29848 C12.3288,9.40528 12.0768,9.4576 11.79216,9.4576 C11.47416,9.4576 11.20632,9.41368 10.98552,9.322 C10.764,9.2308 10.59288,9.09328 10.47096,8.91064 C10.34784,8.72776 10.2612,8.50504 10.20888,8.24536 C10.15632,7.98592 10.13136,7.59568 10.13136,7.0756 L10.13208,5.5048 L10.13208,5.5048 Z M11.2248,7.8616 C11.2248,8.1976 11.47488,8.47192 11.77944,8.47192 C12.08424,8.47192 12.33336,8.1976 12.33336,7.8616 L12.33336,4.7032 C12.33336,4.36768 12.08424,4.09336 11.77944,4.09336 C11.47488,4.09336 11.2248,4.36768 11.2248,4.7032 L11.2248,7.8616 Z M7.36368,9.4564 L8.67984,9.4564 L8.68128,4.906 L10.23648,1.00792 L8.79696,1.00792 L7.97016,3.90328 L7.1316,1 L5.70696,1 L7.36152,4.90816 L7.36368,9.4564 Z" id="path-1"></path>
</defs>
<g id="site" stroke="none" stroke-width="1" fill="none" fill-rule="evenodd">
<g id="styleguide" transform="translate(-585.000000, -84.000000)">
<g id="github-copy-3" transform="translate(572.000000, 73.000000)">
<g id="Icons/Socials/Youtube" transform="translate(10.000000, 10.000000)">
<rect id="Base" x="0" y="0" width="24" height="24"></rect>
<mask id="mask-2" fill="white">
<use xlink:href="#path-1"></use>
</mask>
<use id="YouTube" fill="#858695" fill-rule="nonzero" xlink:href="#path-1"></use>
<g id="grey" mask="url(#mask-2)" fill="#858695" fill-rule="evenodd">
<rect id="Rectangle" x="0" y="0" width="24" height="24"></rect>
</g>
</g>
</g>
</g>
</g>
</svg>
</div>
</a></li>
<li><a href="https://twitter.com/reachlang" target="_blank"><i class="fab fa-twitter"></i></a></li>
</ul>
</div>
</div>
</div>
</nav>
</div>
</header>
<!-- <section class="demo-wrap">
<div class="container">
<h3>You can read our RPS Demo Paper</h3>
<a class="btn" href="https://github.com/reach-sh/reach-lang/blob/master/docs/paper.md" target="_blank"><img src="images/share.svg" alt="share"> RPS Demo Paper</a>
</div>
</section> -->
<!-- <section class="video-wrap">
<div class="container">
<h2>Videos</h2>
<div class="columns is-variable is-6">
<div class="column is-6">
<h4>Explanation Video (Anime)</h4>
<div class="video-item">
<div class="video-wrapper">
<div class="resp-container">
<iframe width="100%" height="576" src="https://www.youtube.com/embed/NpEaa2P7qZI" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>
</div>
</div>
</div>
</div>
<div class="column is-6">
<h4>RPS Demo Video</h4>
<div class="video-item">
<div class="video-wrapper">
<div class="resp-container">
<iframe width="100%" height="576" src="https://www.youtube.com/embed/NpEaa2P7qZI" frameborder="0" allow="accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>
</div>
</div>
</div>
</div>
</div>
</div>
</section> -->
<section class="list-wrap">
<div class="container">
<h2>Extra Reading List</h2>
<ul class="list-container">
<li>
<p>Kimball Germane, <b>Jay McCarthy</b>, Michael Adams, and Matthew Might. </p>
<a href="http://kimball.germane.net/germane-dcfa-techreport.pdf">“Demand Control-Flow Analysis”.</a>
<p class="italic-style">VMCAI 2019.</p>
</li>
<li>
<p>Radha Nakade, Eric Mercer, Peter Aldous and <b>Jay McCarthy</b>.</p>
<a href="https://faculty.cs.byu.edu/~pdiddy/papers/cg.pdf">“Model Checking Task Parallel Programs for Data-race”.</a>
<p class="italic-style">NASA Formal Methods Symposium 2018.</p>
</li>
<li>
<p>Max S. New, Burke Fetscher, <b>Jay McCarthy</b>,
and Robert Bruce Findler.</p>
<a href="https://jeapostrophe.github.io/home/static/jfp2017-nfmf.pdf">“Fair Enumeration Combinators”.</a>
<p class="italic-style">Journal of Functional Programming 27, e19, 2017.</p>
</li>
<li>
<p><b>Jay McCarthy</b>, Burke Fetscher, Max New, Daniel Felty,
and Robert Bruce Findler.</p>
<a href="https://jeapostrophe.github.io/home/static/scp2017-mfnff.pdf">“A Coq Library For Internal Verification of Running-Times”.</a>
<p class="italic-style">Science of Computer Programming 2017.</p>
</li>
<li>
<p>Neil Toronto, <b>Jay McCarthy</b>, and David Van Horn.</p>
<a href="https://arxiv.org/abs/1412.4053">“Running Probabilistic Programs Backwards”.</a>
<p class="italic-style">ESOP 2015.</p>
</li>
<li>
<p>Neil Toronto and <b>Jay McCarthy</b>,</p>
<a href="https://jeapostrophe.github.io/home/static/tm-cise2014.pdf">“Practically Accurate Floating-Point Math”.</a>
<p class="italic-style">Computing in Science and Engineering, July 2014.</p>
</li>
<li>
<p>Yu Huang, Eric Mercer, and <b>Jay McCarthy</b>.</p>
<a href="https://jeapostrophe.github.io/home/static/2013-ase.pdf">“Proving MCAPI Executions are Correct using SMT”.</a>
<p class="italic-style">ASE 2013.</p>
</li>
<li>
<p>Neil Toronto and <b>Jay McCarthy</b>.</p>
<a href="https://jeapostrophe.github.io/home/static/toronto-2012flops.pdf">“Computing in Cantor’s Paradise with LambdaZFC”.</a>
<p class="italic-style">FLOPS 2012. (<a href="https://github.com/ntoronto/plt-stuff/tree/master/flops2012">Code</a>)</p>
</li>
<li>
<p>Everett Morse, Nick Vrvilo, Eric Mercer, and <b>Jay McCarthy</b>,</p>
<a href="https://jeapostrophe.github.io/home/static/vmcai-2012.pdf">“Modeling Asynchronous Message Passing for C Programs”.</a>
<p class="italic-style">VMCAI 2012. (<a href="https://github.com/ericmercer/4M">Code</a>)</p>
</li>
<li>
<p>Tim Disney, Cormac Flanagan, and <b>Jay McCarthy</b>.</p>
<a href="https://jeapostrophe.github.io/home/static/icfp2011-dfm.pdf">“Temporal Higher-Order Contracts”.</a>
<p class="italic-style">International Conference on Functional Programming, 2011.</p>
</li>
<li>
<p><b>Jay McCarthy.</b></p>
<a href="https://jeapostrophe.github.io/home/static/oopsla026-mccarthy.pdf">“The Two-State Solution: Native and Serializable Continuations Accord”.</a>
<p class="italic-style">International Conference on Object Oriented Programming, Systems, Languages and Applications, 2010. (<a href="https://docs.racket-lang.org/web-server/stateless.html#(form._((lib._web-server/lang/abort-resume..rkt)._serial-~3enative))">Code</a>)</p>
</li>
<li>
<p><b>Jay McCarthy</b>, and Shriram Krishnamurthi.</p>
<a href="https://jeapostrophe.github.io/home/static/dispatch.pdf">“Trusted Multiplexing of Cryptographic Protocols”.</a>
<p class="italic-style">International Workshop on Formal Aspects in Security and Trust, 2009.</p>
</li>
<li>
<p><b>Jay McCarthy.</b></p>
<a href="https://jeapostrophe.github.io/home/static/icfp065-mccarthy.pdf">“ Automatically RESTful Web Applications Or, Marking Modular Serializable Continuations ”.</a>
<p class="italic-style">International Conference on Functional Programming, 2009. (<a href="https://docs.racket-lang.org/web-server/stateless.html#(part._.Serializable_.Continuations)">Code</a>)</p>
</li>
<li>
<p><b>Jay McCarthy</b> and Shriram Krishnamurthi.</p>
<a href="https://cs.brown.edu/~sk/Publications/Papers/Published/mk-crypto-prot-expl-epp/paper.pdf">“Cryptographic Protocol Explication and End-Point Projection ”.</a>
<p class="italic-style">European Symposium on Research in Computer Security, 2008.</p>
</li>
<li>
<p>Springer, Berlin, Heidelberg, <b>Jay McCarthy</b>
and Shriram Krishnamurthi.</p>
<a href="https://cs.brown.edu/~sk/Publications/Papers/Published/mk-crypto-prot-expl-epp/paper.pdf">“Minimal Backups of Cryptographic Protocol Runs ”.</a>
<p class="italic-style">Formal Methods in Security Engineering, 2008. (<a href="http://www.cs.brown.edu/research/plt/dl/fmse2008/backup.tar.bz2">Code</a>)</p>
</li>
<li>
<p><b>Jay McCarthy</b>, Joshua Guttman, John Ramsdell, and Shriram Krishnamurthi.</p>
<a href="http://cs.brown.edu/~sk/Publications/Papers/Published/mgrk-comp-crypto-prot-depl-web/paper.pdf">“Compiling Cryptographic Protocols for Deployment on the Web ”.</a>
<p class="italic-style">International World Wide Web Conference, 2007.</p>
</li>
</ul>
</div>
</section>
<section class="button-wrap">
<div class="container">
<h3>Ready to make blockchain practical?</h3>
<div class="field-email">
<form action="https://reach.us4.list-manage.com/subscribe/post?u=ba39b9f0950146ad73e693181&id=cf5c573a1f" method="post" id="mc-embedded-subscribe-form" name="mc-embedded-subscribe-form" class="validate" target="_blank" novalidate>
<div class="control">
<input type="email" value="" name="EMAIL" class="email input" id="mce-EMAIL" placeholder="Enter your email" required>
<!-- real people should not fill this in and expect good things - do not remove this or risk form bot signups-->
<div style="position: absolute; left: -5000px;" aria-hidden="true"><input type="text" name="b_ba39b9f0950146ad73e693181_cf5c573a1f" tabindex="-1" value=""></div>
<input type="submit" value="Join Mailing List" name="subscribe" id="mc-embedded-subscribe" class="button btn">
</div>
</form>
</div>
</div>
</section>
<footer class="footer">
<div class="container">
<div class="columns is-tablet">
<div class="column is-2 footer-logo">
<a href="/">
<img src="images/Reach_vertical_dark_bg.svg" alt="footer logo">
</a>
</div>
<div class="column is-6">
<ul class="footer-list">
<li><a href="/">Home</a></li>
<li><a href="/how_it_works.html">Learn More</a></li>
<li><a href="/resources.html">Resources</a></li>
<li class="dropdown-services">
<i class="icon-show-dropdown"></i>
<a href="/services.html" class="navbar-item">Services</a>
<ul class="dropdown-menu">
<li><a class="dropdown-link" href="/services.html#service-first">Blockchain product strategy</a></li>
<li><a class="dropdown-link" href="/services.html#service-second">Blockchain Development</a></li>
<li><a class="dropdown-link" href="/services.html#service-third">Blockchain app auditing</a></li>
<li><a class="dropdown-link" href="/services.html#service-fourth">Learning resources</a></li>
<li><a class="dropdown-link" href="/services.html#service-fifth">Reach technical support</a></li>
</ul>
</li>
<li><a href="https://medium.com/reach-sh" rel="nofollow">Blog</a></li>
</ul>
</div>
<div class="column is-4 has-text-centered social-footer">
<p>Follow us on:</p>
<ul class="social-container">
<!-- <li><a href="https://t.me/reach_sh" target="_blank"><i class="fab fa-telegram-plane"></i></a></li> -->
<li><a href="https://discord.gg/AZsgcXu" target="_blank"><i class="fab fa-discord"></i></a></li>
<li><a href="https://github.com/reach-sh" target="_blank"><i class="fab fa-github"></i></a></li>
<li><a href="https://www.reddit.com/r/reach_sh" target="_blank"><i class="fab fa-reddit-alien"></i></a></li>
<li><a href="https://www.youtube.com/channel/UCnrHr0UG2pRkHCO-EloEkjw" target="_blank">
<div class="youtube-svg">
<?xml version="1.0" encoding="UTF-8"?>
<svg width="18px" height="22px" viewBox="0 0 18 22" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<!-- Generator: Sketch 58 (84663) - https://sketch.com -->
<title>Youtube</title>
<desc>Created with Sketch.</desc>
<defs>
<path d="M18.22536,16.79968 L17.04,16.79968 L17.04552,16.11112 C17.04552,15.80512 17.2968,15.5548 17.60376,15.5548 L17.67936,15.5548 C17.98704,15.5548 18.23904,15.80512 18.23904,16.11112 L18.22536,16.79968 Z M13.77912,15.32416 C13.4784,15.32416 13.2324,15.52624 13.2324,15.77368 L13.2324,19.1224 C13.2324,19.36936 13.4784,19.57096 13.77912,19.57096 C14.08104,19.57096 14.32728,19.36936 14.32728,19.1224 L14.32728,15.77368 C14.32728,15.526 14.08104,15.32416 13.77912,15.32416 Z M21,13.45096 L21,19.82152 C21,21.3496 19.67496,22.6 18.0552,22.6 L5.94504,22.6 C4.3248,22.6 3,21.3496 3,19.82152 L3,13.45096 C3,11.92288 4.3248,10.67224 5.94504,10.67224 L18.0552,10.67224 C19.67496,10.67224 21,11.92288 21,13.45096 Z M6.75288,20.5132 L6.75192,13.80256 L8.25312,13.80304 L8.25312,12.80872 L4.25136,12.80272 L4.25136,13.78024 L5.50056,13.78384 L5.50056,20.5132 L6.75288,20.5132 Z M11.25288,14.80216 L10.00128,14.80216 L10.00128,18.3856 C10.00128,18.904 10.03272,19.1632 9.99936,19.25464 C9.8976,19.53256 9.44016,19.82776 9.26184,19.28464 C9.2316,19.1896 9.25824,18.9028 9.25776,18.41032 L9.25272,14.80216 L8.00808,14.80216 L8.01192,18.35368 C8.01288,18.898 7.99968,19.30384 8.01624,19.48864 C8.04672,19.81432 8.03592,20.194 8.33808,20.41096 C8.90112,20.81656 9.9804,20.35048 10.2504,19.77064 L10.248,20.51056 L11.25312,20.51176 L11.25288,14.80216 L11.25288,14.80216 Z M15.2568033,18.90568 L15.25416,15.9232 C15.2532,14.78656 14.40288,14.10592 13.24872,15.0256 L13.25376,12.80824 L12.0036,12.81016 L11.9976,20.46376 L13.02576,20.44888 L13.11936,19.97224 C14.43288,21.17728 15.25872,20.35144 15.2568033,18.90568 Z M19.17384,18.5104 L18.23544,18.51544 C18.23496,18.55264 18.23352,18.5956 18.23304,18.6424 L18.23304,19.16608 C18.23304,19.4464 18.00144,19.67464 17.72016,19.67464 L17.53632,19.67464 C17.25456,19.67464 17.02296,19.4464 17.02296,19.16608 L17.02296,19.108 L17.02296,18.532 L17.02296,17.78872 L19.17192,17.78872 L19.17192,16.97992 C19.17192,16.3888 19.1568,15.79792 19.10784,15.46 C18.954,14.39104 17.45352,14.22136 16.6956,14.76856 C16.45776,14.93944 16.27608,15.16816 16.17048,15.47536 C16.06392,15.7828 16.01088,16.2028 16.01088,16.73632 L16.01088,18.51472 C16.01136,21.47104 19.60224,21.0532 19.17384,18.5104 Z M14.35992,8.85568 C14.42448,9.01264 14.5248,9.13984 14.66088,9.23584 C14.79528,9.3304 14.96712,9.37792 15.17304,9.37792 C15.35352,9.37792 15.51336,9.3292 15.65256,9.22864 C15.79128,9.12856 15.90816,8.97904 16.00368,8.7796 L15.97992,9.27064 L17.37504,9.27064 L17.37504,3.3376 L16.2768,3.3376 L16.2768,7.9552 C16.2768,8.20528 16.07088,8.41 15.81912,8.41 C15.5688,8.41 15.36216,8.20528 15.36216,7.9552 L15.36216,3.3376 L14.21592,3.3376 L14.21592,7.33936 C14.21592,7.84912 14.22528,8.18896 14.2404,8.36128 C14.256,8.5324 14.29536,8.69656 14.35992,8.85568 Z M10.13208,5.5048 C10.13208,4.93528 10.1796,4.49056 10.27392,4.16992 C10.36896,3.85048 10.5396,3.59368 10.7868,3.4 C11.03328,3.20536 11.34888,3.10792 11.73264,3.10792 C12.05544,3.10792 12.33192,3.17128 12.5628,3.29536 C12.79488,3.42016 12.97392,3.58216 13.098,3.78208 C13.22448,3.98272 13.3104,4.18888 13.35624,4.39984 C13.40304,4.61368 13.42608,4.93624 13.42608,5.37136 L13.42608,6.87184 C13.42608,7.42216 13.404,7.82704 13.36104,8.08408 C13.31856,8.34184 13.22736,8.58088 13.086,8.80504 C12.9468,9.0268 12.76704,9.19264 12.54912,9.29848 C12.3288,9.40528 12.0768,9.4576 11.79216,9.4576 C11.47416,9.4576 11.20632,9.41368 10.98552,9.322 C10.764,9.2308 10.59288,9.09328 10.47096,8.91064 C10.34784,8.72776 10.2612,8.50504 10.20888,8.24536 C10.15632,7.98592 10.13136,7.59568 10.13136,7.0756 L10.13208,5.5048 L10.13208,5.5048 Z M11.2248,7.8616 C11.2248,8.1976 11.47488,8.47192 11.77944,8.47192 C12.08424,8.47192 12.33336,8.1976 12.33336,7.8616 L12.33336,4.7032 C12.33336,4.36768 12.08424,4.09336 11.77944,4.09336 C11.47488,4.09336 11.2248,4.36768 11.2248,4.7032 L11.2248,7.8616 Z M7.36368,9.4564 L8.67984,9.4564 L8.68128,4.906 L10.23648,1.00792 L8.79696,1.00792 L7.97016,3.90328 L7.1316,1 L5.70696,1 L7.36152,4.90816 L7.36368,9.4564 Z" id="path-1"></path>
</defs>
<g id="site" stroke="none" stroke-width="1" fill="none" fill-rule="evenodd">
<g id="styleguide" transform="translate(-585.000000, -84.000000)">
<g id="github-copy-3" transform="translate(572.000000, 73.000000)">
<g id="Icons/Socials/Youtube" transform="translate(10.000000, 10.000000)">
<rect id="Base" x="0" y="0" width="24" height="24"></rect>
<mask id="mask-2" fill="white">
<use xlink:href="#path-1"></use>
</mask>
<use id="YouTube" fill="#858695" fill-rule="nonzero" xlink:href="#path-1"></use>
<g id="grey" mask="url(#mask-2)" fill="#858695" fill-rule="evenodd">
<rect id="Rectangle" x="0" y="0" width="24" height="24"></rect>
</g>
</g>
</g>
</g>
</g>
</svg>
</div>
</a></li>
<li><a href="https://twitter.com/reachlang" target="_blank"><i class="fab fa-twitter"></i></a></li>
</ul>
</div>
</div>
</div>
<div class="container copyright-wrap has-text-centered">
<span>© Copyright 2021 Reach</span>
</div>
</footer>
<script type="text/javascript" src="lib/main.js"></script>
</body>
</html>