X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=index.md;h=51c45d4ed1344562b72cdaa4a70b6f7a7a632d5b;hb=3858137426da65b9a3f75a3ca345aec09cddd090;hp=b6b3eca1a102fea4f05c334d64effa7156b0067c;hpb=159eddad76122c0ff2ae338b86cd45ea0645cc7e;p=martlubbers.net.git diff --git a/index.md b/index.md index b6b3eca..51c45d4 100644 --- a/index.md +++ b/index.md @@ -6,6 +6,8 @@ title: Mart Lubbers' website PhD candidate at the [Institute of Computing and Information Sciences](https://cs.ru.nl) ([Radboud University](https://ru.nl))
`mart@martlubbers.net` (GPG: AD3FEBE7)
`mart@cs.ru.nl`
+gitlab, +dblp, Mastodon
@@ -57,7 +59,7 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c - M. Lubbers, P. Koopman, and R. Plasmeijer, “First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming,” in Proceedings of the 34th Symposium on the Implementation and Application of Functional Programming Languages, Kopenhagen, in-press, 2023, p. 12. -- M. Lubbers, P. Koopman, A. Ramsingh, J. Singer, and P. Trinder, “Could Tierless Languages Reduce IoT Development Grief?” ACM Trans. Internet Things, Nov. 2022, just-accepted, doi: 10.1145/3572901. +- M. Lubbers, P. Koopman, A. Ramsingh, J. Singer, and P. Trinder, “Could Tierless Languages Reduce IoT Development Grief?” ACM Trans. Internet Things, vol. 4, no. 1, Feb. 2023, doi: 10.1145/3572901. ([pdf](files/tiot22.pdf)) - Lubbers, M. (2022). Deep Embedding with Class. In: Swierstra, W., Wu, N. (eds) Trends in Functional Programming. TFP 2022. Lecture Notes in Computer Science, vol 13401. Springer, Cham. ([pdf](files/tfp22a.pdf)) @@ -170,8 +172,7 @@ PhD candidate at the [Institute of Computing and Information Sciences](https://c ### Software, libraries and projects -- [m](https://github.com/dopefishh/m) --- `m' is for music, an extremely fast music indexer written in plain C. -- [cloogle](https://github.com/dopefishh/cloogle) --- Cloogle, a hoogle clone for clean. [Live version here](http://cloogle.org). +- [mTask](https://gitlab.com/mtask) --- a TOP framework for the Internet of Things integrated in iTasks. - [praatalign](https://github.com/dopefishh/praatalign) --- An interactive praat forced aligner, easily extensible for more languages. - [pympi](https://github.com/dopefishh/pympi) --- A python toolkit to interact with Praat and Elan files. @@ -192,6 +193,11 @@ Linux, ### Archive +#### Software +- [m](https://github.com/dopefishh/m) --- `m' is for music, an extremely fast music indexer written in plain C. + +#### Pages + [Using a HP t5710 thin client as a retro system](archive/thin.html) [LeJoS on ubuntu](archive/lejos-ubuntu.html), [Play youtube videos on headless machine](archive/youtube-term.html),