drwxr-xr-x |
|
|
[up] |
|
drwxr-xr-x |
|
|
Cookbook
|
files
|
drwxr-xr-x |
|
|
Cut
|
files
|
drwxr-xr-x |
|
|
Nominal
|
files
|
drwxr-xr-x |
|
|
PhD
|
files
|
drwxr-xr-x |
|
|
Prover
|
files
|
drwxr-xr-x |
|
|
Publications
|
files
|
drwxr-xr-x |
|
|
Slides
|
files
|
drwxr-xr-x |
|
|
Unification
|
files
|
drwxr-xr-x |
|
|
cgi-bin
|
files
|
drwxr-xr-x |
|
|
lex
|
files
|
drwxr-xr-x |
|
|
test
|
files
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
17987 |
bsc-projects-12.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
32676 |
bsc-projects-13.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
36362 |
bsc-projects-14.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
36059 |
bsc-projects-15.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
37557 |
bsc-projects-16.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
33779 |
bsc-projects-17.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
37927 |
bsc-projects-18.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
39083 |
bsc-projects.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
3017545 |
c.jpg
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
27348 |
compiler.scala
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
827241 |
family.jpg
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
1448410 |
h1.mp4
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
981750 |
h3.mp4
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
20726 |
index.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
7440 |
logic.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
2472 |
mc.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
3996 |
misc.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
24676 |
msc-projects-12.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
32551 |
msc-projects-13.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
35767 |
msc-projects-14.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
36506 |
msc-projects-15.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
37635 |
msc-projects-16.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
33882 |
msc-projects-17.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
37998 |
msc-projects-18.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
837 |
new.gif
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
5473 |
nominal-logo.gif
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
469 |
nominal.css
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
337964 |
nomination2021.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
553626 |
nomination2022.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
864409 |
nomination2023.pdf
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
34796 |
picture-small.jpg
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
7435 |
picture.jpg
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
2075 |
pip.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
3706 |
programming.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
26070 |
publications.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
1102 |
results.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
202467 |
rpi-airmouse.jpg
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
117709 |
rpi-photo.jpg
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
39588 |
rpi-watch.jpg
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
1796446 |
s1.jpg
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
1866128 |
s2.jpg
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
212983 |
s3.jpg
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
2349 |
striper.js
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
17508 |
teaching.html
|
file |
revisions |
annotate
|
-rw-r--r-- |
2024-03-12 18:22 +0000 |
17986 |
travelling.html
|
file |
revisions |
annotate
|