Michael Kirkedal Thomsen

Expert
@kirkedal

rfun-interp. Interpreter for the reversible functional language rFun

41

rfun. The official version of the RFUN interpreter

5

written-exam. LaTeX package and template for making written exams

4

Jana-JanusInterp. Haskell

3

tracy. The symbolic tracer Tracy.

1

report. Template for a DIKU report (both BSc and MSc)

1
6
Apply