osiris-typed
| Crates.io | osiris-typed |
| lib.rs | osiris-typed |
| version | 0.1.1 |
| source | src |
| created_at | 2024-04-16 23:01:39.311608 |
| updated_at | 2024-04-29 15:00:34.973701 |
| description | A type context for a virtual machine. |
| homepage | |
| repository | https://asgard.trehinos.eu/osiris/typed |
| max_upload_size | |
| id | 1210812 |
| size | 10,884 |
(Trehinos)
documentation
README
Osiris/Typed
A first work to provide a typed context to an osiris virtual machine.