spec-vchan

(★ 15)

A TLA+ specification for the Xen vchan protocol

spec-vchan 최신버젼 다운로드

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

오늘의 추천 프로젝트

vscode ★ 189,119

Visual Studio Code

TypeScript
act ★ 71,587

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

Go
react-native ★ 126,380

React를 사용하여 네이티브 애플리케이션을 빌드하기 위한 프레임워크입니다.

C++
LeetCodeAnimation ★ 76,695

애니메이션 형태로 LeetCode의 모든 문제 풀이 과정을 보여드립니다. (用动画的形式呈现解LeetCode题目的思路,完整单步/回看/变速/语音讲解在 algomooc

Java
clean-code-javascript ★ 94,761

JavaScript 환경에 맞게 적용된 Clean Code 개념들

JavaScript
awesome-react ★ 74,352

React 생태계에 관한 멋진 자료 모음
// repository documentation