From 93a35c06bc8983b3a36900c39dec6b36ab9b9fdd Mon Sep 17 00:00:00 2001
From: Pavel Anpin <pavel@anpin.fyi>
Date: Fri, 22 Nov 2024 09:11:43 -0300
Subject: [PATCH] add dotnet kernel for C# and F#

---
 README.md                             |   1 +
 examples/dotnet/csharp/default.nix    |  10 ++
 examples/dotnet/csharp/test.ipynb     | 166 ++++++++++++++++++++++++++
 examples/dotnet/csharp/test.py        |  13 ++
 examples/dotnet/fsharp/default.nix    |  11 ++
 examples/dotnet/fsharp/test.ipynb     | 158 ++++++++++++++++++++++++
 examples/dotnet/fsharp/test.py        |  13 ++
 modules/default.nix                   |   1 +
 modules/kernels/dotnet/default.nix    |  88 ++++++++++++++
 modules/kernels/dotnet/logo-64x64.png | Bin 0 -> 1131 bytes
 modules/kernels/dotnet/package.nix    |  27 +++++
 11 files changed, 488 insertions(+)
 create mode 100644 examples/dotnet/csharp/default.nix
 create mode 100644 examples/dotnet/csharp/test.ipynb
 create mode 100644 examples/dotnet/csharp/test.py
 create mode 100644 examples/dotnet/fsharp/default.nix
 create mode 100644 examples/dotnet/fsharp/test.ipynb
 create mode 100644 examples/dotnet/fsharp/test.py
 create mode 100644 modules/kernels/dotnet/default.nix
 create mode 100644 modules/kernels/dotnet/logo-64x64.png
 create mode 100644 modules/kernels/dotnet/package.nix

diff --git a/README.md b/README.md
index b734516d..1e4b2024 100644
--- a/README.md
+++ b/README.md
@@ -17,6 +17,7 @@
   <img src="modules/kernels/scala/logo-64x64.png" width="45" />
   <img src="modules/kernels/typescript/logo-64x64.png" width="45" />
   <img src="modules/kernels/zsh/logo-64x64.png" width="45" />
+  <img src="modules/kernels/dotnet/logo-64x64.png" width="45" />
 </p>
 
 This repository provides a Nix-based framework for the definition of
