Nix Packages collection & NixOS

Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.

Neovim side implementation for Neovide's IME support

No Nonsense Neovim Client in Rust

Neovim client library and GUI, in Qt5.

wasmspec の日本語訳

Lean 4 programming language and theorem prover

The Lean version manager

Web framework built on Web Standards

bsdtar/zstd compiled to wasm32-wasi

日本語文章の解析・校正を行う LSP サーバー。

a collection of useful tools, including SKTimeStamp and StExBar

plenary: full; complete; entire; absolute; unqualified. All the lua functions I don't want to write twice.

Solving i18n for client-side and resource-constrained environments.

WebAssembly specification, reference interpreter, and test suite for the jit-interfaces proposal.

✨ Need help with Node.js? File an Issue here. 🚀

A HUnit/hspec assertion to verify that an expression does not typecheck

Neovim configuration and plugins in Fennel (Lisp compiled to Lua)

A terminal for iOS, with multiple windows

Mozc - a Japanese Input Method Editor designed for multi-platform

A lightweight command-line tool that spins up a local web server to display Git commit diffs in a GitHub-like Files changed view

The official repository of Mozilla's Firefox web browser.

『型システムのしくみ』正誤情報

Example resumable recursive descent parser

Opinionated tsconfig.json generator: https://mizdra.github.io/tsconfig-generator/

A standard interface for TypeScript schema validation libraries

SF.lean勉強会でigrepが書いたコードの記録

IDE-like breadcrumbs, out of the box