JetBrains / intellij-arend
File Age & Freshness

File age measurements show the distribution of file ages (days since the first commit) and the file freshness (days since the latest commit).

Summary
File Change History Overall
File Age Distribution Overall
Days since first update
  • There are 625 files with 41,520 lines of code in files.
    • 610 files that are 366+ days old (40,831 lines of code)
    • 15 files that are 181-365 days old (689 lines of code)
    • 0 files that are 91-180 days old (0 lines of code)
    • 0 files that are 31-90 days old (0 lines of code)
    • 0 files that are 1-30 days old (0 lines of code)
98% | 1% | 0% | 0% | 0%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by age
File Freshness Distribution Overall
Days since last update
  • There are 625 files with 41,520 lines of code in files.
    • 591 files have been last changed 366+ days ago (38,178 lines of code)
    • 34 files have been last changed 181-365 days ago (3,342 lines of code)
    • 0 files have been last changed 91-180 days ago (0 lines of code)
    • 0 files have been last changed 31-90 days ago (0 lines of code)
    • 0 files have been last changed 1-30 days ago (0 lines of code)
91% | 8% | 0% | 0% | 0%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by freshness
File Change History per File Extension
kt, svg, html, txt, java, xml, properties, yaml, kts, flex, css, gitignore, js, bat, md, json
File Age Distribution per Extension
Days since first update
366+
181-365
91-180
31-90
1-30
kt98% | 1% | 0% | 0% | 0%
flex100% | 0% | 0% | 0% | 0%
xml100% | 0% | 0% | 0% | 0%
kts100% | 0% | 0% | 0% | 0%
html100% | 0% | 0% | 0% | 0%
java100% | 0% | 0% | 0% | 0%
css100% | 0% | 0% | 0% | 0%
js100% | 0% | 0% | 0% | 0%
File Freshness Distribution per Extension
Days since last update
366+
181-365
91-180
31-90
1-30
kt92% | 7% | 0% | 0% | 0%
flex100% | 0% | 0% | 0% | 0%
xml24% | 75% | 0% | 0% | 0%
html100% | 0% | 0% | 0% | 0%
java100% | 0% | 0% | 0% | 0%
css100% | 0% | 0% | 0% | 0%
js100% | 0% | 0% | 0% | 0%
kts1% | 98% | 0% | 0% | 0%
File Change History per Logical Decomposition
primary
primary (file age distribution)
Days since first update
366+
181-365
91-180
31-90
1-30
src98% | 1% | 0% | 0% | 0%
ROOT100% | 0% | 0% | 0% | 0%
primary (file freshness distribution)
Days since last update
366+
181-365
91-180
31-90
1-30
src92% | 7% | 0% | 0% | 0%
ROOT1% | 98% | 0% | 0% | 0%
Oldest Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
plugin.xml
in src/main/resources/META-INF
 384 - 2017-07-03 2025-01-24 266 14 chemike47@gmail.com alex999990009@gmail.com
146 - 2018-08-31 2025-01-24 122 12 chemike47@gmail.com alex999990009@gmail.com
2 - 2018-08-31 2020-03-12 4 3 chemike47@gmail.com ice1000kotlin@foxmail.com
ArendCompletionContributor.kt
in src/main/kotlin/org/arend/codeInsight/completion
 732 9 2018-09-21 2024-09-09 115 8 valery.isaev@gmail.com valery.isaev@gmail.com
TypeCheckingService.kt
in src/main/kotlin/org/arend/typechecking
 404 20 2018-09-21 2024-09-09 155 10 valery.isaev@gmail.com valery.isaev@gmail.com
PsiElementUtils.kt
in src/main/kotlin/org/arend/psi
 383 3 2018-09-21 2024-09-09 97 10 valery.isaev@gmail.com valery.isaev@gmail.com
ArendReference.kt
in src/main/kotlin/org/arend/resolving
 279 8 2018-09-21 2025-02-13 103 9 valery.isaev@gmail.com alex999990009@gmail.com
TypeCheckProcessHandler.kt
in src/main/kotlin/org/arend/typechecking/execution
 271 2 2018-09-21 2024-09-09 73 7 valery.isaev@gmail.com valery.isaev@gmail.com
TypecheckingEventsProcessor.kt
in src/main/kotlin/org/arend/typechecking/execution
 239 19 2018-09-21 2024-06-17 15 6 valery.isaev@gmail.com valery.isaev@gmail.com
flex
ArendLexer.flex
in src/main/grammars
 198 - 2018-09-21 2024-03-06 53 5 valery.isaev@gmail.com valery.isaev@gmail.com
ArendRawLibrary.kt
in src/main/kotlin/org/arend/module
 194 7 2018-09-21 2024-01-02 79 6 valery.isaev@gmail.com valery.isaev@gmail.com
Identifiers.kt
in src/main/kotlin/org/arend/psi/ext
 193 4 2018-09-21 2023-08-10 63 7 valery.isaev@gmail.com valery.isaev@gmail.com
