GitHub / tchajed / ivy-to-mypyvy
Convert an Ivy liveness problem to a mypyvy input file
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tchajed%2Fivy-to-mypyvy
PURL: pkg:github/tchajed/ivy-to-mypyvy
Stars: 2
Forks: 1
Open issues: 0
License: mit
Language: Rust
Size: 257 KB
Dependencies parsed at: Pending
Created at: over 2 years ago
Updated at: 10 months ago
Pushed at: over 2 years ago
Last synced at: 5 months ago
Commit Stats
Commits: 121
Authors: 2
Mean commits per author: 60.5
Development Distribution Score: 0.017
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/tchajed/ivy-to-mypyvy
Topics: liveness, verification