elpi-lang

LPCIC•PUBLIC

View on GitHub

visual studio code extension for Elpi

MIT License

Created on Apr 15, 2019

Updated on Sep 5, 2025

Stars

7

Forks

1

Watchers

7

Open Issues

12

Repository Health Score

❤️

25/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Inactive - no updates in 3+ months

0/30

0%

Issues Analytics

13

Total Issues

All time

8

Open

62% of total

5

Closed

Recent Commits

release

Enrico Tassi•9 months ago

55d3a06View on GitHub

separate jobs

Enrico Tassi•11 months ago

6e65f4fView on GitHub

release

Enrico Tassi•11 months ago

7e44226View on GitHub

elpi 3.0

Enrico Tassi•11 months ago

c34f8aaView on GitHub

release

Enrico Tassi•1 year ago

558f596View on GitHub

Merge pull request #27 from LPCIC/fix-elpi-2.0

Enrico Tassi•1 year ago

f13fa7fView on GitHub

fix ci

Enrico Tassi•1 year ago

d969046View on GitHub

fix default options for 2.0

Enrico Tassi•1 year ago

93f7699View on GitHub

fix tracer

Enrico Tassi•1 year ago

1fc008cView on GitHub

update ci

Enrico Tassi•1 year ago

28af539View on GitHub

0.2.8

Enrico Tassi•1 year ago

5bed9dfView on GitHub

Elpi 2.0 syntax

Enrico Tassi•1 year ago

e830ea5View on GitHub

Merge pull request #26 from LPCIC/dependabot/npm_and_yarn/vue-3.0.0

Enrico Tassi•1 year ago

b90a418View on GitHub

Update main.yaml

Enrico Tassi•1 year ago

011b8c6View on GitHub

Bump vue from 2.7.14 to 3.0.0

dependabot[bot]•1 year ago

0c12968View on GitHub

View all commits

Community

7 stars, 1 forks

0/30

0%

Documentation

Has description, wiki, license

20/20

100%

Maintenance

171.4% issue ratio

5/20

25%

Health score is calculated based on activity, community engagement, documentation quality, and maintenance practices

Languages

JavaScript

45.4%

TypeScript

40.2%

CSS

9.6%

Mustache

4.8%

Dependencies21 total

12

Production

9

Development

Production Dependencies (12)

@creativebulma/bulma-collapsible^1.0.4

@mdi/font^7.0.96

bulma^0.9.4

bulma-divider^0.2.0

Top Contributors

1

gares

User

77

commits

2

jwintz

User

19

commits

3

dependabot[bot]

Bot

5

commits

4

rtetley

User

1

commits

Languages

JavaScript

45.4%

TypeScript

40.2%

CSS

9.6%

Mustache

4.8%

Issues Analytics

13

Total Issues

All time

8

Open

62% of total

5

Closed

Dependencies21 total

12

Production

9

Development

Production Dependencies (12)

@creativebulma/bulma-collapsible^1.0.4

@mdi/font^7.0.96

bulma^0.9.4

bulma-divider^0.2.0

bulma-pageloader^0.3.0

bulma-quickview^2.0.0

bulma-tooltip^3.0.2

chokidar^3.5.3

fuzzball^2.1.2

jquery^3.6.1

shiki^0.10.1

vue^2.7.0

Development Dependencies (9)

@types/node^17.0.35

@types/vscode^1.50.0

@typescript-eslint/eslint-plugin^5.19.0

@typescript-eslint/parser^5.19.0

@vscode/vsce^2.19.0

child-process^1.0.2

eslint^8.13.0

mustache^4.0.1

typescript^4.6.3

elpi-langv0.3.1

38% of total

2mo

Avg Close Time

Avg response

Issues Activity: Last 6 months

Hottest Issues

1

#7 goals not displayed

8

open

2

#14 bug: trace browser not showing a failed attempt

5

closed

3

#2 Candidate branch for release v0.2.0

4

closed

4

#4 Slow browsing

3

closed

5

#10 wish: remove watcher mode

1

open

Top Contributors

1

gares

User

77

commits

2

jwintz

User

19

commits

3

dependabot[bot]

Bot

5

commits

4

rtetley

User

1

commits

Recent Commits

release

Enrico Tassi•9 months ago

55d3a06View on GitHub

separate jobs

Enrico Tassi•11 months ago

6e65f4fView on GitHub

release

Enrico Tassi•11 months ago

7e44226View on GitHub

elpi 3.0

Enrico Tassi•11 months ago

c34f8aaView on GitHub

release

Enrico Tassi•1 year ago

558f596View on GitHub

Merge pull request #27 from LPCIC/fix-elpi-2.0

Enrico Tassi•1 year ago

f13fa7fView on GitHub

fix ci

Enrico Tassi•1 year ago

d969046View on GitHub

fix default options for 2.0

Enrico Tassi•1 year ago

93f7699View on GitHub

fix tracer

Enrico Tassi•1 year ago

1fc008cView on GitHub

update ci

Enrico Tassi•1 year ago

28af539View on GitHub

0.2.8

Enrico Tassi•1 year ago

5bed9dfView on GitHub

Elpi 2.0 syntax

Enrico Tassi•1 year ago

e830ea5View on GitHub

Merge pull request #26 from LPCIC/dependabot/npm_and_yarn/vue-3.0.0

Enrico Tassi•1 year ago

b90a418View on GitHub

Update main.yaml

Enrico Tassi•1 year ago

011b8c6View on GitHub

Bump vue from 2.7.14 to 3.0.0

dependabot[bot]•1 year ago

0c12968View on GitHub

View all commits

GitHub Explorer

elpi-lang

Score Breakdown

Production Dependencies (12)

Production Dependencies (12)

Development Dependencies (9)

Issues Activity: Last 6 months

Hottest Issues