Skip to content
View sh0hei's full-sized avatar
λ=
λ=
  • Tokyo, Japan

Highlights

  • Pro

Organizations

@typelevel @graphql @sangria-graphql @3-shake @Effective-Haskell

Block or report sh0hei

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

A fast, keyboard-driven terminal UI for todo.txt.

Rust 1,561 76 Updated Aug 7, 2026

Your fully local, private agent. Runs models on your machine with its built-in inference engine. Works out of the box, on any hardware.

TypeScript 925 89 Updated Aug 12, 2026

Agent workspace built on Cloudflare Workers for creating documents, building apps, and running agents with your company’s context and systems.

TypeScript 7,901 851 Updated Aug 12, 2026

Zero-dependency spreadsheet engine. Read & write XLSX, CSV, ODS. Pure TypeScript, works everywhere.

TypeScript 1,965 52 Updated Aug 11, 2026

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

TypeScript 1,599 139 Updated Jul 20, 2026

Pretty fancy and modern terminal file manager

Go 22,462 814 Updated Aug 11, 2026

TypeScript-to-Native Compiler

TypeScript 3,436 80 Updated Aug 12, 2026

Ministack: Free, open-source local AWS emulator - 60+ services, Terraform compatible, real databases. Free forever. MIT licensed.

Python 4,000 381 Updated Aug 11, 2026

A small, statically-typed programming language and its compiler, written in Rust

Rust 48 1 Updated Aug 11, 2026

A Rust crate for beautiful, artisanally crafted CLIs, TUIs, and text-based IO.

Rust 1,492 60 Updated Aug 12, 2026

Tinycast — a tiny, fully native macOS launcher, hotkeys, and clipboard history

Swift 1,529 93 Updated Aug 12, 2026

Browse SSH hosts, sync cloud VMs, manage keys, and connect from the terminal. The fast way into the servers you use every day.

Go 85 1 Updated Aug 11, 2026

Boot your PC straight into an LLM. Rust, UEFI-resident, no operating system underneath.

Rust 218 18 Updated Jul 27, 2026

Open-source desktop SQL workspace for PostgreSQL, MySQL/MariaDB, SQLite and 15+ more databases like DuckDB, ClickHouse, Redis and Firestore. Built-in MCP server for Claude, Cursor and Devin, SQL no…

TypeScript 4,078 275 Updated Aug 12, 2026

Git worktree manager for the terminal: CLI + TUI in Rust. Creates the worktree, runs your project setup, links the issue, and shows which AI agent is working where. Single binary, no git CLI needed.

Rust 126 5 Updated Aug 12, 2026

An AI coding agent by JetBrains that ships code from your terminal, IDE, or CI/CD pipeline - powered by any LLM you choose

Shell 367 28 Updated Aug 12, 2026

YouTrackDB is a general-use object-oriented graph database with storage format native to handle graph relations. YouTrackDB supports Gremlin queries and ACID transactions. YTDB supports both embedd…

Java 431 15 Updated Aug 12, 2026

Backlog.md - A tool for managing project collaboration between humans and AI Agents in a git ecosystem

TypeScript 6,451 384 Updated Aug 10, 2026

JumpServer is an open-source Privileged Access Management (PAM) platform that provides DevOps and IT teams with on-demand and secure access to SSH, RDP, Kubernetes, Database and RemoteApp endpoints…

Python 31,253 5,737 Updated Aug 12, 2026

A beautiful config generator for Ghostty terminal.

TypeScript 4,087 81 Updated Aug 7, 2026

🤱🏻 Turn any webpage into a desktop app with one command.

Rust 60,609 12,395 Updated Aug 8, 2026

Real Kubernetes on your Mac, without an always-on VM.

Swift 54 Updated Jun 28, 2026

Zero-copy JSON serialization with compile-time generated typed parsers

Rust 119 3 Updated Jun 20, 2026

Lightning-Fast, On-Device, Multilingual TTS — running natively via ONNX.

Swift 13,663 1,490 Updated Jul 24, 2026

The only tool you need to know what is happening and how to fix it.

Go 1,066 39 Updated Aug 12, 2026

Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini C…

TypeScript 79,104 6,642 Updated Aug 11, 2026

SANA: Efficient High-Resolution Image Synthesis with Linear Diffusion Transformer

Python 8,750 699 Updated Aug 12, 2026

A Java library for building modern terminal user interfaces.

Java 612 54 Updated Aug 12, 2026

`linear-locks` provides locking primitives that are statically guaranteed to be free of deadlocks.

Haskell 21 Updated Jul 13, 2026

Claude Code & Codex Scala Skills: generate direct-style applications with use-case driven guides

72 3 Updated Jul 26, 2026
Next