Index of /crates.io-index/pe/tr/

../
petr-api                                           02-Feb-2026 03:26    1981
petr-ast                                           02-Feb-2026 03:26     303
petr-bind                                          02-Feb-2026 03:26     663
petr-cli                                           02-Feb-2026 03:26    1413
petr-codegen                                       02-Feb-2026 03:26    1063
petr-fmt                                           02-Feb-2026 03:26     794
petr-ir                                            02-Feb-2026 03:26    1110
petr-parse                                         02-Feb-2026 03:26     909
petr-pkg                                           02-Feb-2026 03:26    1258
petr-playground                                    02-Feb-2026 03:26     707
petr-profiling                                     02-Feb-2026 03:26     428
petr-resolve                                       02-Feb-2026 03:26    1228
petr-stdlib                                        02-Feb-2026 03:26     185
petr-typecheck                                     02-Feb-2026 03:26    1115
petr-utils                                         02-Feb-2026 03:26     445
petr-vm                                            02-Feb-2026 03:26    1222
petra                                              19-Jan-2026 09:49    3589
petra_grid                                         02-Feb-2026 03:26     549
petravm-asm                                        02-Feb-2026 03:26     185
petravm-prover                                     02-Feb-2026 03:26     188
petravm-verifier                                   02-Feb-2026 03:26     190
petrel                                             02-Feb-2026 03:26     884
petri                                              02-Feb-2026 03:26    4110
petri-net-simulation                               02-Feb-2026 03:26    1748
petri-nets                                         02-Feb-2026 03:26    1716
petricheck                                         17-Jan-2026 09:04    5254
petrichor                                          02-Feb-2026 03:26    1340
petridish                                          02-Feb-2026 03:26     21K
petro                                              02-Feb-2026 03:26     42K
petro_derive                                       02-Feb-2026 03:26    8021
petrol                                             02-Feb-2026 03:26     180
petrovich                                          02-Feb-2026 03:26    1036