Skip to content

Commit b6133ed

Browse files
committed
first commit with tools
1 parent ff5e9ef commit b6133ed

10 files changed

+217
-0
lines changed

_config.yml

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -58,6 +58,8 @@ navigation_header:
5858
url: /projects/
5959
- title: Publications
6060
url: /publications/
61+
- title: Tools
62+
url: /tools/
6163
- title: Contact
6264
url: /contact/
6365

@@ -85,6 +87,12 @@ collections:
8587
feature_image: "https://picsum.photos/2560/600?image=866"
8688
feature_text: |
8789
# Recent Publications
90+
tools:
91+
title: Tools
92+
output: false
93+
feature_image: "https://picsum.photos/2560/600?image=866"
94+
feature_text: |
95+
# Tools
8896
people:
8997
title: People
9098
output: true

_includes/css/agency.css

Lines changed: 72 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -67,6 +67,78 @@ padding-bottom:25px;
6767
text-shadow : 0 0 5px #F97304;
6868
}
6969

70+
.portfolio-item {
71+
display: block;
72+
position: relative;
73+
overflow: hidden;
74+
max-width: 530px;
75+
margin: auto auto 1rem;
76+
}
77+
78+
.portfolio-item .caption {
79+
display: flex;
80+
height: 100%;
81+
width: 100%;
82+
background-color: rgba(33, 37, 41, 0.2);
83+
position: absolute;
84+
top: 0;
85+
bottom: 0;
86+
z-index: 1;
87+
}
88+
89+
.portfolio-item .caption .caption-content {
90+
color: #fff;
91+
margin: auto 2rem 2rem;
92+
}
93+
94+
.portfolio-item .caption .caption-content h2 {
95+
font-size: 0.8rem;
96+
text-transform: uppercase;
97+
}
98+
99+
.portfolio-item .caption .caption-content p {
100+
font-weight: 300;
101+
font-size: 1.2rem;
102+
}
103+
104+
@media (min-width: 992px) {
105+
.portfolio-item {
106+
max-width: none;
107+
margin: 0;
108+
}
109+
.portfolio-item .caption {
110+
transition: background-color 0.7s, -webkit-clip-path 0.25s ease-out;
111+
transition: clip-path 0.25s ease-out, background-color 0.7s;
112+
transition: clip-path 0.25s ease-out, background-color 0.7s, -webkit-clip-path 0.25s ease-out;
113+
-webkit-clip-path: inset(0px);
114+
clip-path: inset(0px);
115+
}
116+
.portfolio-item .caption .caption-content {
117+
transition: opacity 0.25s;
118+
margin-left: 5rem;
119+
margin-right: 5rem;
120+
margin-bottom: 5rem;
121+
}
122+
.portfolio-item img {
123+
transition: -webkit-clip-path 0.25s ease-out;
124+
transition: clip-path 0.25s ease-out;
125+
transition: clip-path 0.25s ease-out, -webkit-clip-path 0.25s ease-out;
126+
-webkit-clip-path: inset(-1px);
127+
clip-path: inset(-1px);
128+
}
129+
.portfolio-item:hover img {
130+
-webkit-clip-path: inset(2rem);
131+
clip-path: inset(2rem);
132+
}
133+
.portfolio-item:hover .caption {
134+
background-color: rgba(29, 128, 159, 0.9);
135+
-webkit-clip-path: inset(2rem);
136+
clip-path: inset(2rem);
137+
}
138+
}
139+
140+
141+
70142
.feature {
71143
background: linear-gradient(to bottom, #0000, #fde3cc), url("../../assets/banner3.jpg") !important;
72144
background-size: fixed !important;

_includes/site-before-end.html

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,8 @@
1313

1414
<!-- Custom Theme JavaScript -->
1515
<script src="{{ "/js/agency.js" | prepend: site.baseurl }}"></script>
16+
<!-- Custom scripts for project page template -->
17+
<script src="{{ "js/stylish-portfolio.min.js" | prepend: site.baseurl }}" ></script>
1618

1719
<script >
1820
$("a[href='#top']").click(function() {

_includes/tool-list.html

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
<ul class="list">
2+
{% for tool in site.tools %}
3+
<div class="row no-gutters">
4+
<div class="col-lg-6">
5+
<a class="portfolio-item" href="{{ code_link }}">
6+
<div class="caption">
7+
<div class="caption-content">
8+
<div class="h2"> {{ tool.title }} </div>
9+
<p class="mb-0">{{ content }}</p>
10+
</div>
11+
</div>
12+
<img class="img-fluid" src="../assets/default-offline-image.png" alt="">
13+
</a>
14+
</div>
15+
{% endfor %}
16+
</ul>

_layouts/tools.html

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
---
2+
layout: default
3+
---
4+
5+
{% include site-header.html %}
6+
7+
<main class="main container">
8+
9+
<div class="content">
10+
11+
12+
{% include tool-list.html %}
13+
14+
</div>
15+
16+
{% if page.aside == true %}{% include site-aside.html %}{% endif %}
17+
18+
</main>
19+
20+
{% include site-footer.html %}

_tools/flexfringe.md

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
---
2+
layout: tools
3+
feature_image: "https://picsum.photos/2560/600?image=872"
4+
5+
title: Flexfringe
6+
code_link: https://bitbucket.org/chrshmmmr/dfasat/src/master/
7+
---
8+
9+
Flexfringe is a tool for learning finite state machines, also known as deterministic finite automata.
10+
It brings common merge heuristics such as alergia, EDSM, likelihood-ratio, and others,
11+
but also offers a flexible interface to easily add custom merge
12+
heuristics. It is based on Sicco Verwer's implementation of a state-merger in C++ called dfasat.

_tools/malpaca.md

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
---
2+
layout: tools
3+
feature_image: "https://picsum.photos/2560/600?image=872"
4+
5+
title: MalPaCA
6+
code_link: https://github.com/tudelft-cda-lab/malpaca-pub
7+
---
8+
9+
MalPaCA clusters similar-behaving network connections using Dynamic Time Wapring and N-grams.
10+
It takes a Pcap file as input and generates clusters based on behavioral differences.
11+
The output is given as a DAG and temporal heatmaps.

js/stylish-portfolio.js

Lines changed: 64 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,64 @@
1+
(function($) {
2+
"use strict"; // Start of use strict
3+
4+
// Closes the sidebar menu
5+
$(".menu-toggle").click(function(e) {
6+
e.preventDefault();
7+
$("#sidebar-wrapper").toggleClass("active");
8+
$(".menu-toggle > .fa-bars, .menu-toggle > .fa-times").toggleClass("fa-bars fa-times");
9+
$(this).toggleClass("active");
10+
});
11+
12+
// Smooth scrolling using jQuery easing
13+
$('a.js-scroll-trigger[href*="#"]:not([href="#"])').click(function() {
14+
if (location.pathname.replace(/^\//, '') == this.pathname.replace(/^\//, '') && location.hostname == this.hostname) {
15+
var target = $(this.hash);
16+
target = target.length ? target : $('[name=' + this.hash.slice(1) + ']');
17+
if (target.length) {
18+
$('html, body').animate({
19+
scrollTop: target.offset().top
20+
}, 1000, "easeInOutExpo");
21+
return false;
22+
}
23+
}
24+
});
25+
26+
// Closes responsive menu when a scroll trigger link is clicked
27+
$('#sidebar-wrapper .js-scroll-trigger').click(function() {
28+
$("#sidebar-wrapper").removeClass("active");
29+
$(".menu-toggle").removeClass("active");
30+
$(".menu-toggle > .fa-bars, .menu-toggle > .fa-times").toggleClass("fa-bars fa-times");
31+
});
32+
33+
// Scroll to top button appear
34+
$(document).scroll(function() {
35+
var scrollDistance = $(this).scrollTop();
36+
if (scrollDistance > 100) {
37+
$('.scroll-to-top').fadeIn();
38+
} else {
39+
$('.scroll-to-top').fadeOut();
40+
}
41+
});
42+
43+
})(jQuery); // End of use strict
44+
45+
// Disable Google Maps scrolling
46+
// See http://stackoverflow.com/a/25904582/1607849
47+
// Disable scroll zooming and bind back the click event
48+
var onMapMouseleaveHandler = function(event) {
49+
var that = $(this);
50+
that.on('click', onMapClickHandler);
51+
that.off('mouseleave', onMapMouseleaveHandler);
52+
that.find('iframe').css("pointer-events", "none");
53+
}
54+
var onMapClickHandler = function(event) {
55+
var that = $(this);
56+
// Disable the click handler until the user leaves the map area
57+
that.off('click', onMapClickHandler);
58+
// Enable scrolling zoom
59+
that.find('iframe').css("pointer-events", "auto");
60+
// Handle the mouse leave event
61+
that.on('mouseleave', onMapMouseleaveHandler);
62+
}
63+
// Enable map zooming with mouse scroll when the user clicks the map
64+
$('.map').on('click', onMapClickHandler);

js/stylish-portfolio.min.js

Lines changed: 7 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

tools/index.html

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
layout: tools
3+
logo: ../assets/TUD.png
4+
collectionpage: tools
5+
---

0 commit comments

Comments
 (0)