Modex

(★ 28)

a model extractor, to automatically extract Spin verification models from multi-threaded C code

Modex 최신버젼 다운로드

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

오늘의 추천 프로젝트

lazygit ★ 81,526

git 명령어를 위한 간편한 터미널 UI

Go
awesome-mcp-servers ★ 92,652

MCP 서버 모음입니다.
agent-skills ★ 88,905

AI 코딩 에이전트를 위한 프로덕션 등급의 엔지니어링 기술.

JavaScript
DeepSeek-R1 ★ 92,027

본 저장소는 사전 학습(SFT) 단계 없이 대규모 강화학습(RL)을 통해 추론 능력을 극대화한 차세대 추론 모델인 DeepSeek-R1-Zero와 DeepSeek
three.js ★ 114,653

자바스크립트 3D 라이브러리.

JavaScript
project-based-learning ★ 280,216

프로젝트 기반 프로그래밍 튜토리얼 모음입니다.

Python
// repository documentation