Lean documentation authoring tool

Moralerspace は、欧文フォント Monaspace と日本語フォント IBM Plex Sans JP 等を合成したプログラミング向けフォントです。

The math library of Lean 4

Lean 4 programming language and theorem prover

Theorem Proving in Lean 4

NixOS support for the ROCm graphics stack (rocm.github.io)

LLMs as Copilots for Theorem Proving in Lean

A search engine for Lean 4 declarations

super repo for rocm libraries

Gemma Playground is a web application for testing Gemma2 and Gemma3 SLMs.

Mermaid integration using pattern from cloudflare-docs

Linux application sandboxing and distribution framework

Chrome Extensions Samples

💬 A proposal for a web API for prompting browser-provided language models

A gallery that showcases on-device ML/GenAI use cases and allows people to try and use models locally.

An open-source, AI-integrated, cross-platform terminal for seamless workflows

FreeRDP is a free remote desktop protocol library and clients

A terminal image and video viewer.

Cross Platform Terminal UI toolkit for .NET

Official documentation for getting things done with Nix.

TypeScript/JavaScript SDK for Gemini and Vertex AI.

Nix, the purely functional package manager

Starlight plugin to split your documentation into different sections, each with its own sidebar

Resource Monitor for GNOME shell

🌟 Build beautiful, accessible, high-performance documentation websites with Astro

Astro documentation

Yet another Japanese IME for IBus/Linux

Example repository setup for synchronizing markdown files as dev.to articles, using assets hosted on GitHub.

Dev.to authoring CLI to create and publish markdown files as articles, using assets hosted on GitHub.