1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
extends /layout.pug
block title
| Clean resources
block content
p This is an incomplete list of resources that may be helpful when you use the #[a(href="http://clean.cs.ru.nl") Clean] programming language.
mixin item(url, name, desc)
li
if desc
| #[a(href=url)= name]:
|
=desc
else if attributes.year
=attributes.year
| :
| #[a(href=url)= name]
else
| #[a(href=url)= name]
mixin githubItem(user, repo, desc)
+item('https://github.com/' + user + '/' + repo, user + '/' + repo, desc)&attributes(attributes)
mixin svnItem(repo, desc)
+item('https://svn.cs.ru.nl/repos/' + repo, repo, desc)&attributes(attributes)
h2 Tools
ul
+item('https://cloogle.org', 'Cloogle', 'search engine')
+githubItem('clean-cloogle', 'cloogle-tags', 'tagfile generator')
+githubItem('camilstaps', 'iClean', 'interactive shell')
+githubItem('camilstaps', 'iclm', 'clm with automatic error handling')
h2 Syntax highlighting, editor plugins, etc.
ul
+githubItem('camilstaps', 'vim-clean', 'Vim syntax highlighting and extra functions')
+githubItem('clean-cloogle', 'clean.js', 'standalone JavaScript highlighter')
+githubItem('clean-cloogle', 'CleanPrettyPrint', 'pretty-printer for clean-compiler types')
+githubItem('isagalaev', 'highlight.js', 'generic JavaScript highlighter with rudimentary Clean support')
+githubItem('matheusamazonas', 'sublime3_clean', 'Sublime3 syntax highlighting')
+item('https://pypi.python.org/pypi/pygments-lexer-clean', 'pygments-lexer-clean', 'Pygments lexer (Python, minted in TeX)')
+githubItem('timjs', 'atom-language-clean', 'Atom highlighting support')
+githubItem('W95Psp', 'CleanForVSCode', 'an extension for VSCode')
h2 Distributions
ul
+item('ftp://ftp.cs.ru.nl/pub/Clean/builds/', 'ftp.cs.ru.nl/pub/Clean/builds/', 'official nightlies')
+item('https://hub.docker.com/r/camilstaps/clean', 'camilstaps/clean', 'Docker images')
+item('https://files.martlubbers.net/clean/', 'files.martlubbers.net/clean', 'nightlies with memory')
+item('https://ftp.cs.ru.nl/Clean/Clean24/', 'ftp.cs.ru.nl/Clean/Clean24', 'the official Clean 2.4 distribution')
+item('https://ftp.cs.ru.nl/Clean/nightly/', 'ftp.cs.ru.nl/Clean/nightly', 'some older iTasks distributions')
h2 Homework
ul
li
strong Radboud: Functional Programming 1/2 (pre-Haskell); Functional Programming for Artificial Intelligence students
ul
+githubItem('MarkVink', 'Functioneel-Programmeren')(year='2013-14')
+item('https://git.camilstaps.nl/NWI-IBC029-30-Functioneel-Programmeren.git/', 'NWI-IBC029-30-Functioneel-Programmeren')(year='2014-15')
+githubItem('BaantjerKok', 'CleanTheClean')(year='2016-17')
+githubItem('HazeNebula', 'Functional-Programming-Clean')(year='2016-17')
li
strong Radboud: SoccerFun
ul
+githubItem('camilstaps', 'SoccerFunTeam')(year='2014-15')
+githubItem('ErinvanderVeen', 'Team-SMonad')(year='2015-16')
li
strong Radboud: Advanced Programming
ul
+githubItem('dubwise101', 'Advanced-Programming')(year='2014-15')
+githubItem('Jaxan', 'advanced-programming')(year='2014-15')
+githubItem('alexfedotov', 'advanced-programming-2015')(year='2015-16')
+githubItem('dopefishh', 'ap2015')(year='2015-16')
+githubItem('Dryopes', 'Advanced-Programming')(year='2016-17')
+githubItem('Beskhue', 'advanced-programming-course')(year='2017-18')
+githubItem('Righa', 'Advanced-Programming')(year='2017-18')
+item('https://git.camilstaps.nl/NWI-I00032-Advanced-Programming.git', 'NWI-I00032-Advanced-Programming')(year='2017-18')
li
strong Radboud: Compiler Construction
ul
+githubItem('jangroothuijse', 'CompilerConstruction')(year='2012-13')
+githubItem('dopefishh', 'cc1516')(year='2015-16')
li
strong Eötvös Loránd
ul
+githubItem('ordogfioka', 'Clean')(year='2016-17')
+githubItem('thookes', 'clean')(year='2016-17')
+githubItem('tomeeeS', 'clean-bead1')(year='2017-18')
h2 Official repositories
ul
+item('https://gitlab.science.ru.nl/clean-and-itasks', 'clean-and-itasks', 'Radboud gitlab group')
+svnItem('clean-code-generator', 'the code generator')
+svnItem('clean-compiler', 'the compiler')
+svnItem('clean-dynamic-system', 'the dynamics linker and other related tools and libraries')
+svnItem('clean-ide', 'the IDE, cpm')
+svnItem('clean-language-report', 'old and new versions of the language report')
+svnItem('clean-libraries', 'StdEnv, StdLib, Generics, TCPIP, ArgEnv, Directory, ObjectIO, Hilde, and many others')
+svnItem('clean-run-time-system', 'the runtime system')
+svnItem('clean-tools', 'clm, elf_linker, htoclean')
|
