游戏libraryRust

kani

Name: kani
Rating: 5 (3044 reviews)
Author: model-checking

Kani Rust Verifier

3,044 stars143 forks472 issuesApache-2.0更新于 2026/4/21

model-checkingrustverification

暂无详细内容

同类推荐

A complete computer science study plan to become a software engineer.

A list of Free Software network services and web applications which can be hosted on your own servers

Tesseract Open Source OCR Engine (main repository)

Easy to maintain open source documentation websites.

A collection of learning resources for curious software engineers

A curated list of awesome frameworks, libraries and software for the Java programming language.