Added cloogle; tabs

author: Camil Staps 2016-04-20 21:30:45 +0200
committer: Camil Staps 2016-04-20 21:30:45 +0200
commit: 36635c2bbe551a03781b7dd854f873d2349fe0f2 (patch)
tree: 76c8b53a4424e5497a4ea084022b3701ece0a446 /resources/jade/index.jade
parent: FP2 (diff)
1 files changed, 98 insertions, 95 deletions
diff --git a/resources/jade/index.jade b/resources/jade/index.jade
index f635f38..7b079c9 100644
--- a/resources/jade/index.jade
+++ b/resources/jade/index.jade
@@ -1,107 +1,110 @@
 extends ./include/layout.jade
 
 block content
-  h1 Camil Staps
-  hr
-  img#profile(alt="Camil Staps", style="float:left;", src="/assets/img/profile-300x300.png", width="170")
-  p Bachelor student #[a(href="http://www.ru.nl/opleidingen/bachelor/informatica/") Computing Science] and #[a(href="http://www.ru.nl/opleidingen/bachelor/theologie/") Theology]; freelance programmer
-  p(style='white-space:pre;')
-    span.tt info@camilstaps.nl
-    br
-    | GPG ID: #[a(href="http://pgp.mit.edu/pks/lookup?op=get&search=0x4A9BFD4F6A415F83") 6A315F83]
-    br
-    | Fingerprint: #[span.tt 7F41 677C FA51 D2AE 8A4A  C47D 4A9B FD4F 6A41 5F83]
-  p
-    a(href="https://github.com/camilstaps") GitHub
-    br
-    a(href="https://nl.linkedin.com/in/camilstaps") LinkedIn
-    br
-    a(href="http://stackexchange.com/users/1679769/camil-staps") StackExchange
-    br
-    a(href="http://careers.stackoverflow.com/camilstaps") Stack Overflow Careers
+	h1 Camil Staps
+	hr
+	img#profile(alt="Camil Staps", style="float:left;", src="/assets/img/profile-300x300.png", width="170")
+	p Bachelor student #[a(href="http://www.ru.nl/opleidingen/bachelor/informatica/") Computing Science] and #[a(href="http://www.ru.nl/opleidingen/bachelor/theologie/") Theology]; freelance programmer
+	p(style='white-space:pre;')
+		span.tt info@camilstaps.nl
+		br
+		| GPG ID: #[a(href="http://pgp.mit.edu/pks/lookup?op=get&search=0x4A9BFD4F6A415F83") 6A315F83]
+		br
+		| Fingerprint: #[span.tt 7F41 677C FA51 D2AE 8A4A  C47D 4A9B FD4F 6A41 5F83]
+	p
+		a(href="https://github.com/camilstaps") GitHub
+		br
+		a(href="https://nl.linkedin.com/in/camilstaps") LinkedIn
+		br
+		a(href="http://stackexchange.com/users/1679769/camil-staps") StackExchange
+		br
+		a(href="http://careers.stackoverflow.com/camilstaps") Stack Overflow Careers
 
-  hr
+	hr
 
