Wolfgang Grieskamp's starred repositories
intellij-move
Move on Aptos language plugin
api-compiler
A compiler that reads API descriptions into Google's API Service Configuration format.
Rust-SMT-LIB-API
An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.