llvm-verifier

(★ 22)

The LLVM Symbolic Simulator, part of SAW.

llvm-verifier 최신버젼 다운로드

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

오늘의 추천 프로젝트

deepseek-harness ★ 130,269

DeepSeek Harness: Everything is a Plugin.

TypeScript
ollama ★ 178,706

Kimi-K2.6, GLM-5.2, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma 및 기타 모델들을 바로 시작해 보세요.

Go
yt-dlp ★ 184,855

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

Python
Agent-Reach ★ 72,282

AI 에이전트에게 전체 인터넷을 볼 수 있는 눈을 부여하세요. Twitter, Reddit, YouTube, GitHub, Bilibili, XiaoHongShu

Python
Understand-Anything ★ 79,512

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

TypeScript
storybook ★ 90,858

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

TypeScript
// repository documentation