pesca

(★ 10)

pesca: Proof Editor for Sequent Calculus (mirror)

pesca 최신버젼 다운로드

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

오늘의 추천 프로젝트

claude-mem ★ 90,896

모든 에이전트를 위한 세션 간 지속형 컨텍스트(Persistent Context) – 에이전트가 세션 동안 수행하는 모든 작업을 캡처하고, AI로 압축한 다음,

JavaScript
screenshot-to-code ★ 74,048

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

Python
yt-dlp ★ 184,855

다기능 명령줄 오디오/비디오 다운로더

Python
AppFlowy ★ 75,555

프로젝트, 위키, 그리고 팀을 AI로 하나로 연결하세요. AppFlowy는 데이터에 대한 통제력을 잃지 않으면서 더 많은 것을 이뤄낼 수 있는 AI 협업 워크스페

Dart
gpt4all ★ 77,414

GPT4All: 모든 기기에서 로컬 LLM을 실행하세요. 오픈 소스이며 상업적 이용이 가능합니다.

C++
awesome-for-beginners ★ 88,433

초보자 친화적인 유용한 프로젝트 모음입니다.
// repository documentation