Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View pogin503's full-sized avatar

Sponsoring

@kenkoooo
@herumi

Organizations

@emacs-jp

Block or report pogin503

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

factorioprints.com

TypeScript 200 40 Updated Jan 27, 2026
TypeScript 5 Updated Jan 16, 2026

auひかりでHGWの代わりに802.1x認証を行い、HGWを使用せずに接続します。

158 22 Updated Jan 1, 2026

フォロワー欄でスパムっぽいアカウントを強調表示します

JavaScript 69 1 Updated Jan 9, 2026

CakeML: A Verified Implementation of ML

Standard ML 1,110 92 Updated Jan 28, 2026

A collection of settings to make Claude Code more useful.

Shell 986 107 Updated Oct 15, 2025

Mathematical Components

Rocq Prover 666 126 Updated Jan 27, 2026

The Pie Programming Language

C++ 5 Updated Jan 25, 2026
Lean 286 3 Updated Oct 16, 2025

DuckDB is an analytical in-process SQL database management system

C++ 35,711 2,877 Updated Jan 27, 2026

A Coq library for Homotopy Type Theory

Rocq Prover 1,367 201 Updated Jan 11, 2026

The math library of Lean 4

Lean 2,823 1,040 Updated Jan 28, 2026

Lisp in 99 lines of C and how to write one yourself. Includes 21 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.

C 1,387 85 Updated Jan 11, 2026

The Zenburn colour theme ported to Emacs

Emacs Lisp 1,052 264 Updated Oct 28, 2025

A curated list of dotfiles resources.

10,342 358 Updated Jun 19, 2025

Lean documentation authoring tool

JavaScript 251 98 Updated Jan 27, 2026

Theorem Proving in Lean 4 日本語訳

JavaScript 17 3 Updated Jan 11, 2025

Ruby binding for DuckDB

Ruby 237 28 Updated Jan 26, 2026

A Ruby language server.

Ruby 1,990 164 Updated Jan 19, 2026

Command-line copy/paste utilities for Wayland

C 2,171 79 Updated Nov 24, 2025

A safe Rust crate for working with the Wayland clipboard.

Rust 442 26 Updated Jan 19, 2026

Playwright client for Ruby

Ruby 458 47 Updated Jan 25, 2026

Catalog Of Math Problems Formalized In Lean

Lean 226 57 Updated Jan 26, 2026

Chat with Github copilot in Emacs !

Emacs Lisp 377 39 Updated Jan 23, 2026

AutoMQ is a diskless Kafka® on S3. 10x Cost-Effective. No Cross-AZ Traffic Cost. Autoscale in seconds. Single-digit ms latency. Multi-AZ Availability.

Java 9,383 660 Updated Jan 27, 2026

bazaar to git conversion and import of Gnuclad. Gnuclad tries to help the environment by creating trees. It's primary use will be generating cladogram trees for the Linux and BSD distributions time…

TeX 17 1 Updated May 20, 2024

Linux Distributions Timeline

Shell 2,114 171 Updated Dec 9, 2025

日本語LLMまとめ - Overview of Japanese LLMs

TypeScript 1,334 40 Updated Jan 10, 2026

SoftwareFoundations(Ja)

Coq 70 26 Updated Oct 5, 2019

SoftwareFoundations(Ja)

Coq 1 Updated Jul 11, 2019
Next