-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
74 lines (64 loc) · 3.77 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
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8"/>
<title>YaccConstructor
</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0"/>
<meta name="description" content="YaccConstructor"/>
<meta name="author" content="Semyon Grigorev and others"/>
<script src="https://code.jquery.com/jquery-1.8.0.js"></script>
<script src="https://code.jquery.com/ui/1.8.23/jquery-ui.js"></script>
<script src="https://netdna.bootstrapcdn.com/twitter-bootstrap/2.2.1/js/bootstrap.min.js"></script>
<link href="https://netdna.bootstrapcdn.com/twitter-bootstrap/2.2.1/css/bootstrap-combined.min.css" rel="stylesheet"/>
<link type="text/css" rel="stylesheet" href="./content/style.css" />
<script type="text/javascript" src="./content/tips.js"></script>
<!-- HTML5 shim, for IE6-8 support of HTML5 elements -->
<!--[if lt IE 9]>
<script src="https://html5shim.googlecode.com/svn/trunk/html5.js"></script>
<![endif]-->
</head>
<body>
<div class="container">
<div class="masthead">
<ul class="nav nav-pills pull-right">
<!--li><a href="http://yc.com">YaccConstructor</a></li-->
<li><a href="https://github.com/YaccConstructor">github page</a>
</li>
</ul>
<h3 class="muted"><a href="./index.html">YaccConstructor</a></h3>
</div>
<hr />
<div class="row">
<div class="span9" id="main">
We are research group of the <a
href="http://se.math.spbu.ru/SE/en/index_html?set_language=en">Software Engineering chair</a> of
the <a href="http://eng.spbu.ru/">Saint-Petersburg State University</a>, Russia. Also we are part of <a href="https://research.jetbrains.org/groups/plt_lab/projects?project_id=3">Programming Languages and Tools Lab.</a>
<h2>Projects</h2>
<h3><a href="YaccConstructor">YaccConstructor</a></h3>
YaccConstructor is a platform for grammarware research and development. One of features is analysis of string-embedded languages.
<h3><a href="http://yaccconstructor.github.io/YC.PrettyPrinter/">YC.PrettyPrinter</a></h3>
Printer combinators library in F#.
<h3><a href="https://github.com/YaccConstructor/QuickGraph">QuickGraph</a></h3>
QuickGraph provides generic directed/undirected graph datastructures and algorithms for .NET. QuickGraph comes with algorithms such as depth first seach, breath first search, A* search, shortest path, k-shortest path, maximum flow, minimum spanning tree, etc...
<br/> Forked from <a href="https://quickgraph.codeplex.com/">https://quickgraph.codeplex.com/</a>
<h3><a href="https://github.com/YaccConstructor/ConcurrentLexPars">ConcurrentLexPars</a></h3>
Example of lexing and parsing concurrently in F# in fslex and fsyacc.
</div>
<div class="span3">
<img src="./images/YC_big.jpg" alt="YaccConstructor" style="width:150px;margin:10px" />
<ul class="nav nav-list" id="menu" style="margin-top: 20px;">
<li class="nav-header">YaccConstructor</li>
<li><a href="./index.html">Home page</a></li>
<li><a href="blog_index.html">Blog</a></li>
<li><a href="https://twitter.com/YaccConstructor">Twitter (@YaccConstructor)</a></li>
<li><a href="https://plus.google.com/u/0/communities/102842370317111619055">G+ community</a></li>
<li class="divider"></li>
<li class="nav-header">Materials</li>
<li><a href="./fl.html">Formal languages course materials(ru)</a></li>
</ul>
</div>
</div>
<a href="https://github.com/YaccConstructor"><img style="position: absolute; top: 0; right: 0; border: 0;" src="https://s3.amazonaws.com/github/ribbons/forkme_right_gray_6d6d6d.png" alt="Fork me on GitHub"/></a>
</body>
</html>