Files
website/index.html
2018-03-22 20:22:26 +01:00

140 lines
4.0 KiB
HTML
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<style>
@font-face {
font-family: 'charterregular';
src: url('charter_regular-webfont.eot');
src: url('charter_regular-webfont.woff') format('woff');
font-weight: normal;
font-style: normal;
}
body {
font-family: 'charterregular', Georgia, serif;
font-size: 20px;
width: 100vw;
height: 100vh;
margin: 0;
}
.aside {
float: left;
width: 210px;
margin-left: 10vw;
height: 100vh;
}
.aside h1 {
font-size: 30px;
padding: 1em;
font-weight: 500;
}
.aside ul {
list-style-type: none;
}
.aside ul li {
padding-bottom: 0.4em;
font-size: 100%
}
.aside a {
color: #444;
text-decoration: none;
}
.main {
max-width: 1000px;
padding: 2em;
hyphens: auto;
text-align: justify;
}
.main a {
color: #000;
text-decoration: none;
border-bottom: 2px solid #d6dde3;
}
.main ul {
margin-top: 0.1em;
}
.main li {
list-style: circle;
}
@media(max-device-width: 700px) {
body {
font-size: 36px;
}
.aside {
width: 100%;
height: auto;
margin-left: 1em;
}
.aside h1 {
font-size: 160%;
padding: 0.5em;
}
.aside ul li {
font-size: 130%;
display: inline-block;
width: 30vw;
margin-bottom: 0.5em;
}
.main {
max-width: 100%;
}
}
</style>
<title>Veit Heller</title>
</head>
<body lang="en">
<div class="aside">
<h1>Veit Heller</h1>
<ul>
<li><a href="https://veitheller.de/static/resume.pdf">Résumé</a></li>
<li><a href="http://blog.veitheller.de">Blog</a></li>
<li><a href="https://veitheller.de/poems">Poems</a></li>
<li><a href="https://veitheller.de/art">Visual Art</a></li>
<li><a href="https://github.com/hellerve">Github</a><li>
<li><a href="mailto:veit@veitheller.de">Contact Me</a></li>
</ul>
</div>
<div class="main">
<p>Gday, Im Veit.</p>
<p>
Im a software engineer at <a href="https://port-zero.com/">Port Zero</a>
based in Berlin. I do a lot of open source work.
</p>
<span>Some of my most popular projects are</span>
<ul>
<li>
<a href="https://github.com/hellerve/e">e</a>, my cheekily-named terminal editor;
</li>
<li>
<a href="https://github.com/zepto-lang/zepto">zepto</a>, a programming language I
have been working on;
</li>
<li>
<a href="https://github.com/carp-lang/carp">Carp</a>, a programming language I
am contributing to—read my <a href="https://blog.veitheller.de/Carp.html">blog post</a>
about it;
</li>
<li>
<a href="https://github.com/hellerve/hawkweed">hawkweed</a>, a utility library for
Python with an emphasis on functional programming;
</li>
<li>
<a href="https://github.com/ecix/birdseye">birdseye</a>, a looking glass for
routeservers including <a href="https://github.com/ecix/birdwatcher">a tool</a> that
provides an API for routeservers powered by BIRD (you can see it in action
<a href="https://lg.ecix.net">here</a>);
</li>
<li>
and a <a href="https://github.com/port-zero/lens">number</a>
<a href="https://github.com/port-zero/lwt">of</a>
<a href="https://github.com/ecix/fswatch">useful</a>
<a href="https://github.com/port-zero/decode">tools</a>.
</li>
</ul>
<p>
I am available for consulting work through
<a href="https://port-zero.com/contact/">Port Zero</a>.
</p>
</body>
</html>