ArendFile.kt
in src/main/kotlin/org/arend/psi
 178 6 2018-09-21 2024-09-06 92 10 valery.isaev@gmail.com alex999990009@gmail.com
ArendClassHierarchyBrowser.kt
in src/main/kotlin/org/arend/hierarchy/clazz
 177 8 2018-09-21 2024-09-09 30 8 valery.isaev@gmail.com valery.isaev@gmail.com
ArendPsiFactory.kt
in src/main/kotlin/org/arend/psi
 167 10 2018-09-21 2024-09-04 85 11 valery.isaev@gmail.com sinchukss@gmail.com
StubImplementations.kt
in src/main/kotlin/org/arend/psi/stubs
 154 3 2018-09-21 2022-09-04 26 6 valery.isaev@gmail.com valery.isaev@gmail.com
TypeCheckRunState.kt
in src/main/kotlin/org/arend/typechecking/execution/configurations
 149 2 2018-09-21 2024-07-04 11 7 valery.isaev@gmail.com valery.isaev@gmail.com
ArendParserDefinition.kt
in src/main/kotlin/org/arend/parser
 136 1 2018-09-21 2023-09-21 13 4 valery.isaev@gmail.com sinchukss@gmail.com
TypecheckingErrorReporter.kt
in src/main/kotlin/org/arend/typechecking/error
 131 9 2018-09-21 2023-11-28 29 6 valery.isaev@gmail.com alex999990009@gmail.com
ArendCompositeElement.kt
in src/main/kotlin/org/arend/psi/ext
 127 6 2018-09-21 2025-02-13 65 8 valery.isaev@gmail.com alex999990009@gmail.com
PsiConcreteProvider.kt
in src/main/kotlin/org/arend/resolving
 122 6 2018-09-21 2023-06-22 52 5 valery.isaev@gmail.com fedor.part@gmail.com
ArendCustomSearcher.kt
in src/main/kotlin/org/arend/search
 99 2 2018-09-21 2024-07-15 19 10 valery.isaev@gmail.com alex999990009@gmail.com
TypeCheckConfiguration.kt
in src/main/kotlin/org/arend/typechecking/execution/configurations
 89 3 2018-09-21 2024-06-28 15 6 valery.isaev@gmail.com alex999990009@gmail.com
TypeCheckRunConfigurationEditor.kt
in src/main/kotlin/org/arend/typechecking/execution
 87 2 2018-09-21 2024-07-04 10 3 valery.isaev@gmail.com valery.isaev@gmail.com
DataLocatedReferable.kt
in src/main/kotlin/org/arend/resolving
 83 2 2018-09-21 2024-06-26 38 7 valery.isaev@gmail.com sinchukss@gmail.com
ModuleScope.kt
in src/main/kotlin/org/arend/module
 82 2 2018-09-21 2024-06-17 27 7 valery.isaev@gmail.com valery.isaev@gmail.com
ArendWordScanner.kt
in src/main/kotlin/org/arend/search
 76 2 2018-09-21 2024-07-15 8 7 valery.isaev@gmail.com alex999990009@gmail.com
ArendStubElementType.kt
in src/main/kotlin/org/arend/psi/stubs
 75 2 2018-09-21 2020-06-01 7 5 valery.isaev@gmail.com ice1000kotlin@foxmail.com
PsiReferable.kt
in src/main/kotlin/org/arend/psi/ext
 75 2 2018-09-21 2024-06-17 20 5 valery.isaev@gmail.com valery.isaev@gmail.com
ArendResolveCache.kt
in src/main/kotlin/org/arend/resolving
 75 5 2018-09-21 2024-09-09 32 8 valery.isaev@gmail.com valery.isaev@gmail.com
ArendParameterInfoHandler.kt
in src/main/kotlin/org/arend/codeInsight
 74 6 2018-09-21 2024-03-26 64 9 valery.isaev@gmail.com sinchukss@gmail.com
ArendIcons.kt
in src/main/kotlin/org/arend
 72 - 2018-09-21 2024-05-28 43 9 valery.isaev@gmail.com alex999990009@gmail.com
StubIndexing.kt
in src/main/kotlin/org/arend/psi/stubs
 68 - 2018-09-21 2020-09-28 12 5 valery.isaev@gmail.com sxh@ya.ru
ArendPreludeLibrary.kt
in src/main/kotlin/org/arend/module
 68 6 2018-09-21 2024-03-27 28 8 valery.isaev@gmail.com sinchukss@gmail.com
ArendColorSettingsPage.kt
in src/main/kotlin/org/arend/editor
 55 - 2018-09-21 2020-07-18 4 2 valery.isaev@gmail.com valery.isaev@gmail.com
Universes.kt
in src/main/kotlin/org/arend/psi/ext
 54 1 2018-09-21 2023-08-10 9 4 valery.isaev@gmail.com valery.isaev@gmail.com
