FStar

(★ 3,100)

A Proof-oriented Programming Language

파일 탐색기

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

파일 수가 많아 일부만 표시됩니다. 전체 파일은 위 다운로드 버튼으로 확인해 주세요.

  • .gitattributes
  • .gitignore
  • .gitmodules
  • .ignore
  • .merlin
  • CHANGES.md
  • CONTRIBUTING.md
  • flake.lock
  • flake.nix
  • FStar.fst.config.json
  • fstar.opam
  • INSTALL.md
  • karamel
  • LICENSE
  • LICENSE-fsharp.txt
  • Makefile
  • README.md

🚀 설치 가이드

1. 코드 내려받기
git clone https://github.com/FStarLang/FStar

깃허브에서 프로젝트 코드 전체를 내 컴퓨터로 내려받습니다.

cd FStar

방금 내려받은 프로젝트 폴더 안으로 이동합니다.

2. .NET

보통 추천
사전 준비물
  • Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
  • .NET SDK dotnet 명령어를 쓰기 위한 SDK입니다.
cd examples/algorithms

이 프로젝트의 관련 파일이 하위 폴더 안에 있어서, 먼저 그 폴더로 이동합니다.

dotnet restore

프로젝트에 필요한 패키지를 내려받습니다.

dotnet run

프로젝트를 빌드하고 바로 실행합니다.

✅ dotnet run 실행 후 터미널에 나타나는 안내 메시지나 주소를 확인하세요.

3. Rust

보통
사전 준비물
  • Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
  • Rust (rustup) rustup으로 설치하면 cargo도 함께 설치됩니다.
cd pulse/pulse2rust/dpe

이 프로젝트의 관련 파일이 하위 폴더 안에 있어서, 먼저 그 폴더로 이동합니다.

cargo build --release

Rust 프로젝트를 컴파일합니다.

cargo run

빌드 후 바로 실행까지 진행합니다.

✅ cargo build가 에러 없이 끝나면 성공입니다. target/ 폴더에 실행 파일이 생성됩니다.

4. Make

보통
사전 준비물
  • Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
  • Make Linux/macOS는 보통 기본 설치되어 있습니다. Windows는 별도 설치(예: MSYS2, WSL)가 필요합니다.
cd .scripts/fstardoc

이 프로젝트의 관련 파일이 하위 폴더 안에 있어서, 먼저 그 폴더로 이동합니다.

make

생성된 빌드 설정을 바탕으로 실제 컴파일을 진행해 실행 파일을 만듭니다.

✅ 에러 없이 끝나면 성공입니다. 생성된 실행 파일을 직접 실행해보세요.

오늘의 추천 프로젝트

uptime-kuma ★ 90,222

자신의 서버에서 호스팅하는 감시 도구

JavaScript
awesome-claude-skills ★ 72,610

Claude AI 워크플로우를 맞춤화하기 위한 유용한 Claude Skills, 리소스, 그리고 도구들의 선별된 목록

Python
Agent-Reach ★ 72,282

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

Python
ant-design ★ 99,086

기업용 UI 디자인 언어 및 React UI 라이브러리

TypeScript
browser-use ★ 109,428

🌐 웹사이트를 AI 에이전트가 접근할 수 있도록 만드세요. 온라인 작업을 손쉽게 자동화하세요.

Python
PaddleOCR ★ 87,742

PDF이나 이미지 문서를 AI를 위한 구조화된 데이터로 변환하세요. 이미지/PDF와 LLM 사이의 간극을 메워주는 강력하고 경량화된 OCR toolkit입니다.

Python
// repository documentation