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