ArendSuperClassTreeStructure.kt
in src/main/kotlin/org/arend/hierarchy/clazz
 51 2 2018-09-21 2022-09-04 16 5 valery.isaev@gmail.com valery.isaev@gmail.com
ArendStructureViewModel.kt
in src/main/kotlin/org/arend/structure
 46 - 2018-09-21 2025-02-04 17 7 valery.isaev@gmail.com sinchukss@gmail.com
ArendStartupActivity.kt
in src/main/kotlin/org/arend
 46 2 2018-09-21 2024-12-17 59 9 valery.isaev@gmail.com alex999990009@gmail.com
ArendSyntaxHighlighter.kt
in src/main/kotlin/org/arend/highlight
 44 - 2018-09-21 2024-03-05 21 7 valery.isaev@gmail.com alex999990009@gmail.com
ArendNavigationContributorBase.kt
in src/main/kotlin/org/arend/navigation
 44 2 2018-09-21 2022-12-04 6 3 valery.isaev@gmail.com valery.isaev@gmail.com
TestBasedTypechecking.kt
in src/main/kotlin/org/arend/typechecking
 44 1 2018-09-21 2023-01-18 32 4 valery.isaev@gmail.com valery.isaev@gmail.com
ArendGroupRuleProviders.kt
in src/main/kotlin/org/arend/search
 42 1 2018-09-21 2022-09-04 11 4 valery.isaev@gmail.com valery.isaev@gmail.com
ArendHighlightingColors.kt
in src/main/kotlin/org/arend/highlight
 41 - 2018-09-21 2023-12-15 15 9 valery.isaev@gmail.com 623606+valis@users.noreply....
ArendHierarchyNodeDescriptor.kt
in src/main/kotlin/org/arend/hierarchy
 39 2 2018-09-21 2022-09-04 12 4 valery.isaev@gmail.com valery.isaev@gmail.com
PsiLocatedReferable.kt
in src/main/kotlin/org/arend/psi/ext
 37 3 2018-09-21 2023-01-18 23 3 valery.isaev@gmail.com valery.isaev@gmail.com
ArendCallerTreeStructure.kt
in src/main/kotlin/org/arend/hierarchy/call
 36 1 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
TypeCheckRunLineMarkerContributor.kt
in src/main/kotlin/org/arend/typechecking/execution
 36 1 2018-09-21 2025-01-24 25 6 valery.isaev@gmail.com alex999990009@gmail.com
ArendFindUsagesProvider.kt
in src/main/kotlin/org/arend/search
 35 - 2018-09-21 2023-03-30 12 6 valery.isaev@gmail.com sinchukss@gmail.com
ArendCallHierarchyBrowser.kt
in src/main/kotlin/org/arend/hierarchy/call
 33 1 2018-09-21 2024-09-09 9 4 valery.isaev@gmail.com valery.isaev@gmail.com
Files Not Recently Changed (Top 50)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
TypeCheckRunConfigurationModule.kt
in src/main/kotlin/org/arend/typechecking/execution/configurations
 4 - 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendCompositeElementType.kt
in src/main/kotlin/org/arend/psi
 4 - 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
Arend File.ard.html
in src/main/resources/fileTemplates/internal
 5 - 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendHighlightRangeExtension.kt
in src/main/kotlin/org/arend/annotation
 7 - 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendLanguage.java
in src/main/java/org/arend
 8 1 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendProblemHighlightFilter.kt
in src/main/kotlin/org/arend/highlight
 8 1 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendCompletionConfidence.kt
in src/main/kotlin/org/arend/codeInsight/completion
 11 - 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendNamedElementIndex.kt
in src/main/kotlin/org/arend/psi/stubs/index
 13 - 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendGotoClassIndex.kt
in src/main/kotlin/org/arend/psi/stubs/index
 13 - 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendDefinitionIndex.kt
in src/main/kotlin/org/arend/psi/stubs/index
 13 - 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendPsiStructureViewFactory.kt
in src/main/kotlin/org/arend/structure
 17 1 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
DefinitionProxy.kt
in src/main/kotlin/org/arend/typechecking/execution
 25 - 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendBraceMatcher.kt
in src/main/kotlin/org/arend
 31 1 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendCalleeTreeStructure.kt
in src/main/kotlin/org/arend/hierarchy/call
 31 1 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendCallerTreeStructure.kt
in src/main/kotlin/org/arend/hierarchy/call
 36 1 2018-09-21 2018-09-21 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ArendBackspaceDisabler.kt
in src/main/kotlin/org/arend/formatting
 8 1 2018-11-14 2018-11-23 2 2 sxh@ya.ru fedor.part@gmail.com
CommentPieceBlock.kt
in src/main/kotlin/org/arend/formatting/block
 15 - 2019-03-07 2019-03-07 1 1 sxh@ya.ru sxh@ya.ru
