crdt-tla

(★ 9)

Verifying the correctness of CRDTs using TLA+/PlusCal

crdt-tla 최신버젼 다운로드

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

오늘의 추천 프로젝트

flask ★ 72,137

웹 applications를 구축하기 위한 Python 마이크로 framework입니다.

Python
act ★ 71,587

GitHub Actions를 로컬에서 실행하세요 🚀

Go
storybook ★ 90,890

Storybook은 독립된 환경에서 UI 컴포넌트를 빌드, 문서화, 테스트하기 위한 업계 표준 워크숍입니다.

TypeScript
learn-claude-code ★ 74,892

Bash는 그 자체로 충분합니다 - 0부터 1까지 직접 구축한, 나노 claude code 스타일의 「agent harness」

Python
firecrawl ★ 170,391

웹을 대규모로 검색, 스크랩하고 상호작용하기 위한 Context API입니다. 🔥

TypeScript
ECC ★ 241,634

에이전트 하니스 성능 최적화 시스템. Claude Code, Codex, Opencode, Cursor 등을 위한 스킬, 본능, 메모리, 보안, 그리고 리서치 우

JavaScript
// repository documentation