Beeknoee Logo
Đăng nhậpĐăng ký miễn phí

quint-co/quint

Public

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

apalacheformal-methodsformal-verificationlanguagequintspecificationspecification-languagetlaplusverification
Star1.8kFork150Watch19Mở trên GitHub
Beeknoee

Bee AI phân tích repositoryBETA

AI đọc README và cây file để tóm tắt, gợi ý cách dùng và đánh giá repository. Mọi con số lấy từ kho Bee, không do AI ước lượng.

Cập nhật lần cuối: 05/10/2026

Đăng nhập để hỏi Bee AI

Tóm tắt bởi Bee AI

Quint là ngôn ngữ đặc tả khả thi (executable specification language) dựa trên Logic Thời gian của Hành động (TLA), đi kèm bộ công cụ lập trình hiện đại. Dự án hướng tới các kỹ sư hệ thống phân tán, giao thức blockchain và mạng ngang hàng (p2p) cần mô hình hóa và kiểm chứng tính đúng đắn của hệ thống.

  • Kết hợp nền tảng lý thuyết TLA với hệ thống kiểu dữ liệu tĩnh mạnh mẽ và hệ thống hiệu ứng (effect system).
  • Cú pháp quen thuộc lấy cảm hứng từ họ ngôn ngữ C và lập trình hàm, dễ tiếp cận hơn cú pháp TLA+ truyền thống.
  • Tích hợp sẵn REPL, bộ mô phỏng (simulator) tìm lỗi vi phạm bất biến và kiểm chứng mô hình ký hiệu qua Apalache.
  • Cung cấp hỗ trợ IDE qua LSP và các công cụ mở rộng như kiểm thử dựa trên mô hình (model-based testing) cho Rust.

Lưu ý

  • Tài liệu dự án vẫn đang trong quá trình hoàn thiện và bổ sung.
  • Tính năng kiểm chứng mô hình biểu trưng (symbolic model checking) phụ thuộc vào công cụ ngoài Apalache.

Điểm BeeTính thuần từ số liệu trong kho Bee, không phải AI chấm: bách phân vị sao 30% · độ tươi lần push 25% · fork và watcher 15% · README, giấy phép, mô tả 20% · có bản phát hành 10%.

  • Độ phổ biến37
  • Độ tươi100
  • Cộng đồng33
  • Tài liệu100
  • Phát hành100
  • Mức độ khóNâng cao
  • Phù hợp vớiLập trình viên · Nhà nghiên cứu
  • Loại dự ánCông cụ
  • Giấy phépApache-2.0

Kiến trúc & Công nghệ

Công nghệ AI nhận ra từ README và cây file — chỉ những mục nằm trong danh sách Bee kiểm.

Tech stack

  • TypeScript
  • Node.js

Kiến trúc tổng quan

Repository → công nghệ chính → các thư mục cấp 1 có thật trong repo; vai trò do AI mô tả.

  • quint/Mã nguồn chính của ngôn ngữ Quint, bộ phân tích cú pháp và công cụ dòng lệnh
  • evaluator/Bộ đánh giá và thực thi biểu thức cho Quint
  • vscode/Phần mở rộng Visual Studio Code hỗ trợ chỉnh sửa mã Quint
  • editor-plugins/Tiện ích và tích hợp hỗ trợ soạn thảo cho các trình biên tập khác
  • examples/Các đặc tả mẫu bằng Quint minh họa cách mô hình hóa hệ thống
  • docs/Tài liệu hướng dẫn sử dụng và đặc tả ngôn ngữ
  • skills/Tài liệu tham khảo và định nghĩa kỹ năng hỗ trợ các AI coding agent

Hướng dẫn nhanh

Các bước để bắt đầu với repository này.

bash
git clone https://github.com/quint-co/quint.git
cd quint

Các use case chính

Những ứng dụng có thể xây dựng từ repository này.

  • Đặc tả và xác minh các giao thức phân tán, mạng p2p và hệ thống cơ sở dữ liệu phân tán.
  • Kiểm tra tính toàn vẹn và tìm lỗi vi phạm bất biến (invariant) trong thiết kế hệ thống bằng bộ giả lập.
  • Tạo trace thực thi để kiểm thử tự động (model-based testing) nhằm so sánh mã triển khai với đặc tả.
  • Thử nghiệm tương tác các biểu thức và trạng thái logic thông qua môi trường Quint REPL.

Repository tương tự

Cùng chủ đề trong kho Bee.

  1. 1golang/goThe Go programming language139.2k+17
  2. 2rust-lang/rustEmpowering everyone to build reliable and efficient software.120.3k+221
  3. 3microsoft/TypeScriptTypeScript is a superset of JavaScript that compiles to clean JavaScript output.111.5k+53
  4. 4Fission-AI/OpenSpecSpec-driven development (SDD) for AI coding assistants.72k+688
  5. 5FuelLabs/sway🌴 Empowering everyone to build reliable and efficient smart contracts.61.4k-10

Nội dung do AI sinh, có thể sai hoặc thiếu — số liệu lấy từ kho Bee, không do AI ước lượng. Cập nhật lần cuối: 05/10/2026.

Đăng nhập