-  table
-    tr
-      td I like:
-      td Functional programming (#[a(href="http://clean.cs.ru.nl/Clean") Clean]), Linux (Debian; Ubuntu Server), Python, crypto, LaTeX (TikZ), PIC microcontrollers, CoffeeScript, regular expressions, Git, Laravel, API development (Dingo; REST), Bash
-    tr
-      td I know:
-      td The above, (X)HTML(5), CSS(3), JavaScript (jQuery), Bootstrap 3, WordPress, C(++), (My)SQL, PHP, Java
-    tr
-      td I dislike:
-      td Ubuntu Desktop, C#, Objective C, any Windows version above XP, Apple, MS Office, computer games
-    tr
-      td My wishlist:
-      td R, more functional programming, Node.js, Docker, LXC, functional programming on microcontrollers, data mining, gamification
-  
-  h2 Work
-  table
-    tr
-      td 2015 - present
-      td 
-        p Student assistant at the #[a(href="http://www.ru.nl/science") Faculty of Science] at the Radboud University Nijmegen
-        ul
-          li Autumn 2015, #[a(href="http://www.cs.ru.nl/~hubbers/courses/ms_1516/") Mathematical Structures]
-          li Winter 2015-16, #[a(href="http://www.cs.ru.nl/~hubbers/courses/co_1516/") Combinatorics]
-          li Spring - Summer 2016, #[a(href="http://www.studiegids.science.ru.nl/2015/science/prospectus/inf_ba/course/37072/") Functional Programming 1] and #[a(href="http://www.studiegids.science.ru.nl/2015/course/37073/") 2]
-          li Spring - Summer 2016, #[a(href="http://www.studiegids.science.ru.nl/2015/science/prospectus/inf_ba/course/37067/") Introduction to Cryptography]
-    tr
-      td 2013 - present
-      td Owner of #[a(href="https://vivisoft.nl") ViviSoft]
+	table
+		tr
+			td I like:
+			td Functional programming (#[a(href="http://clean.cs.ru.nl/Clean") Clean]), Linux (Debian; Ubuntu Server), Python, crypto, LaTeX (TikZ), PIC microcontrollers, CoffeeScript, regular expressions, Git, Laravel, API development (Dingo; REST), Bash
+		tr
+			td I know:
+			td The above, (X)HTML(5), CSS(3), JavaScript (jQuery), Bootstrap 3, WordPress, C(++), (My)SQL, PHP, Java
+		tr
+			td I dislike:
+			td Ubuntu Desktop, C#, Objective C, any Windows version above XP, Apple, MS Office, computer games
+		tr
+			td My wishlist:
+			td R, more functional programming, Node.js, Docker, LXC, functional programming on microcontrollers, data mining, gamification
+	
+	h2 Work
+	table
+		tr
+			td 2015 - present
+			td 
+				p Student assistant at the #[a(href="http://www.ru.nl/science") Faculty of Science] at the Radboud University Nijmegen
+				ul
+					li Autumn 2015, #[a(href="http://www.cs.ru.nl/~hubbers/courses/ms_1516/") Mathematical Structures]
+					li Winter 2015-16, #[a(href="http://www.cs.ru.nl/~hubbers/courses/co_1516/") Combinatorics]
+					li Spring - Summer 2016, #[a(href="http://www.studiegids.science.ru.nl/2015/science/prospectus/inf_ba/course/37072/") Functional Programming 1] and #[a(href="http://www.studiegids.science.ru.nl/2015/course/37073/") 2]
+					li Spring - Summer 2016, #[a(href="http://www.studiegids.science.ru.nl/2015/science/prospectus/inf_ba/course/37067/") Introduction to Cryptography]
+		tr
+			td 2013 - present
+			td Owner of #[a(href="https://vivisoft.nl") ViviSoft]
 
-  h2 Education
-  table
-    tr
-      td 2014-2017
-      td BSc. #[a(href="http://www.ru.nl/opleidingen/bachelor/informatica/") Computing Science &amp; Cyber Security], Radboud University Nijmegen. Some of my work related to this education may be found on #[a(href="https://git.camilstaps.nl") git.camilstaps.nl]; releases appear on #[a(href="https://files.camilstaps.nl") files.camilstaps.nl].
-    tr
-      td 2015-2017
-      td BA. #[a(href="http://www.ru.nl/opleidingen/bachelor/theologie/") Theology], Radboud University Nijmegen. Some of my work related to this education may be found on #[a(href="https://files.camilstaps.nl") files.camilstaps.nl].
+	h2 Education
+	table
+		tr
+			td 2014-2017
+			td BSc. #[a(href="http://www.ru.nl/opleidingen/bachelor/informatica/") Computing Science &amp; Cyber Security], Radboud University Nijmegen. Some of my work related to this education may be found on #[a(href="https://git.camilstaps.nl") git.camilstaps.nl]; releases appear on #[a(href="https://files.camilstaps.nl") files.camilstaps.nl].
+		tr
+			td 2015-2017
+			td BA. #[a(href="http://www.ru.nl/opleidingen/bachelor/theologie/") Theology], Radboud University Nijmegen. Some of my work related to this education may be found on #[a(href="https://files.camilstaps.nl") files.camilstaps.nl].
 
-  h2 Software projects &amp; libraries
-  table
-    tr
-      td: a(href="https://github.com/camilstaps/bibletext") bibletext
-      td LaTeX package for inserting Bible texts by specifying references (#[a(href="http://ctan.org/pkg/bibletext") CTAN]) (author &amp; maintainer)
-    tr
-      td: a(href="https://github.com/nichtich/tkz-orm") tkz-orm
-      td LaTeX package for drawing Object-Role Model (ORM) diagrams using PGF and TikZ (#[a(href="https://ctan.org/pkg/tkz-orm") CTAN]) (co-maintainer)
-    tr
-      td: a(href="https://github.com/camilstaps/ESP8266_PIC") ESP8266_PIC
-      td ESP8266 library for PIC microcontrollers
-    tr
-      td: a(href="https://github.com/camilstaps/pypride") pypride
-      td Python implementation of the #[a(href="https://eprint.iacr.org/2014/453") PRIDE] cipher
-    tr
-      td: a(href="http://bingo.camilstaps.nl/") Bingo forms
-      td Simple PHP script to create bingo forms with customised text
+	h2 Software projects &amp; libraries
+	table
+		tr
+			td: a(href="https://cloogle.org/") Cloogle
+			td Hoogle clone for Clean (co-author &amp; co-maintainer, mainly in the area of type search)
+		tr
+			td: a(href="https://github.com/camilstaps/bibletext") bibletext
+			td LaTeX package for inserting Bible texts by specifying references (#[a(href="http://ctan.org/pkg/bibletext") CTAN]) (author &amp; maintainer)
+		tr
+			td: a(href="https://github.com/nichtich/tkz-orm") tkz-orm
+			td LaTeX package for drawing Object-Role Model (ORM) diagrams using PGF and TikZ (#[a(href="https://ctan.org/pkg/tkz-orm") CTAN]) (co-maintainer)
+		tr
+			td: a(href="https://github.com/camilstaps/ESP8266_PIC") ESP8266_PIC
+			td ESP8266 library for PIC microcontrollers
+		tr
+			td: a(href="https://github.com/camilstaps/pypride") pypride
+			td Python implementation of the #[a(href="https://eprint.iacr.org/2014/453") PRIDE] cipher
+		tr
+			td: a(href="http://bingo.camilstaps.nl/") Bingo forms
+			td Simple PHP script to create bingo forms with customised text
 
-  p Find more on #[a(href="https://github.com/camilstaps") GitHub] and #[a(href="https://git.camilstaps.nl/") git.camilstaps.nl].
+	p Find more on #[a(href="https://github.com/camilstaps") GitHub] and #[a(href="https://git.camilstaps.nl/") git.camilstaps.nl].
 
-  h2 Other interests
-  ul
-    li I have been a volunteer in the #[a(href="http://www.taize.fr/") Taiz&eacute;] community in 2013-14.
-    li Making paper cuts, such as #[a(href="/assets/img/papercut.png") this one] or #[a(href="/assets/img/papercut-whales.png") that one].
+	h2 Other interests
+	ul
+		li I have been a volunteer in the #[a(href="http://www.taize.fr/") Taiz&eacute;] community in 2013-14.
+		li Making paper cuts, such as #[a(href="/assets/img/papercut.png") this one] or #[a(href="/assets/img/papercut-whales.png") that one].
 
-  h2 Contact details
-  p +31 6 4045 1121
-  p(style='white-space:pre;')
-    span.tt info@camilstaps.nl
-    br
-    | GPG ID: #[a(href="http://pgp.mit.edu/pks/lookup?op=get&search=0x4A9BFD4F6A415F83") 6A315F83]
-    br
-    | Fingerprint: #[span.tt 7F41 677C FA51 D2AE 8A4A  C47D 4A9B FD4F 6A41 5F83]
-  p
-    | #[a(href="https://github.com/camilstaps") GitHub], #[a(href="https://nl.linkedin.com/in/camilstaps") LinkedIn], #[a(href="http://stackexchange.com/users/1679769/camil-staps") StackExchange], #[a(href="http://careers.stackoverflow.com/camilstaps") Stack Overflow Careers]
-  p
-    | KvK: 57363145
-    br
-    | BTW: NL223923096B01
-  p
-    | IBAN: NL68 ASNB 0707 8177 65
-    br
-    | BIC: ASNBNL21
+	h2 Contact details
+	p +31 6 4045 1121
+	p(style='white-space:pre;')
+		span.tt info@camilstaps.nl
+		br
+		| GPG ID: #[a(href="http://pgp.mit.edu/pks/lookup?op=get&search=0x4A9BFD4F6A415F83") 6A315F83]
+		br
+		| Fingerprint: #[span.tt 7F41 677C FA51 D2AE 8A4A  C47D 4A9B FD4F 6A41 5F83]
+	p
+		| #[a(href="https://github.com/camilstaps") GitHub], #[a(href="https://nl.linkedin.com/in/camilstaps") LinkedIn], #[a(href="http://stackexchange.com/users/1679769/camil-staps") StackExchange], #[a(href="http://careers.stackoverflow.com/camilstaps") Stack Overflow Careers]
+	p
+		| KvK: 57363145
+		br
+		| BTW: NL223923096B01
+	p
+		| IBAN: NL68 ASNB 0707 8177 65
+		br
+		| BIC: ASNBNL21
author	Camil Staps	2016-04-20 21:30:45 +0200
committer	Camil Staps	2016-04-20 21:30:45 +0200
commit	36635c2bbe551a03781b7dd854f873d2349fe0f2 (patch)
tree	76c8b53a4424e5497a4ea084022b3701ece0a446 /resources/jade/index.jade
parent	FP2 (diff)