APACHE-2.0 License
JetBrains Apple Notary API .NET Client
Coursera programming assignments compatible with EduTools plugin
Arend plugin for IntelliJ IDEA
Collecting statistics to measure completion sorting quality
Gant based build framework + dsl, with declarative project structure definition and automatic Int...
The Arend Proof Assistant
JetBrains Mapper MVC Framework
Code samples for tutorials published on the GoLand blog