Gitstar Ranking

viperproject / jni-gen

Generate Rust wrappers for Java/Scala - View it on GitHub
https://viperproject.github.io/prusti-dev/jni_gen/
Star
8
Rank
1617267