diff options
Diffstat (limited to 'resources/pug')
| -rw-r--r-- | resources/pug/finals/clean.pug | 13 | ||||
| -rw-r--r-- | resources/pug/finals/index.pug | 2 |
2 files changed, 8 insertions, 7 deletions
diff --git a/resources/pug/finals/clean.pug b/resources/pug/finals/clean.pug index 491fcd6..a162b19 100644 --- a/resources/pug/finals/clean.pug +++ b/resources/pug/finals/clean.pug @@ -21,22 +21,23 @@ block content mixin githubItem(user, repo, desc) +item('https://github.com/' + user + '/' + repo, user + '/' + repo, desc)&attributes(attributes) - + mixin gitlabItem(user, repo, desc) + +item('https://gitlab.science.ru.nl/' + 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 & auxiliaries 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') + +gitlabItem('cloogle', 'cloogle-tags', 'tagfile generator') + +gitlabItem('cstaps', 'iClean', 'interactive shell') + +gitlabItem('cstaps', 'iclm', 'clm with automatic error handling') +item('https://gitlab.science.ru.nl/cstaps/clean-rts-cheat-sheet', 'cstaps/clean-rts-cheat-sheet', 'cheat sheets for the run-time system') h2 Syntax highlighting, editor plugins, etc. ul - +githubItem('camilstaps', 'vim-clean', 'Vim syntax highlighting and extra functions') - +githubItem('clean-cloogle', 'clean-highlighter', 'standalone JavaScript highlighter') + +gitlabItem('cstaps', 'vim-clean', 'Vim syntax highlighting and extra functions') + +gitlabItem('cloogle', 'clean-highlighter', 'standalone JavaScript highlighter') +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)') diff --git a/resources/pug/finals/index.pug b/resources/pug/finals/index.pug index 3a4f662..52fc44d 100644 --- a/resources/pug/finals/index.pug +++ b/resources/pug/finals/index.pug @@ -119,7 +119,7 @@ block content td Several web applications for Biblical Hebrew education (#[a(href="https://github.com/HebrewTools") GitHub]) tr td: a(href="https://cloogle.org/") Cloogle - td The #[a(href="http://clean.cs.ru.nl") Clean] language search engine (#[a(href="https://github.com/clean-cloogle/cloogle.org") GitHub]) + td The #[a(href="http://clean.cs.ru.nl") Clean] language search engine (#[a(href="https://gitlab.science.ru.nl/cloogle/cloogle-org") GitLab]) tr td: a(href="https://play.google.com/store/apps/details?id=nl.camilstaps.rbn") Reverse Beacon Client td Android client for the #[a(href="http://www.reversebeacon.net/") reverse beacon network] (#[a(href="https://github.com/camilstaps/ReverseBeaconClient/") GitHub]) |