Pinned Loading

1. iridium-bpmf iridium-bpmf Public

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

   61 2

2. pebble-scripts pebble-scripts Public

   Code to localize for my Pebble Time 2: Chinese Traditional (Taiwan) fonts and translations

   Python

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

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

   JavaScript 7 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 2