Skip to content

Commit bf7f395

Browse files
co-danco-dan
committed
split the list into msc/bsc projects
1 parent 5df705b commit bf7f395

File tree

10 files changed

+276
-313
lines changed

10 files changed

+276
-313
lines changed

‎.gitignore‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,3 +5,4 @@ _site/
55
# Ignore folders generated by Bundler
66
.bundle/
77
vendor/
8+
bundle/

‎Gemfile‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
source 'https://rubygems.org'
2-
gem 'jekyll'
3-
gem 'github-pages'
2+
gem 'jekyll', '~> 4'
43
gem 'json'
54
gem 'webrick'

‎Gemfile.lock‎

Lines changed: 52 additions & 235 deletions
Original file line numberDiff line numberDiff line change
@@ -1,50 +1,17 @@
11
GEM
22
remote: https://rubygems.org/
33
specs:
4-
activesupport (8.1.1)
5-
base64
6-
bigdecimal
7-
concurrent-ruby (~> 1.0, >= 1.3.1)
8-
connection_pool (>= 2.2.5)
9-
drb
10-
i18n (>= 1.6, < 2)
11-
json
12-
logger (>= 1.4.2)
13-
minitest (>= 5.1)
14-
securerandom (>= 0.3)
15-
tzinfo (~> 2.0, >= 2.0.5)
16-
uri (>= 0.13.1)
174
addressable (2.8.7)
185
public_suffix (>= 2.0.2, < 7.0)
196
base64 (0.3.0)
207
bigdecimal (3.3.1)
21-
coffee-script (2.4.1)
22-
coffee-script-source
23-
execjs
24-
coffee-script-source (1.12.2)
258
colorator (1.1.0)
26-
commonmarker (0.23.12)
279
concurrent-ruby (1.3.5)
28-
connection_pool (2.5.4)
2910
csv (3.3.5)
30-
dnsruby (1.73.1)
31-
base64 (>= 0.2)
32-
logger (~> 1.6)
33-
simpleidn (~> 0.2.1)
34-
drb (2.2.3)
3511
em-websocket (0.5.3)
3612
eventmachine (>= 0.12.9)
3713
http_parser.rb (~> 0)
38-
ethon (0.15.0)
39-
ffi (>= 1.15.0)
4014
eventmachine (1.2.7)
41-
execjs (2.10.0)
42-
faraday (2.14.0)
43-
faraday-net_http (>= 2.0, < 3.5)
44-
json
45-
logger
46-
faraday-net_http (3.4.2)
47-
net-http (~> 0.5)
4815
ffi (1.17.2-aarch64-linux-gnu)
4916
ffi (1.17.2-aarch64-linux-musl)
5017
ffi (1.17.2-arm-linux-gnu)
@@ -54,175 +21,53 @@ GEM
5421
ffi (1.17.2-x86_64-linux-gnu)
5522
ffi (1.17.2-x86_64-linux-musl)
5623
forwardable-extended (2.6.0)
57-
gemoji (4.1.0)
58-
github-pages (232)
59-
github-pages-health-check (= 1.18.2)
60-
jekyll (= 3.10.0)
61-
jekyll-avatar (= 0.8.0)
62-
jekyll-coffeescript (= 1.2.2)
63-
jekyll-commonmark-ghpages (= 0.5.1)
64-
jekyll-default-layout (= 0.1.5)
65-
jekyll-feed (= 0.17.0)
66-
jekyll-gist (= 1.5.0)
67-
jekyll-github-metadata (= 2.16.1)
68-
jekyll-include-cache (= 0.2.1)
69-
jekyll-mentions (= 1.6.0)
70-
jekyll-optional-front-matter (= 0.3.2)
71-
jekyll-paginate (= 1.1.0)
72-
jekyll-readme-index (= 0.3.0)
73-
jekyll-redirect-from (= 0.16.0)
74-
jekyll-relative-links (= 0.6.1)
75-
jekyll-remote-theme (= 0.4.3)
76-
jekyll-sass-converter (= 1.5.2)
77-
jekyll-seo-tag (= 2.8.0)
78-
jekyll-sitemap (= 1.4.0)
79-
jekyll-swiss (= 1.0.0)
80-
jekyll-theme-architect (= 0.2.0)
81-
jekyll-theme-cayman (= 0.2.0)
82-
jekyll-theme-dinky (= 0.2.0)
83-
jekyll-theme-hacker (= 0.2.0)
84-
jekyll-theme-leap-day (= 0.2.0)
85-
jekyll-theme-merlot (= 0.2.0)
86-
jekyll-theme-midnight (= 0.2.0)
87-
jekyll-theme-minimal (= 0.2.0)
88-
jekyll-theme-modernist (= 0.2.0)
89-
jekyll-theme-primer (= 0.6.0)
90-
jekyll-theme-slate (= 0.2.0)
91-
jekyll-theme-tactile (= 0.2.0)
92-
jekyll-theme-time-machine (= 0.2.0)
93-
jekyll-titles-from-headings (= 0.5.3)
94-
jemoji (= 0.13.0)
95-
kramdown (= 2.4.0)
96-
kramdown-parser-gfm (= 1.1.0)
97-
liquid (= 4.0.4)
98-
mercenary (~> 0.3)
99-
minima (= 2.5.1)
100-
nokogiri (>= 1.16.2, < 2.0)
101-
rouge (= 3.30.0)
102-
terminal-table (~> 1.4)
103-
webrick (~> 1.8)
104-
github-pages-health-check (1.18.2)
105-
addressable (~> 2.3)
106-
dnsruby (~> 1.60)
107-
octokit (>= 4, < 8)
108-
public_suffix (>= 3.0, < 6.0)
109-
typhoeus (~> 1.3)
110-
html-pipeline (2.14.3)
111-
activesupport (>= 2)
112-
nokogiri (>= 1.4)
24+
google-protobuf (4.33.1)
25+
bigdecimal
26+
rake (>= 13)
27+
google-protobuf (4.33.1-aarch64-linux-gnu)
28+
bigdecimal
29+
rake (>= 13)
30+
google-protobuf (4.33.1-aarch64-linux-musl)
31+
bigdecimal
32+
rake (>= 13)
33+
google-protobuf (4.33.1-arm64-darwin)
34+
bigdecimal
35+
rake (>= 13)
36+
google-protobuf (4.33.1-x86_64-darwin)
37+
bigdecimal
38+
rake (>= 13)
39+
google-protobuf (4.33.1-x86_64-linux-gnu)
40+
bigdecimal
41+
rake (>= 13)
42+
google-protobuf (4.33.1-x86_64-linux-musl)
43+
bigdecimal
44+
rake (>= 13)
11345
http_parser.rb (0.8.0)
11446
i18n (1.14.7)
11547
concurrent-ruby (~> 1.0)
116-
jekyll (3.10.0)
48+
jekyll (4.4.1)
11749
addressable (~> 2.4)
50+
base64 (~> 0.2)
11851
colorator (~> 1.0)
11952
csv (~> 3.0)
12053
em-websocket (~> 0.5)
121-
i18n (>= 0.7, < 2)
122-
jekyll-sass-converter (~> 1.0)
54+
i18n (~> 1.0)
55+
jekyll-sass-converter (>= 2.0, < 4.0)
12356
jekyll-watch (~> 2.0)
124-
kramdown (>= 1.17, < 3)
57+
json (~> 2.6)
58+
kramdown (~> 2.3, >= 2.3.1)
59+
kramdown-parser-gfm (~> 1.0)
12560
liquid (~> 4.0)
126-
mercenary (~> 0.3.3)
61+
mercenary (~> 0.3, >= 0.3.6)
12762
pathutil (~> 0.9)
128-
rouge (>= 1.7, < 4)
63+
rouge (>= 3.0, < 5.0)
12964
safe_yaml (~> 1.0)
130-
webrick (>= 1.0)
131-
jekyll-avatar (0.8.0)
132-
jekyll (>= 3.0, < 5.0)
133-
jekyll-coffeescript (1.2.2)
134-
coffee-script (~> 2.2)
135-
coffee-script-source (~> 1.12)
136-
jekyll-commonmark (1.4.0)
137-
commonmarker (~> 0.22)
138-
jekyll-commonmark-ghpages (0.5.1)
139-
commonmarker (>= 0.23.7, < 1.1.0)
140-
jekyll (>= 3.9, < 4.0)
141-
jekyll-commonmark (~> 1.4.0)
142-
rouge (>= 2.0, < 5.0)
143-
jekyll-default-layout (0.1.5)
144-
jekyll (>= 3.0, < 5.0)
145-
jekyll-feed (0.17.0)
146-
jekyll (>= 3.7, < 5.0)
147-
jekyll-gist (1.5.0)
148-
octokit (~> 4.2)
149-
jekyll-github-metadata (2.16.1)
150-
jekyll (>= 3.4, < 5.0)
151-
octokit (>= 4, < 7, != 4.4.0)
152-
jekyll-include-cache (0.2.1)
153-
jekyll (>= 3.7, < 5.0)
154-
jekyll-mentions (1.6.0)
155-
html-pipeline (~> 2.3)
156-
jekyll (>= 3.7, < 5.0)
157-
jekyll-optional-front-matter (0.3.2)
158-
jekyll (>= 3.0, < 5.0)
159-
jekyll-paginate (1.1.0)
160-
jekyll-readme-index (0.3.0)
161-
jekyll (>= 3.0, < 5.0)
162-
jekyll-redirect-from (0.16.0)
163-
jekyll (>= 3.3, < 5.0)
164-
jekyll-relative-links (0.6.1)
165-
jekyll (>= 3.3, < 5.0)
166-
jekyll-remote-theme (0.4.3)
167-
addressable (~> 2.0)
168-
jekyll (>= 3.5, < 5.0)
169-
jekyll-sass-converter (>= 1.0, <= 3.0.0, != 2.0.0)
170-
rubyzip (>= 1.3.0, < 3.0)
171-
jekyll-sass-converter (1.5.2)
172-
sass (~> 3.4)
173-
jekyll-seo-tag (2.8.0)
174-
jekyll (>= 3.8, < 5.0)
175-
jekyll-sitemap (1.4.0)
176-
jekyll (>= 3.7, < 5.0)
177-
jekyll-swiss (1.0.0)
178-
jekyll-theme-architect (0.2.0)
179-
jekyll (> 3.5, < 5.0)
180-
jekyll-seo-tag (~> 2.0)
181-
jekyll-theme-cayman (0.2.0)
182-
jekyll (> 3.5, < 5.0)
183-
jekyll-seo-tag (~> 2.0)
184-
jekyll-theme-dinky (0.2.0)
185-
jekyll (> 3.5, < 5.0)
186-
jekyll-seo-tag (~> 2.0)
187-
jekyll-theme-hacker (0.2.0)
188-
jekyll (> 3.5, < 5.0)
189-
jekyll-seo-tag (~> 2.0)
190-
jekyll-theme-leap-day (0.2.0)
191-
jekyll (> 3.5, < 5.0)
192-
jekyll-seo-tag (~> 2.0)
193-
jekyll-theme-merlot (0.2.0)
194-
jekyll (> 3.5, < 5.0)
195-
jekyll-seo-tag (~> 2.0)
196-
jekyll-theme-midnight (0.2.0)
197-
jekyll (> 3.5, < 5.0)
198-
jekyll-seo-tag (~> 2.0)
199-
jekyll-theme-minimal (0.2.0)
200-
jekyll (> 3.5, < 5.0)
201-
jekyll-seo-tag (~> 2.0)
202-
jekyll-theme-modernist (0.2.0)
203-
jekyll (> 3.5, < 5.0)
204-
jekyll-seo-tag (~> 2.0)
205-
jekyll-theme-primer (0.6.0)
206-
jekyll (> 3.5, < 5.0)
207-
jekyll-github-metadata (~> 2.9)
208-
jekyll-seo-tag (~> 2.0)
209-
jekyll-theme-slate (0.2.0)
210-
jekyll (> 3.5, < 5.0)
211-
jekyll-seo-tag (~> 2.0)
212-
jekyll-theme-tactile (0.2.0)
213-
jekyll (> 3.5, < 5.0)
214-
jekyll-seo-tag (~> 2.0)
215-
jekyll-theme-time-machine (0.2.0)
216-
jekyll (> 3.5, < 5.0)
217-
jekyll-seo-tag (~> 2.0)
218-
jekyll-titles-from-headings (0.5.3)
219-
jekyll (>= 3.3, < 5.0)
65+
terminal-table (>= 1.8, < 4.0)
66+
webrick (~> 1.7)
67+
jekyll-sass-converter (3.1.0)
68+
sass-embedded (~> 1.75)
22069
jekyll-watch (2.2.1)
22170
listen (~> 3.0)
222-
jemoji (0.13.0)
223-
gemoji (>= 3, < 5)
224-
html-pipeline (~> 2.2)
225-
jekyll (>= 3.0, < 5.0)
22671
json (2.16.0)
22772
kramdown (2.4.0)
22873
rexml
@@ -232,63 +77,36 @@ GEM
23277
listen (3.9.0)
23378
rb-fsevent (~> 0.10, >= 0.10.3)
23479
rb-inotify (~> 0.9, >= 0.9.10)
235-
logger (1.7.0)
23680
mercenary (0.3.6)
237-
minima (2.5.1)
238-
jekyll (>= 3.5, < 5.0)
239-
jekyll-feed (~> 0.9)
240-
jekyll-seo-tag (~> 2.1)
241-
minitest (5.26.1)
242-
net-http (0.8.0)
243-
uri (>= 0.11.1)
244-
nokogiri (1.18.10-aarch64-linux-gnu)
245-
racc (~> 1.4)
246-
nokogiri (1.18.10-aarch64-linux-musl)
247-
racc (~> 1.4)
248-
nokogiri (1.18.10-arm-linux-gnu)
249-
racc (~> 1.4)
250-
nokogiri (1.18.10-arm-linux-musl)
251-
racc (~> 1.4)
252-
nokogiri (1.18.10-arm64-darwin)
253-
racc (~> 1.4)
254-
nokogiri (1.18.10-x86_64-darwin)
255-
racc (~> 1.4)
256-
nokogiri (1.18.10-x86_64-linux-gnu)
257-
racc (~> 1.4)
258-
nokogiri (1.18.10-x86_64-linux-musl)
259-
racc (~> 1.4)
260-
octokit (4.25.1)
261-
faraday (>= 1, < 3)
262-
sawyer (~> 0.9)
26381
pathutil (0.16.2)
26482
forwardable-extended (~> 2.6)
26583
public_suffix (5.1.1)
266-
racc (1.8.1)
84+
rake (13.3.1)
26785
rb-fsevent (0.11.2)
26886
rb-inotify (0.11.1)
26987
ffi (~> 1.0)
27088
rexml (3.4.4)
27189
rouge (3.30.0)
272-
rubyzip (2.4.1)
27390
safe_yaml (1.0.5)
274-
sass (3.7.4)
275-
sass-listen (~> 4.0.0)
276-
sass-listen (4.0.0)
277-
rb-fsevent (~> 0.9, >= 0.9.4)
278-
rb-inotify (~> 0.9, >= 0.9.7)
279-
sawyer (0.9.3)
280-
addressable (>= 2.3.5)
281-
faraday (>= 0.17.3, < 3)
282-
securerandom (0.4.1)
283-
simpleidn (0.2.3)
91+
sass-embedded (1.94.2-aarch64-linux-gnu)
92+
google-protobuf (~> 4.31)
93+
sass-embedded (1.94.2-aarch64-linux-musl)
94+
google-protobuf (~> 4.31)
95+
sass-embedded (1.94.2-arm-linux-gnueabihf)
96+
google-protobuf (~> 4.31)
97+
sass-embedded (1.94.2-arm-linux-musleabihf)
98+
google-protobuf (~> 4.31)
99+
sass-embedded (1.94.2-arm64-darwin)
100+
google-protobuf (~> 4.31)
101+
sass-embedded (1.94.2-x86_64-darwin)
102+
google-protobuf (~> 4.31)
103+
sass-embedded (1.94.2-x86_64-linux-gnu)
104+
google-protobuf (~> 4.31)
105+
sass-embedded (1.94.2-x86_64-linux-musl)
106+
google-protobuf (~> 4.31)
284107
terminal-table (1.8.0)
285108
unicode-display_width (~> 1.1, >= 1.1.1)
286-
typhoeus (1.5.0)
287-
ethon (>= 0.9.0, < 0.16.0)
288-
tzinfo (2.0.6)
289-
concurrent-ruby (~> 1.0)
290109
unicode-display_width (1.8.0)
291-
uri (1.1.1)
292110
webrick (1.9.1)
293111

