uds-psl/autosubst2 - GitHub Explorer | GitHub Explorer | Trending

Stars

25

Forks

5

Watchers

25

Open Issues

6

Repository Health Score

❤️

35/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Slow updates - updated within 3 months

10/30

33%

Recent Commits

README.md: fix typo

Paolo G. Giarrusso•4 years ago

8a71e1dView on GitHub

Fix URL to OCaml implementation

Kartik Singhal•3 years ago

0a413acView on GitHub

Reference to Adrian Dapprich's OCaml Implementation

KatStark•4 years ago

bae6cf9View on GitHub

Fix naming conflict (Ap constructor)

Klaus Ostermann•4 years ago

a408ea8View on GitHub

Update README.md

Yannick Forster•5 years ago

8e3c6efView on GitHub

GitHub actions (#1)

Yannick Forster•5 years ago

ae85dbfView on GitHub

Incompatibilities with Linux

Kathrin Stark•5 years ago

9bdbc19View on GitHub

Added up-to-date as2.cabal

Kathrin Stark•5 years ago

3081fb8View on GitHub

Some small fixes, ensured that just necessary ups are generated

Kathrin Stark•5 years ago

09c7b5cView on GitHub

Removed some outdated comments.

Kathrin Stark•5 years ago

15cf801View on GitHub

Some more small checks in the parser to produce better error emessages

Kathrin Stark•5 years ago

eab9afdView on GitHub

Remove another superfluous file.

Kathrin Stark•5 years ago

829ac9eView on GitHub

Update gitignore, removed wrong file

Kathrin Stark•5 years ago

cdc08f1View on GitHub

Initial commit

Kathrin Stark•5 years ago

11534a5View on GitHub

View all commits

GitHub Explorer

autosubst2

Score Breakdown

Issues Activity: Last 6 months

Hottest Issues