Pinned Loading

1. iridium-bpmf iridium-bpmf Public

   銥 [Ir] 注音 — (又是一個) 基於 RIME、參酌其它注音輸入法習慣、符合臺灣使用習慣為規準的注音輸入方案。

   60 2

2. ntu-thesis-template ntu-thesis-template Public template

   Refined NTU thesis XeLaTeX template based on former works -- 基於前人作品改良的臺大 XeLaTeX 論文模板

   TeX 3

3. codemirror-lsp-client-demo codemirror-lsp-client-demo Public

   Demo on wiring up tsserver with CodeMirror's lsp-client module

   JavaScript 6 1

4. qbane/sveltekit-template qbane/sveltekit-template Public template

   My opinionated SvelteKit 2 / Svelte 5 template in pure JavaScript.

   JavaScript

5. agda-web/agda-wasm-dist agda-web/agda-wasm-dist Public

   Distributions of Agda executable compiled into WebAssembly.

   Python 25 2

6. vscode-als-wasm-loader vscode-als-wasm-loader Public

   A helper extension to load and spin up a functional instance of the WebAssembly build of Agda Language Server.

   TypeScript 1