Arend

The Arend Proof Assistant

APACHE-2.0 License

Stars
685
Committers
18
View Code on GitHub Visit Website View on X
Ecosystems: PyCharm, Kotlin, IntelliJ IDEA

Commit Statistics

Past Year

All Time

Total Commits
88
4,648
Total Committers
2
19
Avg. Commits Per Committer
44.0
244.63
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
34
Merged Pull Requests
0
27
Total Issues
10
166
Time to Close Issues
2 months
6 months
Badges
Extracted from project README
JetBrains offical project Actions Status Gitter
Related Projects
gradle-dependencies-plugins-helper-plugin

This is an IntelliJ IDEA plugin for searching dependencies/plugins from JCentral/GradlePlugins in...

11 Aug 2017 34
arend-lib

14 May 2015 77
intellij-scala-bundle

IntelliJ Scala Bundle - get started with Scala in a single click!

20 Sep 2017 94
java-annotations

Annotations for JVM-based languages.

16 Feb 2018 404
JetBrainsRuntimeApi

13 Apr 2023 8
intellij-autohotkey

AutoHotkey plugin for the JetBrains IntelliJ platform

14 Mar 2020 59
rd

Reactive Distributed communication framework for .NET, Kotlin, C++. Inspired by Rider IDE.

20 Oct 2017 373
java-oo

Java Operator Overloading

19 May 2012 268
Perl5-IDEA

Perl5 plugins for IntelliJ IDEA

12 Apr 2015 408
intellij-rust

Rust plugin for the IntelliJ Platform

16 Sep 2015 4,536
JetBrainsApiTest

13 Apr 2023 3
auto-dev

🧙‍AutoDev: The AI-powered coding wizard with multilingual support 🌐, auto code generation 🏗️, and...

14 Apr 2023 2,185
kotlin

The Kotlin Programming Language.

13 Feb 2012 48,283
intellij-plugin-v4

An IntelliJ plugin for ANTLR v4

02 Oct 2013 464
intellij-arend

Arend plugin for IntelliJ IDEA

03 Jul 2017 84