ClassReferenceHolder.kt
in src/main/kotlin/org/arend/psi
 13 - 2018-10-10 2019-08-01 6 3 valery.isaev@gmail.com valery.isaev@gmail.com
TypecheckRunConfigurationType.kt
in src/main/kotlin/org/arend/typechecking/execution/configurations
 8 - 2019-08-17 2019-08-17 1 1 valery.isaev@jetbrains.com valery.isaev@jetbrains.com
InjectionTextASTFactory.kt
in src/main/kotlin/org/arend/injection
 7 - 2019-08-27 2019-08-28 2 2 valery.isaev@gmail.com sxh@ya.ru
InjectionTextLanguage.java
in src/main/java/org/arend
 8 1 2019-08-27 2019-08-28 2 2 valery.isaev@gmail.com sxh@ya.ru
InjectionTextFileElementType.kt
in src/main/kotlin/org/arend/injection
 10 - 2019-08-27 2019-08-28 2 2 valery.isaev@gmail.com sxh@ya.ru
PsiInjectionText.kt
in src/main/kotlin/org/arend/injection
 12 1 2019-08-27 2019-08-28 2 2 valery.isaev@gmail.com sxh@ya.ru
TrivialTextEscaper.kt
in src/main/kotlin/org/arend/injection
 13 1 2019-08-27 2019-08-28 2 2 valery.isaev@gmail.com sxh@ya.ru
ArendConfigurable.kt
in src/main/kotlin/org/arend/editor
 19 3 2019-08-09 2019-08-28 6 3 valery.isaev@gmail.com sxh@ya.ru
InjectionTextParserDefinition.kt
in src/main/kotlin/org/arend/injection
 21 1 2019-08-27 2019-08-28 2 2 valery.isaev@gmail.com sxh@ya.ru
ArendConfigOrderRootTypeUIFactory.kt
in src/main/kotlin/org/arend/module/orderRoot
 10 - 2019-09-03 2019-09-03 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
SimpleListModel.kt
in src/main/kotlin/org/arend/ui
 10 - 2019-09-06 2019-09-06 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
IconButton.kt
in src/main/kotlin/org/arend/ui
 10 - 2019-09-06 2019-09-06 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
ListsDnD.kt
in src/main/kotlin/org/arend/ui
 87 2 2019-09-07 2019-09-07 1 1 valery.isaev@jetbrains.com valery.isaev@jetbrains.com
ArendMessagesFilterActionGroup.kt
in src/main/kotlin/org/arend/toolWindow/errors
 39 1 2019-08-24 2019-09-25 4 2 valery.isaev@jetbrains.com valery.isaev@jetbrains.com
ArendErrorTreeListener.kt
in src/main/kotlin/org/arend/toolWindow/errors/tree
 6 2 2019-08-25 2019-11-01 3 3 valery.isaev@jetbrains.com valery.isaev@gmail.com
StubInterfaces.kt
in src/main/kotlin/org/arend/psi/stubs
 6 - 2018-09-21 2020-01-14 3 1 valery.isaev@gmail.com valery.isaev@gmail.com
SourceInfoErrorData.kt
in src/main/kotlin/org/arend/psi
 12 - 2019-12-22 2020-01-17 2 2 valery.isaev@jetbrains.com valery.isaev@gmail.com
ParserError.kt
in src/main/kotlin/org/arend/typechecking/error
 15 1 2018-09-21 2020-01-17 4 2 valery.isaev@gmail.com valery.isaev@gmail.com
MessageType.kt
in src/main/kotlin/org/arend/toolWindow/errors
 32 - 2019-09-25 2020-01-21 3 2 valery.isaev@jetbrains.com valery.isaev@jetbrains.com
plugin-json.xml
in src/main/resources/META-INF
 10 - 2020-02-23 2020-02-26 2 2 ice1000kotlin@foxmail.com ice1000kotlin@foxmail.com
ArendYamlSchemaProvider.kt
in src/main/kotlin/org/arend/yaml/schema
 25 - 2020-02-26 2020-02-26 1 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
ArendYamlSchemaEnabler.kt
in src/main/kotlin/org/arend/yaml/schema
 9 - 2020-02-26 2020-02-28 2 3 valery.isaev@gmail.com valery.isaev@jetbrains.com
description.html
in src/main/html
 4 - 2020-03-03 2020-03-04 2 2 ice1000kotlin@foxmail.com valery.isaev@jetbrains.com
ArendToolbarGroup.kt
in src/main/kotlin/org/arend/actions
 16 1 2020-02-15 2020-03-10 5 3 ice1000kotlin@foxmail.com ice1000kotlin@foxmail.com
2 - 2018-08-31 2020-03-12 4 3 chemike47@gmail.com ice1000kotlin@foxmail.com
ArendRunConfigurationFactory.kt
in src/main/kotlin/org/arend/typechecking/execution/configurations
 16 1 2019-08-17 2020-04-16 2 1 valery.isaev@jetbrains.com valery.isaev@jetbrains.com
