pearlite-syn
| Crates.io | pearlite-syn |
| lib.rs | pearlite-syn |
| version | 0.9.0 |
| created_at | 2024-05-20 15:23:58.736511+00 |
| updated_at | 2026-01-10 08:19:11.275171+00 |
| description | A syn parser for the Pearlite specification language in Creusot |
| homepage | |
| repository | https://github.com/creusot-rs/creusot |
| max_upload_size | |
| id | 1245814 |
| size | 106,189 |
Xia Li-yao (Lysxia)