Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev
https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev
Last synced: 3 months ago
JSON representation
- Host: gitlab.mpi-sws.org
- URL: https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev
- Owner: lgaeher
- License: apache-2.0
- Created: 2023-06-12T08:23:50.836Z (over 1 year ago)
- Default Branch: main
- Last Synced: 2024-07-18T13:04:01.015Z (6 months ago)
- Stars: 1
- Forks: 1
- Open Issues:
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - RefinedRust - type system for high-assurance verification of Rust Programs. (Projects / Verification)