Mozkeyは、Mozc（Google日本語入力）をベースに、遅延付きライブ変換・ローカル Zenz 補正・外観カスタマイズ機能・句読点単打確定・学習ロジックの改善・文脈を見た変換補正などを統合した、ローカルファーストな日本語入力 fork です。

emoji picker compatible with Linux systems using either XServer or Wayland with either Fcitx5 or IBus

The Turbo Haskell Compiler

Lean 4 theorem proving skill and workflow pack for AI coding agents

QualifiedDo notation for mixing monadic actions with Koka-style with statements

🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.

A language for writing orchestration logic for AI agents

Nix expressions for VS Code Marketplace and Open VSX extensions [maintainers=@deemp, @ameertaweel]

ICPC notebook

Front Matter is a CMS running straight in Visual Studio Code. Can be used with static site generators like Hugo, Jekyll, Hexo, NextJs, Gatsby, and many more...

An implementation of the Language Server Protocol for LaTeX

VS Code extension for the Lean 4 programming language and theorem prover

Efficient non-empty variants of containers data types, with full API

SKK dictionary maintenance tools

Я - extremely composable embeddable programming language

A command-line utility to download songs and playlists directly from Spotify's servers

Setoid type theory implementation

A community repository of common plugin specifications

Dex to Java decompiler

Python library for CTFer

A command-line utility to download songs and playlists directly from Spotify

Open Source Spotify client library

A collection of formalized statements of conjectures in Lean.

An open-source cross-platform alternative to AirDrop

💼 Neovim plugin to manage global and project-local settings

🏙 A clean, dark Neovim theme written in Lua, with support for lsp, treesitter and lots of plugins. Includes additional themes for Kitty, Alacritty, iTerm and Fish.

A sleek, customizable Discord theme.