diff --git a/examples/dotnet/csharp/default.nix b/examples/dotnet/csharp/default.nix
new file mode 100644
index 00000000..bea7e4eb
--- /dev/null
+++ b/examples/dotnet/csharp/default.nix
@@ -0,0 +1,10 @@
+{
+  self,
+  system,
+  pkgs,
+  ...
+}: {
+  kernel.dotnet.csharp-example = {
+    enable = true;
+  };
+}
diff --git a/examples/dotnet/csharp/test.ipynb b/examples/dotnet/csharp/test.ipynb
new file mode 100644
index 00000000..e554d67d
--- /dev/null
+++ b/examples/dotnet/csharp/test.ipynb
@@ -0,0 +1,166 @@
+{
+ "cells": [
+  {
+   "cell_type": "code",
+   "execution_count": 1,
+   "id": "d13cad64-62c0-4b87-b8ef-0242658baa0f",
+   "metadata": {
+    "vscode": {
+     "languageId": "rust"
+    }
+   },
+   "outputs": [
+    {
+     "data": {
+      "text/html": [
+       "\r\n",
+       "<div>\r\n",
+       "    <div id='dotnet-interactive-this-cell-1199835.Microsoft.DotNet.Interactive.Http.HttpPort' style='display: none'>\r\n",
+       "        The below script needs to be able to find the current output cell; this is an easy method to get it.\r\n",
+       "    </div>\r\n",
+       "    <script type='text/javascript'>\r\n",
+       "async function probeAddresses(probingAddresses) {\r\n",
+       "    function timeout(ms, promise) {\r\n",
+       "        return new Promise(function (resolve, reject) {\r\n",
+       "            setTimeout(function () {\r\n",
+       "                reject(new Error('timeout'))\r\n",
+       "            }, ms)\r\n",
+       "            promise.then(resolve, reject)\r\n",
+       "        })\r\n",
+       "    }\r\n",
+       "\r\n",
+       "    if (Array.isArray(probingAddresses)) {\r\n",
+       "        for (let i = 0; i < probingAddresses.length; i++) {\r\n",
+       "\r\n",
+       "            let rootUrl = probingAddresses[i];\r\n",
+       "\r\n",
+       "            if (!rootUrl.endsWith('/')) {\r\n",
+       "                rootUrl = `${rootUrl}/`;\r\n",
+       "            }\r\n",
+       "\r\n",
+       "            try {\r\n",
+       "                let response = await timeout(1000, fetch(`${rootUrl}discovery`, {\r\n",
+       "                    method: 'POST',\r\n",
+       "                    cache: 'no-cache',\r\n",
+       "                    mode: 'cors',\r\n",
+       "                    timeout: 1000,\r\n",
+       "                    headers: {\r\n",
+       "                        'Content-Type': 'text/plain'\r\n",
+       "                    },\r\n",
+       "                    body: probingAddresses[i]\r\n",
+       "                }));\r\n",
+       "\r\n",
+       "                if (response.status == 200) {\r\n",
+       "                    return rootUrl;\r\n",
+       "                }\r\n",
+       "            }\r\n",
+       "            catch (e) { }\r\n",
+       "        }\r\n",
+       "    }\r\n",
+       "}\r\n",
+       "\r\n",
+       "function loadDotnetInteractiveApi() {\r\n",
+       "    probeAddresses([\"http://192.168.0.106:2051/\", \"http://192.168.100.2:2051/\", \"http://172.16.10.2:2051/\", \"http://127.0.0.1:2051/\"])\r\n",
+       "        .then((root) => {\r\n",
+       "        // use probing to find host url and api resources\r\n",
+       "        // load interactive helpers and language services\r\n",
+       "        let dotnetInteractiveRequire = require.config({\r\n",
+       "        context: '1199835.Microsoft.DotNet.Interactive.Http.HttpPort',\r\n",
+       "                paths:\r\n",
+       "            {\r\n",
+       "                'dotnet-interactive': `${root}resources`\r\n",
+       "                }\r\n",
+       "        }) || require;\r\n",
+       "\r\n",
+       "            window.dotnetInteractiveRequire = dotnetInteractiveRequire;\r\n",
+       "\r\n",
+       "            window.configureRequireFromExtension = function(extensionName, extensionCacheBuster) {\r\n",
+       "                let paths = {};\r\n",
+       "                paths[extensionName] = `${root}extensions/${extensionName}/resources/`;\r\n",
+       "                \r\n",
+       "                let internalRequire = require.config({\r\n",
+       "                    context: extensionCacheBuster,\r\n",
+       "                    paths: paths,\r\n",
+       "                    urlArgs: `cacheBuster=${extensionCacheBuster}`\r\n",
+       "                    }) || require;\r\n",
+       "\r\n",
+       "                return internalRequire\r\n",
+       "            };\r\n",
+       "        \r\n",
+       "            dotnetInteractiveRequire([\r\n",
+       "                    'dotnet-interactive/dotnet-interactive'\r\n",
+       "                ],\r\n",
+       "                function (dotnet) {\r\n",
+       "                    dotnet.init(window);\r\n",
+       "                },\r\n",
+       "                function (error) {\r\n",
+       "                    console.log(error);\r\n",
+       "                }\r\n",
+       "            );\r\n",
+       "        })\r\n",
+       "        .catch(error => {console.log(error);});\r\n",
+       "    }\r\n",
+       "\r\n",
+       "// ensure `require` is available globally\r\n",
+       "if ((typeof(require) !==  typeof(Function)) || (typeof(require.config) !== typeof(Function))) {\r\n",
+       "    let require_script = document.createElement('script');\r\n",
+       "    require_script.setAttribute('src', 'https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.6/require.min.js');\r\n",
+       "    require_script.setAttribute('type', 'text/javascript');\r\n",
+       "    \r\n",
+       "    \r\n",
+       "    require_script.onload = function() {\r\n",
+       "        loadDotnetInteractiveApi();\r\n",
+       "    };\r\n",
+       "\r\n",
+       "    document.getElementsByTagName('head')[0].appendChild(require_script);\r\n",
+       "}\r\n",
+       "else {\r\n",
+       "    loadDotnetInteractiveApi();\r\n",
+       "}\r\n",
+       "\r\n",
+       "    </script>\r\n",
+       "</div>"
+      ]
+     },
+     "metadata": {},
+     "output_type": "display_data"
+    },
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "hello world\n"
+     ]
+    }
+   ],
+   "source": [
+    "var b = new[] { \"hello\", \"world\" }; \n",
+    "Console.WriteLine(string.Join(\" \", b));"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "id": "5082b04d-1edd-4a81-8462-fa571311cd33",
+   "metadata": {},
+   "outputs": [],
+   "source": []
+  }
+ ],
+ "metadata": {
+  "kernelspec": {
+   "display_name": "dotnet-csharp-example kernel",
+   "language": "dotnet",
+   "name": "dotnet-csharp-example"
+  },
+  "language_info": {
+   "file_extension": ".cs",
+   "mimetype": "text/x-csharp",
+   "name": "C#",
+   "pygments_lexer": "csharp",
+   "version": "12.0"
+  }
+ },
+ "nbformat": 4,
+ "nbformat_minor": 5
+}
diff --git a/examples/dotnet/csharp/test.py b/examples/dotnet/csharp/test.py
new file mode 100644
index 00000000..ae658c50
--- /dev/null
+++ b/examples/dotnet/csharp/test.py
@@ -0,0 +1,13 @@
+import os
+from testbook import testbook
+
+current_dir = os.path.dirname(os.path.abspath(__file__))
+
+@testbook(f'{current_dir}/test.ipynb', execute=True, kernel_name="dotnet-csharp-example")
+def test_nb(tb):
+    result = tb.cell_output_text(0)
+    assert result == 'hello world'
+
+if __name__ == '__main__':
+    test_nb()
+
diff --git a/examples/dotnet/fsharp/default.nix b/examples/dotnet/fsharp/default.nix
new file mode 100644
index 00000000..7b8f029e
--- /dev/null
+++ b/examples/dotnet/fsharp/default.nix
@@ -0,0 +1,11 @@
+{
+  self,
+  system,
+  pkgs,
+  ...
+}: {
+  kernel.dotnet.fsharp-example = {
+    enable = true;
+    language = "fsharp";
+  };
+}
diff --git a/examples/dotnet/fsharp/test.ipynb b/examples/dotnet/fsharp/test.ipynb
new file mode 100644
index 00000000..ea91ba19
--- /dev/null
+++ b/examples/dotnet/fsharp/test.ipynb
@@ -0,0 +1,158 @@
+{
+ "cells": [
+  {
+   "cell_type": "code",
+   "execution_count": 1,
+   "id": "d13cad64-62c0-4b87-b8ef-0242658baa0f",
+   "metadata": {
+    "vscode": {
+     "languageId": "rust"
+    }
+   },
+   "outputs": [
+    {
+     "data": {
+      "text/html": [
+       "\r\n",
+       "<div>\r\n",
+       "    <div id='dotnet-interactive-this-cell-1181845.Microsoft.DotNet.Interactive.Http.HttpPort' style='display: none'>\r\n",
+       "        The below script needs to be able to find the current output cell; this is an easy method to get it.\r\n",
+       "    </div>\r\n",
+       "    <script type='text/javascript'>\r\n",
+       "async function probeAddresses(probingAddresses) {\r\n",
+       "    function timeout(ms, promise) {\r\n",
+       "        return new Promise(function (resolve, reject) {\r\n",
+       "            setTimeout(function () {\r\n",
+       "                reject(new Error('timeout'))\r\n",
+       "            }, ms)\r\n",
+       "            promise.then(resolve, reject)\r\n",
+       "        })\r\n",
+       "    }\r\n",
+       "\r\n",
+       "    if (Array.isArray(probingAddresses)) {\r\n",
+       "        for (let i = 0; i < probingAddresses.length; i++) {\r\n",
+       "\r\n",
+       "            let rootUrl = probingAddresses[i];\r\n",
+       "\r\n",
+       "            if (!rootUrl.endsWith('/')) {\r\n",
+       "                rootUrl = `${rootUrl}/`;\r\n",
+       "            }\r\n",
+       "\r\n",
+       "            try {\r\n",
+       "                let response = await timeout(1000, fetch(`${rootUrl}discovery`, {\r\n",
+       "                    method: 'POST',\r\n",
+       "                    cache: 'no-cache',\r\n",
+       "                    mode: 'cors',\r\n",
+       "                    timeout: 1000,\r\n",
+       "                    headers: {\r\n",
+       "                        'Content-Type': 'text/plain'\r\n",
+       "                    },\r\n",
+       "                    body: probingAddresses[i]\r\n",
+       "                }));\r\n",
+       "\r\n",
+       "                if (response.status == 200) {\r\n",
+       "                    return rootUrl;\r\n",
+       "                }\r\n",
+       "            }\r\n",
+       "            catch (e) { }\r\n",
+       "        }\r\n",
+       "    }\r\n",
+       "}\r\n",
+       "\r\n",
+       "function loadDotnetInteractiveApi() {\r\n",
+       "    probeAddresses([\"http://192.168.0.106:2051/\", \"http://192.168.100.2:2051/\", \"http://172.16.10.2:2051/\", \"http://127.0.0.1:2051/\"])\r\n",
+       "        .then((root) => {\r\n",
+       "        // use probing to find host url and api resources\r\n",
+       "        // load interactive helpers and language services\r\n",
+       "        let dotnetInteractiveRequire = require.config({\r\n",
+       "        context: '1181845.Microsoft.DotNet.Interactive.Http.HttpPort',\r\n",
+       "                paths:\r\n",
+       "            {\r\n",
+       "                'dotnet-interactive': `${root}resources`\r\n",
+       "                }\r\n",
+       "        }) || require;\r\n",
+       "\r\n",
+       "            window.dotnetInteractiveRequire = dotnetInteractiveRequire;\r\n",
+       "\r\n",
+       "            window.configureRequireFromExtension = function(extensionName, extensionCacheBuster) {\r\n",
+       "                let paths = {};\r\n",
+       "                paths[extensionName] = `${root}extensions/${extensionName}/resources/`;\r\n",
+       "                \r\n",
+       "                let internalRequire = require.config({\r\n",
+       "                    context: extensionCacheBuster,\r\n",
+       "                    paths: paths,\r\n",
+       "                    urlArgs: `cacheBuster=${extensionCacheBuster}`\r\n",
+       "                    }) || require;\r\n",
+       "\r\n",
+       "                return internalRequire\r\n",
+       "            };\r\n",
+       "        \r\n",
+       "            dotnetInteractiveRequire([\r\n",
+       "                    'dotnet-interactive/dotnet-interactive'\r\n",
+       "                ],\r\n",
+       "                function (dotnet) {\r\n",
+       "                    dotnet.init(window);\r\n",
+       "                },\r\n",
+       "                function (error) {\r\n",
+       "                    console.log(error);\r\n",
+       "                }\r\n",
+       "            );\r\n",
+       "        })\r\n",
+       "        .catch(error => {console.log(error);});\r\n",
+       "    }\r\n",
+       "\r\n",
+       "// ensure `require` is available globally\r\n",
+       "if ((typeof(require) !==  typeof(Function)) || (typeof(require.config) !== typeof(Function))) {\r\n",
+       "    let require_script = document.createElement('script');\r\n",
+       "    require_script.setAttribute('src', 'https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.6/require.min.js');\r\n",
+       "    require_script.setAttribute('type', 'text/javascript');\r\n",
+       "    \r\n",
+       "    \r\n",
+       "    require_script.onload = function() {\r\n",
+       "        loadDotnetInteractiveApi();\r\n",
+       "    };\r\n",
+       "\r\n",
+       "    document.getElementsByTagName('head')[0].appendChild(require_script);\r\n",
+       "}\r\n",
+       "else {\r\n",
+       "    loadDotnetInteractiveApi();\r\n",
+       "}\r\n",
+       "\r\n",
+       "    </script>\r\n",
+       "</div>"
+      ]
+     },
+     "metadata": {},
+     "output_type": "display_data"
+    },
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "[0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10]"
+     ]
+    }
+   ],
+   "source": [
+    "let m = [0 .. 10]\n",
+    "printf \"%A\" m"
+   ]
+  }
+ ],
+ "metadata": {
+  "kernelspec": {
+   "display_name": "dotnet-fsharp-example kernel",
+   "language": "dotnet",
+   "name": "dotnet-fsharp-example"
+  },
+  "language_info": {
+   "file_extension": ".fs",
+   "mimetype": "text/x-fsharp",
+   "name": "F#",
+   "pygments_lexer": "fsharp",
+   "version": "8.0"
+  }
+ },
+ "nbformat": 4,
+ "nbformat_minor": 5
+}
diff --git a/examples/dotnet/fsharp/test.py b/examples/dotnet/fsharp/test.py
new file mode 100644
index 00000000..10638915
--- /dev/null
+++ b/examples/dotnet/fsharp/test.py
@@ -0,0 +1,13 @@
+import os
+from testbook import testbook
+
+current_dir = os.path.dirname(os.path.abspath(__file__))
+
+@testbook(f'{current_dir}/test.ipynb', execute=True, kernel_name="dotnet-fsharp-example")
+def test_nb(tb):
+    result = tb.cell_output_text(0)
+    assert result == '[0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10]'
+
+if __name__ == '__main__':
+    test_nb()
+
diff --git a/modules/default.nix b/modules/default.nix
index d8005955..23600f85 100644
--- a/modules/default.nix
+++ b/modules/default.nix
@@ -84,6 +84,7 @@ in {
     ./../modules/kernels/scala
     ./../modules/kernels/typescript
     ./../modules/kernels/zsh
+    ./../modules/kernels/dotnet
   ];
   # TODO: add kernels
   #++ map (name: ./. + "/../modules/kernels/${name}/module.nix") (builtins.attrNames (builtins.readDir ./../modules/kernels));