YAMLHighlightingAnnotator.kt
in src/main/kotlin/org/arend/yaml/codeInsight
 24 1 2020-02-23 2020-04-16 3 3 ice1000kotlin@foxmail.com valery.isaev@jetbrains.com
YAMLReferenceContributor.kt
in src/main/kotlin/org/arend/yaml/codeInsight
 73 2 2020-02-26 2020-04-16 7 3 valery.isaev@jetbrains.com ice1000kotlin@foxmail.com
YAMLCompletionContributor.kt
in src/main/kotlin/org/arend/yaml/codeInsight
 90 1 2020-02-23 2020-04-16 6 3 ice1000kotlin@foxmail.com ice1000kotlin@foxmail.com
TypeCheckRunner.kt
in src/main/kotlin/org/arend/typechecking/execution
 11 - 2018-09-21 2020-04-20 2 2 valery.isaev@gmail.com ice1000kotlin@foxmail.com
PsiInjectionTextDocumentationProvider.kt
in src/main/kotlin/org/arend/injection
 10 - 2020-04-21 2020-04-21 1 1 valery.isaev@jetbrains.com valery.isaev@jetbrains.com
InjectionHighlightingPassFactory.kt
in src/main/kotlin/org/arend/injection
 15 1 2020-04-22 2020-04-22 1 1 valery.isaev@jetbrains.com valery.isaev@jetbrains.com
BaseArendIntention.kt
in src/main/kotlin/org/arend/intention
 15 - 2020-04-25 2020-05-14 2 2 valery.isaev@jetbrains.com ice1000kotlin@foxmail.com
Most Recently Created Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
ArendScratchModuleService.kt
in src/main/kotlin/org/arend/scratch
 12 1 2025-02-13 2025-02-13 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendScratchFileEditorProvider.kt
in src/main/kotlin/org/arend/scratch
 239 20 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendScratchTopPanel.kt
in src/main/kotlin/org/arend/scratch
 98 9 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendRunScratchAction.kt
in src/main/kotlin/org/arend/scratch/actions
 81 4 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
FileUtils.kt
in src/main/kotlin/org/arend/util
 43 - 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendScratchFileCreationHelper.kt
in src/main/kotlin/org/arend/scratch
 39 2 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendScratchFileModuleInfoProvider.kt
in src/main/kotlin/org/arend/scratch
 38 1 2025-01-24 2025-02-13 2 1 alex999990009@gmail.com alex999990009@gmail.com
ArendScratchFile.kt
in src/main/kotlin/org/arend/scratch
 31 2 2025-01-24 2025-02-13 2 1 alex999990009@gmail.com alex999990009@gmail.com
ArendScratchAction.kt
in src/main/kotlin/org/arend/scratch/actions
 24 1 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendStopScratchAction.kt
in src/main/kotlin/org/arend/scratch/actions
 18 2 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
Utils.kt
in src/main/kotlin/org/arend/scratch
 17 - 2025-01-24 2025-02-13 2 1 alex999990009@gmail.com alex999990009@gmail.com
ArendScratchReplExecutor.kt
in src/main/kotlin/org/arend/scratch
 15 4 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendClearScratchAction.kt
in src/main/kotlin/org/arend/scratch/actions
 13 1 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendScratchFileLanguageProvider.kt
in src/main/kotlin/org/arend/scratch
 12 - 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendScratchCompilingExecutor.kt
in src/main/kotlin/org/arend/scratch
 9 2 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendIntentionUtils.kt
in src/main/kotlin/org/arend/intention
 7 1 2024-11-27 2024-11-27 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendNavBarExtension.kt
in src/main/kotlin/org/arend/navigation
 99 5 2024-11-22 2025-02-04 5 2 alex999990009@gmail.com sinchukss@gmail.com
ArendStructureViewBuilderProvider.kt
in src/main/kotlin/org/arend/structure
 14 1 2024-11-22 2024-11-22 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendProjectStatistics.kt
in src/main/kotlin/org/arend/settings
 8 - 2024-10-28 2024-10-28 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendExtensionChangeService.kt
in src/main/kotlin/org/arend/typechecking
 40 4 2024-09-09 2024-09-09 1 1 valery.isaev@gmail.com valery.isaev@gmail.com
GenerateMissingClausesUtils.kt
in src/main/kotlin/org/arend/intention/generating
 53 - 2024-09-02 2024-09-13 3 2 alex999990009@gmail.com alex999990009@gmail.com
GenerateElimMissingClausesIntention.kt
in src/main/kotlin/org/arend/intention/generating
 44 3 2024-09-02 2024-09-13 3 2 alex999990009@gmail.com alex999990009@gmail.com
GenerateMissingClausesIntention.kt
in src/main/kotlin/org/arend/intention/generating
 18 2 2024-09-02 2024-09-13 3 2 alex999990009@gmail.com alex999990009@gmail.com
