forked from StartBootstrap/startbootstrap-landing-page
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
198 lines (180 loc) · 8.43 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
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
<meta name="description" content="">
<meta name="author" content="">
<title>Free Proving Research Project</title>
<!-- Bootstrap core CSS -->
<link href="vendor/bootstrap/css/bootstrap.min.css" rel="stylesheet">
<!-- Custom fonts for this template -->
<link href="vendor/fontawesome-free/css/all.min.css" rel="stylesheet">
<link href="vendor/simple-line-icons/css/simple-line-icons.css" rel="stylesheet" type="text/css">
<link href="https://fonts.googleapis.com/css?family=Lato:300,400,700,300italic,400italic,700italic" rel="stylesheet" type="text/css">
<!-- Custom styles for this template -->
<link href="css/landing-page.min.css" rel="stylesheet">
</head>
<body>
<!-- Navigation -->
<nav class="navbar navbar-light bg-light static-top">
<div class="container">
<a class="navbar-brand" href="#">Free Proving Research Project</a>
<a href="https://github.com/freeProving">Free Proving on <i class="fab fa-github fa-2x fa-fw"></i></a>
<a href="https://github.com/cau-placc">PLaCC on <i class="fab fa-github fa-2x fa-fw"></i></a>
</div>
</nav>
<!-- Masthead -->
<header class="masthead text-white text-center" style="background:
url('img/math-bg.jpg') no-repeat bottom center;">
<div class="overlay"></div>
<div class="container">
<div class="row">
<div class="col-xl-9 mx-auto">
<h1 class="mb-5">Be a part of the Free Proving master's project offered by the PLaCC group!</h1>
</div>
<div class="col-md-10 col-lg-8 col-xl-7 mx-auto">
<div class="row justify-content-md-center">
<div class="col-6 col-md-4">
<form action="mailto:[email protected][email protected]&subject=Master's Project&body=Hi Sandra & Niels, I like to partipate in the Free Proving project!"
method="post" enctype="text/plain">
<button type="submit" class="btn btn-block btn-lg
btn-primary">Contact us!</button>
</form>
</div>
<div class="col-6 col-md-4">
<form action="https://git.informatik.uni-kiel.de/snippets/54">
<button class="btn btn-block btn-lg btn-primary">How to prepare?</button></a>
</div>
</form>
</div>
</div>
</div>
</div>
</header>
<!-- Icons Grid -->
<section class="features-icons bg-light text-center">
<div class="container">
<div class="row">
<div class="col-lg-4">
<div class="features-icons-item mx-auto mb-5 mb-lg-0 mb-lg-3">
<div class="features-icons-icon d-flex">
<i class="icon-docs m-auto text-primary"></i>
</div>
<h3>Haskell-to-Coq Compiler</h3>
<p class="lead mb-0">The current compiler pipeline is implemented in Haskell and transforms Haskell code to Coq!</p>
</div>
</div>
<div class="col-lg-4">
<div class="features-icons-item mx-auto mb-5 mb-lg-0 mb-lg-3">
<div class="features-icons-icon d-flex">
<i class="icon-note m-auto text-primary"></i>
</div>
<h3>Proving in Coq</h3>
<p class="lead mb-0">The proof assistant Coq allows users to define programs and prove properties about them!</p>
</div>
</div>
<div class="col-lg-4">
<div class="features-icons-item mx-auto mb-0 mb-lg-3">
<div class="features-icons-icon d-flex">
<i class="icon-graduation m-auto text-primary"></i>
</div>
<h3>On-Going Research</h3>
<p class="lead mb-0">The master's project is very close to a current on-going research topic within our group!</p>
</div>
</div>
</div>
</div>
</section>
<!-- Image Showcases -->
<section class="showcase">
<div class="container-fluid p-0">
<div class="row no-gutters">
<div class="col-lg-6 order-lg-2 text-white showcase-img" style="background: url('img/haskell-colour.png') no-repeat center;"></div>
<div class="col-lg-6 order-lg-1 my-auto showcase-text">
<h2>Compiler written in Haskell</h2>
<p class="lead mb-0">Possible extensions for the current prototype include: an Agda backend, usig ghc-lib as an alternative frontend, adding sharing facilities and keeping information about the original Haskell source code for better error messages as well as to generate helper lemmas for simplifications in Coq.</p>
</div>
</div>
<div class="row no-gutters">
<div class="col-lg-6 text-white showcase-img"
style="background: url('img/coq-logo-vector.svg') no-repeat center;background-size: 180px;"></div>
<div class="col-lg-6 my-auto showcase-text">
<h2>Properties proven in Coq</h2>
<p class="lead mb-0">In order to smooth the usability for end-used, we need to further test working with the compiler and the Coq framework in context of several case studies. Furthermore, the autmoatic generation of induction principles that are needed for proofs should be implemented as Coq-plugin and integrated in the compiler pipeline.</p>
</div>
</div>
<div class="row no-gutters">
<div class="col-lg-6 order-lg-2 text-white showcase-img"
style="background:url('img/coqell.png') no-repeat center"></div>
<div class="col-lg-6 order-lg-1 my-auto showcase-text">
<h2>The Free Proving Research Project</h2>
<p class="lead mb-0">Our current main interest in the integration of sharing, as the framework in its current form only models call-by-name, but Haskell is a call-by-need languages. For effects like <i>tracing</i>, the difference does not matter only with respect to performance. Furthermore, we need more hands on the project in order to undertake a reasonable amount of case studies.</p>
</div>
</div>
</div>
</section>
<!-- Testimonials -->
<section class="testimonials text-center bg-light">
<div class="container">
<h2 class="mb-5">Contact persons for the project are...</h2>
<div class="row">
<div class="col-lg-6">
<div class="testimonial-item mx-auto mb-5 mb-lg-0">
<img class="img-fluid rounded-circle mb-3" src="img/sad.jpeg" alt="">
<h5>Sandra Dylus <a href="mailto:[email protected]"><i class="fas fa-envelope fa-1x fa-fw"></i></a></h5>
<p class="font-weight-light mb-0">PostDoc, University of Kiel</p>
</div>
</div>
<div class="col-lg-6">
<div class="testimonial-item mx-auto mb-5 mb-lg-0">
<img class="img-fluid rounded-circle mb-3" src="img/nbu_small.jpg" alt="">
<h5>Niels Bunkenburg <a href="mailto:[email protected]"><i class="fas fa-envelope fa-1x fa-fw"></i></a></h5>
<p class="font-weight-light mb-0">PhD Student, University of Kiel</p>
</div>
</div>
</div>
</div>
</section>
<!-- Footer -->
<footer class="footer bg-light">
<hr>
<div class="container">
<div class="row">
<div class="col-lg-6 h-100 text-center text-lg-left my-auto">
<ul class="list-inline mb-2">
<li class="list-inline-item">
<a href="#">Top</a>
</li>
<!-- <li class="list-inline-item">⋅</li> -->
<!-- <li class="list-inline-item"> -->
<!-- <a href="#">Contact</a> -->
<!-- </li> -->
<!-- <li class="list-inline-item">⋅</li> -->
<!-- <li class="list-inline-item"> -->
<!-- <a href="#">Terms of Use</a> -->
<!-- </li> -->
<!-- <li class="list-inline-item">⋅</li> -->
<!-- <li class="list-inline-item"> -->
<!-- <a href="#">Privacy Policy</a> -->
<!-- </li> -->
</ul>
<p class="text-muted small mb-4 mb-lg-0">© Sandra Dylus, 2020. All Rights Reserved.</p>
</div>
<div class="col-lg-6 h-100 text-center text-lg-right my-auto">
<ul class="list-inline mb-0">
<li class="list-inline-item">
<a href="https://github.com/freeProving">
<i class="fab fa-github fa-2x fa-fw"></i>
</a>
</li>
</ul>
</div>
</div>
</div>
</footer>
<!-- Bootstrap core JavaScript -->
<script src="vendor/jquery/jquery.min.js"></script>
<script src="vendor/bootstrap/js/bootstrap.bundle.min.js"></script>
</body>
</html>