diff --git a/modules/kernels/dotnet/default.nix b/modules/kernels/dotnet/default.nix
new file mode 100644
index 00000000..46dbbc58
--- /dev/null
+++ b/modules/kernels/dotnet/default.nix
@@ -0,0 +1,88 @@
+{
+  self,
+  system,
+  config,
+  lib,
+  mkKernel,
+  ...
+}: let
+  inherit (lib) types;
+
+  kernelName = "dotnet";
+  kernelOptions = {
+    config,
+    name,
+    ...
+  }: let
+    dotnet-interactive =
+      config.nixpkgs.callPackage ./package.nix {
+      };
+
+    requiredRuntimePackages = [
+      config.nixpkgs.dotnet-sdk_9
+      dotnet-interactive
+    ];
+    args = {inherit self system lib config name kernelName requiredRuntimePackages;};
+    kernelModule = import ./../../kernel.nix args;
+    kernelFunc = {
+      self,
+      system,
+      # custom arguments
+      pkgs ? self.inputs.nixpkgs.legacyPackages.${system},
+      name ? "dotnet",
+      displayName ? "dotnet",
+      requiredRuntimePackages ? with pkgs; [dotnet-sdk_8 dotnet-interactive],
+      runtimePackages ? [],
+      extraKernelSpc,
+      language ? "csharp",
+    }:
+      {
+        inherit name displayName;
+        language = "dotnet";
+        argv = [
+          "${dotnet-interactive}/bin/dotnet-interactive"
+          "jupyter"
+          "{connection_file}"
+          "--default-kernel"
+          "${language}"
+        ];
+        codemirrorMode = "dotnet";
+        logo64 = ./logo-64x64.png;
+      }
+      // extraKernelSpc;
+  in {
+    options =
+      {
+        language = lib.mkOption {
+          type = lib.types.enum ["csharp" "fsharp"];
+          default = "csharp";
+          description = lib.mdDoc ''
+            Language flavour of dotnet-interactive kernel
+          '';
+        };
+      }
+      // kernelModule.options;
+
+    config = lib.mkIf config.enable {
+      build = mkKernel (kernelFunc config.kernelArgs);
+      kernelArgs =
+        {
+          inherit (config) language;
+        }
+        // kernelModule.kernelArgs;
+    };
+  };
+in {
+  options.kernel.${kernelName} = lib.mkOption {
+    type = types.attrsOf (types.submodule kernelOptions);
+    default = {};
+    example = lib.literalExpression ''
+      {
+        kernel.${kernelName}."example".enable = true;
+      }
+    '';
+    description = lib.mdDoc ''
+      A ${kernelName} kernel for IPython.
+    '';
+  };
+}
diff --git a/modules/kernels/dotnet/logo-64x64.png b/modules/kernels/dotnet/logo-64x64.png
new file mode 100644
index 0000000000000000000000000000000000000000..0ff8255cd315d01dc20f5289e421c437a2860b9a
GIT binary patch
literal 1131
zcmV-x1eE)UP)<h;3K|Lk000e1NJLTq002M$002M;0{{R3owtGP0000WV@Og>004R>
z004l5008;`004mK004C`008P>0026e000+ooVrmw0005?P)t-sQ7hC?Db!FZ)K@ds
zWklI#McHFP*itRjRWH?KLfKn4*HbOjW<=RxKG;(()nY){WJB3iFx5^d(|=>%=i>S6
z=KAB^_<myFPbkw*Db#CA+uqmr?dkiRhv#5D*we}M?C1LG=KAdD`oy>J&cpNT=lb8+
z_iatvPAAiaYvKL<|NsC0(#Z5(I@fPd-16}Jr<CbpKiKBr`P9qx-`V%`@%(X8+=Xi4
z{QLg?{{Nth=x<Ql@$USmlj-H(_~6<1lzruqdE}CN<bh`3STxp>dgPFI<FTLY{QUln
zbmLt)*Zuwe@a_9@Q{2tM^GhVtfMwwO`u?Dc=e4Bm?dkf%w(wUn)y>26f@k2Njp&bd
z<E4`6`uYBlc;r+s)sA)JUOLy;&-LKi_h&}gVL#YRCDZow{j;L%_xAne;Q8d<_=aoY
zwx;d$^88IE(`ZN9;@kMt%Jf`0*KSVR;oJC`gXWfi<(GivmVf1HN!p=|=x$Hj@9X>A
z)%Nr7{C!~GUp&{IiRb?P|4}T|WkcE5&h^E)@me<4TsYUy#q-F#@y5FG$GY*sv+!(8
z+j(2w`S<;hc;kFu->8-8{rvuWUfzRf;G>S{u%7GN)Am#@)w-+hyRGhbS>3*`@4c_@
zTR7LOn(Dl*?!2z<x2Ns7s_s%O)ScracK`qY0b)x>L@Ok@<Ol!&0r*KoK~z}7?UUJ4
z6G0G%XPYdD(L`3z8BfBYgN<T50`UkgNE8GyDiQAs&nVtT6y)#-8t(&7i1**=4jY!F
z%1v#meBfcer{8Q<f7R8!O^8Gykw|7RiUQdY6cezLz_z}?r4|;MaaOT9n-F)QI!B<+
z^?1!B9`j0U>b3c$WeXNk5!s@}OO{etw!GXYsHpT-Rru0WuUN_cE#Nh)5NlV9*4dgm
zTuZ^f4o%h<Z$OKU0ULo<-+&n0G%47;1-BZ45H@bpb-k&1drgZT-mw!a!+J|=8`uhV
zwPSS$%M|P`;s%sZ&O7%+aBnB)noYeBH0;}tT~Wvo9GIS%)*ZovT8<?eg5aUUc;qO}
z?BJLJ0L}%+Pn^V4r`fci*45+p_e7m{aHjq&o^w-6aQ;Fl6uKDG91FPT5?*fZwFD+%
z?p(mGT*YhGZ%hep-nt!+-{}MA0z&l&-o2N-MsPj@P9WNaWqN;}YgCNCBP}2-;KPCY
z`3b-^I0RDy0>dL1Obe<C+=2(W1@Q1u<Z*&qg3%|&<V`{U(_}LF?D-3pQ$Sz7!g94Y
zhWMIKzTea#zSY26nqK3(_r{fLV<Y&%rh~-CPs5*C;LF!>^HSaMiBycix9_PRf}g+o
x6mem{Q{6U~44%ZF><=Vg@~@CcBofL0<uAbehyUi1h1>uD002ovPDHLkV1k^TcrgF~

literal 0
HcmV?d00001

diff --git a/modules/kernels/dotnet/package.nix b/modules/kernels/dotnet/package.nix
new file mode 100644
index 00000000..2b99bf55
--- /dev/null
+++ b/modules/kernels/dotnet/package.nix
@@ -0,0 +1,27 @@
+{
+  lib,
+  buildDotnetGlobalTool,
+  dotnetCorePackages,
+}: let
+  inherit (dotnetCorePackages) sdk_8_0;
+in
+  buildDotnetGlobalTool rec {
+    pname = "Microsoft.dotnet-interactive";
+    version = "1.0.556801";
+
+    nugetSha256 = "sha256-tABt/DltggX85SZaaZK7ZP+L3EqxEh0fZ1pfB4MOtxk=";
+
+    dotnet-sdk = sdk_8_0;
+    dotnet-runtime = sdk_8_0;
+    executables = "dotnet-interactive";
+
+    meta = with lib; {
+      description = ".NET Interactive";
+      mainProgram = "dotnet-interactive";
+      homepage = "https://github.com/dotnet/interactive";
+      changelog = "https://github.com/dotnet/interactive/releases/tag/v${version}";
+      license = licenses.mit;
+      platforms = platforms.linux ++ platforms.windows ++ platforms.darwin;
+      maintainers = with maintainers; [anpin];
+    };
+  }