Skip to content
View lef's full-sized avatar

Highlights

  • Pro

Block or report lef

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

Extracted system prompts from Anthropic - Claude Fable 5, Opus 4.8, Claude Code, Claude Design. OpenAI - ChatGPT GPT-5.6, Codex GPT-5.6, GPT-5.5. Google - Gemini 3.5 Flash, 3.1 Pro, Antigravity. xA…

JavaScript 60,544 9,879 Updated Jul 24, 2026

KAME repositories for the record

C 156 27 Updated Feb 18, 2016

Stacked PRs for Jujutsu. Push bookmark stacks to GitHub and GitLab as chained pull requests.

Rust 179 20 Updated Jan 30, 2026

Open source platform for X.509 certificate based service authentication and fine grained access control in dynamic infrastructures. Athenz supports provisioning and configuration (centralized autho…

Java 996 310 Updated Jul 23, 2026

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

Rust 60,221 12,216 Updated Jul 26, 2026

agent multiplexer that lives in your terminal.

Rust 20,886 1,396 Updated Jul 26, 2026

(Soft fork) Zed Editor, but with DX asset upload optimizations reverted, for much more stable drawing experience across GPUs at cost of the performance.

2 1 Updated May 14, 2026

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

Rust 3 Updated Jun 13, 2026

A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.

196,362 20,213 Updated Apr 20, 2026

Production-grade engineering skills for AI coding agents.

JavaScript 80,407 8,666 Updated Jul 26, 2026

Fast, secure, efficient backup program

Go 35,164 1,822 Updated Jul 22, 2026

The best ChatGPT that $100 can buy.

Python 56,656 7,838 Updated Jul 4, 2026

App programmed in Swift/SwiftUI for using Libre blood glucose sensors.

Swift 417 137 Updated Apr 9, 2026

Python Scenario-Based OpenID Connect Testing Tool

Go 38 Updated Dec 8, 2023

Displays Timezone differences with localtime in CLI (shell script)

Shell 167 5 Updated Apr 2, 2024
HTML 45 16 Updated Aug 26, 2025

Due diligence procedure idea

Makefile 62 49 Updated Apr 18, 2018

住民記録システム標準仕様書 【第1.0版】第3章 機能要件

2 1 Updated Dec 24, 2020

Java Parser for Google Takeout data

Java 15 3 Updated Jul 12, 2025

Disables the WYSIWYG editor in Slack.

Shell 819 23 Updated Dec 9, 2019

AI利活用ガイドライン/AI Utilization Guidelines

1 Updated Aug 14, 2020

Hayabusa: Simple and Fast Full-Text Search Engine for Massive System Log Data

CSS 42 3 Updated Oct 15, 2018

Patches for Taberareloo

JavaScript 27 6 Updated May 29, 2015

DOMPurify - a DOM-only, super-fast, uber-tolerant XSS sanitizer for HTML, MathML and SVG. DOMPurify works with a secure default, but offers a lot of configurability and hooks. Demo:

JavaScript 17,242 857 Updated Jul 25, 2026

Bitcoin Core integration/staging tree

C++ 2 3 Updated May 29, 2019

iOS and macOS SDK for communicating with OAuth 2.0 and OpenID Connect providers.

Objective-C 2,018 858 Updated Jul 23, 2026

ToSBack crawls, archives and tracks changes in terms of service and privacy policies. ToSBack3, inspired by EFF's ToSBack, is built in Ruby on Rails, features a web interface.

Ruby 43 15 Updated Mar 9, 2023
Next