description.html
in src/main/resources/intentionDescriptions/GenerateElimMissingClausesIntention
 5 - 2024-09-02 2024-09-04 2 2 alex999990009@gmail.com sinchukss@gmail.com
description.html
in src/main/resources/intentionDescriptions/GenerateMissingClausesIntention
 5 - 2024-09-02 2024-09-04 2 2 alex999990009@gmail.com sinchukss@gmail.com
ArendExpressionTypechecker.kt
in src/main/kotlin/org/arend/typechecking
 34 1 2024-07-22 2024-09-10 6 2 sinchukss@gmail.com alex999990009@gmail.com
UnresolvedArendPatternInspection.kt
in src/main/kotlin/org/arend/inspection
 64 3 2024-07-09 2024-12-19 3 2 alex999990009@gmail.com alex999990009@gmail.com
UnresolvedArendPattern.html
in src/main/resources/inspectionDescriptions
 5 - 2024-07-09 2024-07-16 3 2 alex999990009@gmail.com sinchukss@gmail.com
RedundantParameterInspection.kt
in src/main/kotlin/org/arend/inspection
 49 4 2024-06-09 2024-06-17 4 3 alex999990009@gmail.com valery.isaev@gmail.com
RedundantParameter.html
in src/main/resources/inspectionDescriptions
 5 - 2024-06-09 2024-06-17 3 3 alex999990009@gmail.com valery.isaev@gmail.com
ArendActions.kt
in src/main/kotlin/org/arend/actions
 8 - 2024-05-28 2024-06-17 2 3 sinchukss@gmail.com alex999990009@gmail.com
AddTruncatedUniverseQuickFix.kt
in src/main/kotlin/org/arend/quickfix
 51 1 2024-05-20 2024-05-22 2 2 alex999990009@gmail.com sinchukss@gmail.com
AddMissingArgumentsQuickFix.kt
in src/main/kotlin/org/arend/quickfix
 45 2 2024-05-20 2024-05-22 2 2 alex999990009@gmail.com sinchukss@gmail.com
AddRecursiveInstanceArgumentQuickFix.kt
in src/main/kotlin/org/arend/quickfix/instance
 39 1 2024-05-20 2024-05-22 2 2 alex999990009@gmail.com sinchukss@gmail.com
RemoveUseLevelQuickFix.kt
in src/main/kotlin/org/arend/quickfix/removers
 32 1 2024-05-20 2024-05-22 2 2 alex999990009@gmail.com sinchukss@gmail.com
RemoveIgnoredLevelsQuickFix.kt
in src/main/kotlin/org/arend/quickfix/removers
 22 1 2024-05-20 2024-05-22 2 2 alex999990009@gmail.com sinchukss@gmail.com
RemoveTruncatedUniverseQuickFix.kt
in src/main/kotlin/org/arend/quickfix/removers
 21 1 2024-05-20 2024-05-22 2 2 alex999990009@gmail.com sinchukss@gmail.com
RemoveNoClassifyingKeywordQuickFix.kt
in src/main/kotlin/org/arend/quickfix/removers
 20 1 2024-05-20 2024-05-22 2 2 alex999990009@gmail.com sinchukss@gmail.com
RemoveStrictKeywordQuickFix.kt
in src/main/kotlin/org/arend/quickfix/removers
 20 1 2024-05-20 2024-05-22 2 2 alex999990009@gmail.com sinchukss@gmail.com
RemoveClassifyingFieldQuickFix.kt
in src/main/kotlin/org/arend/quickfix/removers
 20 1 2024-05-20 2024-05-22 2 2 alex999990009@gmail.com sinchukss@gmail.com
AbstractExpressionEntry.kt
in src/main/kotlin/org/arend/refactoring/changeSignature/entries
 128 1 2024-05-17 2024-05-25 2 1 sinchukss@gmail.com sinchukss@gmail.com
DoubleStringBuilder.kt
in src/main/kotlin/org/arend/refactoring/changeSignature
 13 2 2024-05-17 2024-05-17 1 1 sinchukss@gmail.com sinchukss@gmail.com
MoveRefactoringSignatureContext.kt
in src/main/kotlin/org/arend/refactoring/move
 7 - 2024-05-17 2024-05-17 1 1 sinchukss@gmail.com sinchukss@gmail.com
ArendErrorTreeCellRendererService.kt
in src/main/kotlin/org/arend/toolWindow/errors/tree
 25 1 2024-04-15 2024-09-09 3 3 alex999990009@gmail.com valery.isaev@gmail.com
AllArendFilesScope.kt
in src/main/kotlin/org/arend/module
 73 3 2024-03-26 2024-06-28 4 2 alex999990009@gmail.com alex999990009@gmail.com
AllModulesScope.kt
in src/main/kotlin/org/arend/module
 22 1 2024-03-26 2024-06-28 3 2 alex999990009@gmail.com alex999990009@gmail.com
