Kodept
Simple compiler with dependent types support in mind
- Coverage
- 0%
0 out of 57 items documented0 out of 33 items with examples - Size
- Source code size: 133.53 kB This is the summed size of all the files inside the crates.io package for this release.
- Documentation size: 6.69 MB This is the summed size of all files generated by rustdoc for all configured targets
- Ø build duration
- this release: 41s Average build duration of successful builds.
- all releases: 41s Average build duration of successful builds in releases after 2024-10-23.
- Links
-
ITesserakt/Kodept
2 0 0 - crates.io
- Dependencies
-
- anyhow ^1 normal
- clap ^4.5 normal
- codespan-reporting ^0.11.1 normal
- derive_more ^1.0.0-beta.7 normal
- dhat ^0.3 normal optional
- extend ^1.2 normal
- gag ^1.0.0 normal optional
- itertools ^0.13 normal
- kodept-ast ^0.4 normal
- kodept-core ^0.2 normal
- kodept-interpret ^0.1 normal
- kodept-macros ^0.1 normal
- kodept-parse ^0.3 normal
- rayon ^1.10.0 normal optional
- replace_with ^0.1.7 normal
- thiserror ^1.0 normal
- tracing ^0.1.40 normal
- tracing-subscriber ^0.3.17 normal
- insta ^1.39.0 dev
- kodept-inference ^0.2 dev
- tempfile ^3.7.0 dev
- Versions
- Owners
-