Skip to content

Commit 2c40e4e

Browse files
co-danco-dan
committed
initial import
0 parents  commit 2c40e4e

File tree

14 files changed

+1494
-0
lines changed

14 files changed

+1494
-0
lines changed

‎.gitignore‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
_site/
2+
.sass-cache/
3+
.jekyll-cache/
4+
.jekyll-metadata
5+
# Ignore folders generated by Bundler
6+
.bundle/
7+
vendor/

‎Gemfile‎

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

‎Gemfile.lock‎

Lines changed: 311 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,311 @@
1+
GEM
2+
remote: https://rubygems.org/
3+
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)
17+
addressable (2.8.7)
18+
public_suffix (>= 2.0.2, < 7.0)
19+
base64 (0.3.0)
20+
bigdecimal (3.3.1)
21+
coffee-script (2.4.1)
22+
coffee-script-source
23+
execjs
24+
coffee-script-source (1.12.2)
25+
colorator (1.1.0)
26+
commonmarker (0.23.12)
27+
concurrent-ruby (1.3.5)
28+
connection_pool (2.5.4)
29+
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)
35+
em-websocket (0.5.3)
36+
eventmachine (>= 0.12.9)
37+
http_parser.rb (~> 0)
38+
ethon (0.15.0)
39+
ffi (>= 1.15.0)
40+
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)
48+
ffi (1.17.2-aarch64-linux-gnu)
49+
ffi (1.17.2-aarch64-linux-musl)
50+
ffi (1.17.2-arm-linux-gnu)
51+
ffi (1.17.2-arm-linux-musl)
52+
ffi (1.17.2-arm64-darwin)
53+
ffi (1.17.2-x86_64-darwin)
54+
ffi (1.17.2-x86_64-linux-gnu)
55+
ffi (1.17.2-x86_64-linux-musl)
56+
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)
113+
http_parser.rb (0.8.0)
114+
i18n (1.14.7)
115+
concurrent-ruby (~> 1.0)
116+
jekyll (3.10.0)
117+
addressable (~> 2.4)
118+
colorator (~> 1.0)
119+
csv (~> 3.0)
120+
em-websocket (~> 0.5)
121+
i18n (>= 0.7, < 2)
122+
jekyll-sass-converter (~> 1.0)
123+
jekyll-watch (~> 2.0)
124+
kramdown (>= 1.17, < 3)
125+
liquid (~> 4.0)
126+
mercenary (~> 0.3.3)
127+
pathutil (~> 0.9)
128+
rouge (>= 1.7, < 4)
129+
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)
220+
jekyll-watch (2.2.1)
221+
listen (~> 3.0)
222+
jemoji (0.13.0)
223+
gemoji (>= 3, < 5)
224+
html-pipeline (~> 2.2)
225+
jekyll (>= 3.0, < 5.0)
226+
json (2.16.0)
227+
kramdown (2.4.0)
228+
rexml
229+
kramdown-parser-gfm (1.1.0)
230+
kramdown (~> 2.0)
231+
liquid (4.0.4)
232+
listen (3.9.0)
233+
rb-fsevent (~> 0.10, >= 0.10.3)
234+
rb-inotify (~> 0.9, >= 0.9.10)
235+
logger (1.7.0)
236+
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)
263+
pathutil (0.16.2)
264+
forwardable-extended (~> 2.6)
265+
public_suffix (5.1.1)
266+
racc (1.8.1)
267+
rb-fsevent (0.11.2)
268+
rb-inotify (0.11.1)
269+
ffi (~> 1.0)
270+
rexml (3.4.4)
271+
rouge (3.30.0)
272+
rubyzip (2.4.1)
273+
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)
284+
terminal-table (1.8.0)
285+
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)
290+
unicode-display_width (1.8.0)
291+
uri (1.1.1)
292+
webrick (1.9.1)
293+
294+
PLATFORMS
295+
aarch64-linux-gnu
296+
aarch64-linux-musl
297+
arm-linux-gnu
298+
arm-linux-musl
299+
arm64-darwin
300+
x86_64-darwin
301+
x86_64-linux-gnu
302+
x86_64-linux-musl
303+
304+
DEPENDENCIES
305+
github-pages
306+
jekyll
307+
json
308+
webrick
309+
310+
BUNDLED WITH
311+
2.7.2

‎_config.yml‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
title: Fundamental Computing Projects
2+
description: Student project listing maintained by the Fundamental Computing team.
3+
baseurl: ""
4+
url: ""
5+
markdown: kramdown
6+
exclude:
7+
- bundle

‎_data/projects-finished.json‎

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
[
2+
{
3+
"title": " Verified Functional Graph Algorithms using The Rocq Prover",
4+
"supervisor": {
5+
"name": "Dan Frumin",
6+
"email": "[email protected]"
7+
},
8+
"completed_by": "Leopold Frieberger",
9+
"year": 2025,
10+
"type": "BSc",
11+
"report_url": "https://fse.studenttheses.ub.rug.nl/36509/1/Bachelors-Thesis-Leopold-Frieberger-Repository.pdf"
12+
},
13+
14+
{
15+
"title": "Interplay of Number Theory and Fixed-Parameter Tractable Algorithms ",
16+
"completed_by": "Arnaud van Hees",
17+
"year": 2025,
18+
"type": "BSc",
19+
"report_url": "https://fse.studenttheses.ub.rug.nl/35856/1/bCS2025VanHeesA.pdf"
20+
},
21+
22+
{
23+
"title": "Skeletal semantics for message-passing concurrency - from actors to channels and back",
24+
"completed_by": "Miguel Bartelsman",
25+
"type": "BSc",
26+
"year": 2022,
27+
"report_url": "https://fse.studenttheses.ub.rug.nl/28537/1/bCS_2022_BartelsmanMejiaMiguel.pdf"
28+
}
29+
]

0 commit comments

Comments
 (0)