BossyMr

Pinned Repositories

intellij-rapid
RAPID plugin for IntelliJ.
Language:Java2 1 00
intellij-platform-gradle-plugin
Gradle plugin for building plugins for IntelliJ-based IDEs
Language:Kotlin1.4k 76 1k271
z3
The Z3 Theorem Prover
Language:C++10.2k 181 5.5k1.5k

BossyMr's Repositories

BossyMr/intellij-rapid
RAPID plugin for IntelliJ.
Language:Java2 1 00