Lists (1)
Starred repositories
A proof assistant and a dependently-typed language
a proposal to add a method to iterators for producing an iterator of its subsequences
An alternative shell for KDE Plasma that aims to replicate the look and feel of Windows 7.
Proposal for ECMAScript 'throw' expressions
A native TypeScript compiler written in Rust. Compiles TypeScript directly to executables using SWC and LLVM.
Vite plugin to enable Deno resolution inside vite.
Generate complex GitHub Actions YAML files using a declarative API.
대한민국 법령을 Git 저장소로 관리합니다. 각 법령은 Markdown 파일이고, 각 개정은 실제 공포일자를 가진 Git commit입니다.
국가법령정보MCP v4.4 | 법제처 42개 API → 9개 MCP 도구. 법령·판례·조례·조약 + 다단계 리서치(legal_research) + 정밀분석(legal_analysis: 인용검증·판례생사·행위시법·영향그래프) | 42 Korean legal APIs → 9 MCP tools
A real-time 3D digital map of Tokyo's public transport system
a fast, modern browser for the npm registry
AI-native design editor. Open-source Figma alternative.
👻 Use your text editor to write in your browser. Everything you type in the editor will be instantly updated in the browser (and vice versa).
Unofficial setup guide for running FL Studio on Linux using Bottles (wine)
Bash-based Git worktree manager with editor and AI tool integration. Automates per-branch worktree creation, configuration copying, dependency installation, and workspace setup for efficient parall…
Railway-oriented programming for TypeScript. Result, Option, validation, and composition — practical over academic, no fp-ts complexity.
A polyfill for Iterator helpers proposal written in Typescript for environments supporting ES2018+
CLI for common Playwright actions. Record and generate Playwright code, inspect selectors and take screenshots.
The easiest, most secure way to use WireGuard and 2FA.
The most powerful local music generation model that outperforms almost all commercial alternatives, supporting Mac, AMD, Intel, and CUDA devices.
gettext and iconv binaries and libraries/development files for Windows
Vite plugin for inlining JavaScript and CSS resources