Rust로 작성된 라이브러리
zee
Rust로 작성된 터미널용 최신 텍스트 편집기 [이동: https://github.com/zee-editor/zee] (by mcobzarenco).
- 744
- GNU General Public License v3.0
creusot
Rust 코드의 연역적 검증. (반) 자동으로 코드가 사양을 충족함을 증명합니다!.
- 742
- GNU Lesser General Public License v3.0 only
cargo-generate
화물, 나를 프로젝트로 만들어주세요 [이동: https://github.com/cargo-generate/cargo-generate] (by ashleygwilliams).
- 740
- GNU General Public License v3.0