The home of the NixOS branding guide and media kit.

A pure rust YAML implementation.

A command line extension for git to reduce meaningless diff on git of VRC project.

Social networking technology created by Bluesky

Rust libraries for Bluesky's AT Protocol services.

RSS bot for Bluesky in Rust

DateTime package for Lean 4

Parser Combinator Library for Lean 4

🌐 | HTTP primitives for Lean 4

binding for glfw for zig 0.15.0

Neovim support for the Lean theorem prover

Lean 4 programming language and theorem prover

The math library of Lean 4

まずやってみる

ブラウザエンジン、ブラウザのOrinium

Haskell to VHDL/Verilog/SystemVerilog compiler

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

🌈 A nushell plugin for syntax highlighting.

System76 Open Source Embedded Controller

GlassTTY: TrueType VT220 font

🐉 Dark powered asynchronous unite all interfaces for Neovim/Vim8

Fuzzy file, buffer, mru, tag, etc finder.

Active fork of kien/ctrlp.vim—Fuzzy file, buffer, mru, tag, etc finder.

vim support for skim

A code-searching tool similar to ack, but faster.

Forge Maven Plugin

A pure Erlang implementation of the nostr protocol

This repository contains my new OS implementation written in zig language

Tool to create bootable disk images from a Rust OS kernel.