ArendPreludeScope.kt
in src/main/kotlin/org/arend/module
 20 1 2024-03-26 2024-03-27 2 2 alex999990009@gmail.com sinchukss@gmail.com
FileOutsideSourcesProvider.kt
in src/main/kotlin/org/arend/notification
 38 1 2024-03-21 2025-02-03 8 2 alex999990009@gmail.com sinchukss@gmail.com
CoClauseEntry.kt
in src/main/kotlin/org/arend/refactoring/changeSignature/entries
 78 1 2024-03-12 2024-05-25 3 1 sinchukss@gmail.com sinchukss@gmail.com
ReplaceBracketsIntention.kt
in src/main/kotlin/org/arend/intention
 63 2 2024-03-12 2024-09-09 5 3 sinchukss@gmail.com valery.isaev@gmail.com
Most Recently Changed Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
ArendReferenceNameCalculatorUtils.kt
in src/main/kotlin/org/arend/refactoring
 313 12 2020-05-15 2025-02-13 37 8 sxh@ya.ru alex999990009@gmail.com
ArendReference.kt
in src/main/kotlin/org/arend/resolving
 279 8 2018-09-21 2025-02-13 103 9 valery.isaev@gmail.com alex999990009@gmail.com
ArendHighlightingPass.kt
in src/main/kotlin/org/arend/highlight
 243 5 2019-06-21 2025-02-13 98 10 valery.isaev@jetbrains.com alex999990009@gmail.com
ArendImportHintAction.kt
in src/main/kotlin/org/arend/quickfix/referenceResolve
 167 2 2019-08-05 2025-02-13 31 9 sxh@ya.ru alex999990009@gmail.com
ArendCompositeElement.kt
in src/main/kotlin/org/arend/psi/ext
 127 6 2018-09-21 2025-02-13 65 8 valery.isaev@gmail.com alex999990009@gmail.com
InteractiveGoalSolverQuickFix.kt
in src/main/kotlin/org/arend/quickfix
 56 1 2020-05-10 2025-02-13 15 8 valery.isaev@jetbrains.com alex999990009@gmail.com
ArendScratchFileModuleInfoProvider.kt
in src/main/kotlin/org/arend/scratch
 38 1 2025-01-24 2025-02-13 2 1 alex999990009@gmail.com alex999990009@gmail.com
ArendScratchFile.kt
in src/main/kotlin/org/arend/scratch
 31 2 2025-01-24 2025-02-13 2 1 alex999990009@gmail.com alex999990009@gmail.com
Utils.kt
in src/main/kotlin/org/arend/scratch
 17 - 2025-01-24 2025-02-13 2 1 alex999990009@gmail.com alex999990009@gmail.com
ArendScratchModuleService.kt
in src/main/kotlin/org/arend/scratch
 12 1 2025-02-13 2025-02-13 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendTraceProcess.kt
in src/main/kotlin/org/arend/tracer
 231 12 2022-01-27 2025-02-04 9 4 marat.khabibullin@jetbrains... alex999990009@gmail.com
ArendSuspendContext.kt
in src/main/kotlin/org/arend/tracer
 109 4 2022-01-27 2025-02-04 11 4 marat.khabibullin@jetbrains... alex999990009@gmail.com
ArendNavBarExtension.kt
in src/main/kotlin/org/arend/navigation
 99 5 2024-11-22 2025-02-04 5 2 alex999990009@gmail.com sinchukss@gmail.com
ArendStructureViewModel.kt
in src/main/kotlin/org/arend/structure
 46 - 2018-09-21 2025-02-04 17 7 valery.isaev@gmail.com sinchukss@gmail.com
FileOutsideSourcesProvider.kt
in src/main/kotlin/org/arend/notification
 38 1 2024-03-21 2025-02-03 8 2 alex999990009@gmail.com sinchukss@gmail.com
ShowHelpAction.kt
in src/main/kotlin/org/arend/search/proof
 19 2 2022-02-15 2025-02-03 5 3 konstantin.nisht@jetbrains.com sinchukss@gmail.com
plugin.xml
in src/main/resources/META-INF
 384 - 2017-07-03 2025-01-24 266 14 chemike47@gmail.com alex999990009@gmail.com
ArendScratchFileEditorProvider.kt
in src/main/kotlin/org/arend/scratch
 239 20 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendCommonStarterInitialStep.kt
in src/main/kotlin/org/arend/module/starter
 168 3 2023-10-10 2025-01-24 5 4 sinchukss@gmail.com alex999990009@gmail.com
146 - 2018-08-31 2025-01-24 122 12 chemike47@gmail.com alex999990009@gmail.com
ArendScratchTopPanel.kt
in src/main/kotlin/org/arend/scratch
 98 9 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendUnusedImportHighlightingPass.kt
in src/main/kotlin/org/arend/highlight
 88 2 2022-01-31 2025-01-24 16 5 konstantin.nisht@jetbrains.com alex999990009@gmail.com