294112
PLATFORMS
@@ -302,8 +120,7 @@ PLATFORMS
302120
x86_64-linux-musl
303121

304122
DEPENDENCIES
305-
github-pages
306-
jekyll
123+
jekyll (~> 4)
307124
json
308125
webrick
309126

‎_data/projects-finished.json‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,10 @@
1414
{
1515
"title": "Interplay of Number Theory and Fixed-Parameter Tractable Algorithms ",
1616
"completed_by": "Arnaud van Hees",
17+
"supervisor": {
18+
"name": "Ivan Bliznets",
19+
"email": "[email protected]"
20+
},
1721
"year": 2025,
1822
"type": "BSc",
1923
"report_url": "https://fse.studenttheses.ub.rug.nl/35856/1/bCS2025VanHeesA.pdf"
@@ -22,6 +26,11 @@
2226
{
2327
"title": "Skeletal semantics for message-passing concurrency - from actors to channels and back",
2428
"completed_by": "Miguel Bartelsman",
29+
"supervisor": {
30+
"name": "Jorge Perez, Dan Frumin",
31+
"email": "[email protected]"
32+
},
33+
2534
"type": "BSc",
2635
"year": 2022,
2736
"report_url": "https://fse.studenttheses.ub.rug.nl/28537/1/bCS_2022_BartelsmanMejiaMiguel.pdf"

0 commit comments

Comments
 (0)