libdeco
| Crates.io | libdeco |
| lib.rs | libdeco |
| version | 0.1.0 |
| source | src |
| created_at | 2022-10-24 15:07:46.608881 |
| updated_at | 2022-10-24 15:07:46.608881 |
| description | Implementation of the Bühlmann ZHL-16 algorithm |
| homepage | |
| repository | |
| max_upload_size | |
| id | 695934 |
| size | 2,588 |
(devtty1er)
documentation
README
libdeco
Rust implementation of the Bühlmann ZHL-16[B] algorithm with C/++ and Python bindings. Serves as a testing playground for high-integrity applications through differential fuzzing and formal methods.
TODO
- [ ]: Integrate cbindgen
- [ ]: Integrate py03 or ctypes wrapper