ArendRunScratchAction.kt
in src/main/kotlin/org/arend/scratch/actions
 81 4 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
GearActionGroup.kt
in src/main/kotlin/org/arend/search/proof
 72 2 2021-11-22 2025-01-24 12 5 konstantin.nisht@jetbrains.com alex999990009@gmail.com
FileUtils.kt
in src/main/kotlin/org/arend/util
 43 - 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendScratchFileCreationHelper.kt
in src/main/kotlin/org/arend/scratch
 39 2 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
TypeCheckRunLineMarkerContributor.kt
in src/main/kotlin/org/arend/typechecking/execution
 36 1 2018-09-21 2025-01-24 25 6 valery.isaev@gmail.com alex999990009@gmail.com
ArendTemplateContextType.kt
in src/main/kotlin/org/arend/liveTemplates
 32 2 2022-01-20 2025-01-24 7 6 marat.khabibullin@jetbrains... alex999990009@gmail.com
ArendScratchAction.kt
in src/main/kotlin/org/arend/scratch/actions
 24 1 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendStopScratchAction.kt
in src/main/kotlin/org/arend/scratch/actions
 18 2 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendScratchReplExecutor.kt
in src/main/kotlin/org/arend/scratch
 15 4 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendClearScratchAction.kt
in src/main/kotlin/org/arend/scratch/actions
 13 1 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendScratchFileLanguageProvider.kt
in src/main/kotlin/org/arend/scratch
 12 - 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
ArendScratchCompilingExecutor.kt
in src/main/kotlin/org/arend/scratch
 9 2 2025-01-24 2025-01-24 1 1 alex999990009@gmail.com alex999990009@gmail.com
InjectedArendEditor.kt
in src/main/kotlin/org/arend/injection
 357 13 2019-08-27 2024-12-20 77 10 valery.isaev@gmail.com sinchukss@gmail.com
UnresolvedArendPatternInspection.kt
in src/main/kotlin/org/arend/inspection
 64 3 2024-07-09 2024-12-19 3 2 alex999990009@gmail.com alex999990009@gmail.com
ArendFileScope.kt
in src/main/kotlin/org/arend/psi
 17 1 2021-12-23 2024-12-19 4 4 sxh@ya.ru alex999990009@gmail.com
ArendStartupActivity.kt
in src/main/kotlin/org/arend
 46 2 2018-09-21 2024-12-17 59 9 valery.isaev@gmail.com alex999990009@gmail.com
ArendStarterModuleBuilder.kt
in src/main/kotlin/org/arend/module/starter
 261 16 2023-10-10 2024-12-04 5 3 sinchukss@gmail.com valery.isaev@gmail.com
ArendProjectImportBuilder.kt
in src/main/kotlin/org/arend/project
 48 4 2020-06-01 2024-12-04 10 2 valery.isaev@gmail.com valery.isaev@gmail.com
ArendProjectOpenProcessor.kt
in src/main/kotlin/org/arend/project
 41 2 2020-06-01 2024-12-04 8 3 valery.isaev@gmail.com valery.isaev@gmail.com
ArendMessagesView.kt
in src/main/kotlin/org/arend/toolWindow/errors
 355 8 2019-08-23 2024-12-02 67 10 valery.isaev@gmail.com sinchukss@gmail.com
flex
ArendDocLexer.flex
in src/main/grammars
 342 - 2020-06-25 2024-12-02 13 5 valery.isaev@gmail.com alex999990009@gmail.com
CreateLetBindingIntention.kt
in src/main/kotlin/org/arend/intention/generating
 283 4 2021-09-26 2024-12-02 21 7 konstantin.nisht@jetbrains.com sinchukss@gmail.com
ArendGlobalReferableRenameHandler.kt
in src/main/kotlin/org/arend/refactoring/rename
 255 15 2020-05-21 2024-12-02 21 7 sxh@ya.ru sinchukss@gmail.com
ArendEnterAtIndentHandler.kt
in src/main/kotlin/org/arend/formatting
 133 4 2018-11-14 2024-12-02 14 7 valery.isaev@jetbrains.com alex999990009@gmail.com
SplitAtomPatternIntention.kt
in src/main/kotlin/org/arend/intention
 589 15 2019-08-22 2024-11-27 101 8 sxh@ya.ru alex999990009@gmail.com
ArendSubExprUtils.kt
in src/main/kotlin/org/arend/refactoring
 297 7 2020-02-22 2024-11-27 68 9 ice1000kotlin@foxmail.com alex999990009@gmail.com
GenerateFunctionFromGoalIntention.kt
in src/main/kotlin/org/arend/intention
 137 3 2021-09-01 2024-11-27 17 7 konstantin.nisht@jetbrains.com alex999990009@gmail.com
ExtractExpressionToFunctionIntention.kt
in src/main/kotlin/org/arend/intention
 46 1 2021-09-01 2024-11-27 12 7 konstantin.nisht@jetbrains.com alex999990009@gmail.com