haroldbot

(★ 10)

Bitvector solver and theorem prover

haroldbot 최신버젼 다운로드

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

오늘의 추천 프로젝트

freeCodeCamp ★ 454,412

freeCodeCamp.org의 오픈소스 코드베이스와 커리큘럼입니다. 수학, 프로그래밍, 컴퓨터 과학을 무료로 배우세요.

TypeScript
ECC ★ 241,634

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

JavaScript
union ★ 73,856

검열 저항성, 극도로 높은 보안성, 그리고 탈중앙화 금융(DeFi)에서의 활용을 위해 설계된 신뢰 최소화 영지식 브리징 프로토콜입니다.

Rust
bootstrap ★ 174,623

웹에서 반응형 모바일 우선 프로젝트를 개발하기 위한 가장 인기 있는 HTML, CSS, JavaScript 프레임워크입니다.

MDX
spec-kit ★ 130,648

💫 Spec-Driven Development을 쉽게 시작할 수 있도록 도와주는 툴킷

Python
deepseek-harness ★ 179,877

DeepSeek Harness: Everything is a Plugin.

TypeScript
// repository documentation