generaltan

(★ 24)

Another version of ProofGeneral character, じぇねらるたん

generaltan 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

Python ★ 223,790

모든 알고리즘이 Python으로 구현되어 있습니다.

Python
superpowers ★ 272,754

실제로 작동하는 에이전틱 스킬 프레임워크 & 소프트웨어 개발 방법론.

Shell
youtube-dl ★ 140,972

YouTube.com 및 기타 동영상 사이트에서 동영상을 다운로드하는 커맨드라인 프로그램

Python
fzf ★ 82,545

:cherry_blossom: A command-line fuzzy finder

Go
rtk ★ 76,287

일반적인 개발 명령어에서 LLM 토큰 소비를 60-90% 줄여주는 CLI 프록시. 단일 Rust 바이너리, 의존성 없음.

Rust
Understand-Anything ★ 79,512

감동을 주는 그래프보다 가르쳐주는 그래프가 더 좋습니다. 어떤 코드든 탐색하고, 검색하고, 질문할 수 있는 인터랙티브 지식 그래프로 변환하세요. Claude Co

TypeScript
// repository documentation