L-TChen/TTasQIIRT - GitHub Explorer | GitHub Explorer | Trending

Stars

11

Forks

1

Watchers

11

Open Issues

1

Repository Health Score

❤️

40/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Slow updates - updated within 3 months

10/30

33%

Recent Commits

fix typo

Fredrik Nordvall Forsberg•3 months ago

8db0830View on GitHub

ACM cannot deal with subtitles together with question marks

Fredrik Nordvall Forsberg•4 months ago

a47faccView on GitHub

ACM wants us to cite the formalisation

Fredrik Nordvall Forsberg•4 months ago

7346e79View on GitHub

overfull hboxes

Fredrik Nordvall Forsberg•4 months ago

633b7ecView on GitHub

paper source

Fredrik Nordvall Forsberg•4 months ago

7d899faView on GitHub

submitted camera-ready version

Fredrik Nordvall Forsberg•4 months ago

3ce5794View on GitHub

doi of formalisation

Fredrik Nordvall Forsberg•4 months ago

8e9dca5View on GitHub

Update license year

Liang-Ting Chen•4 months ago

70ce075View on GitHub

ACM metadata

Fredrik Nordvall Forsberg•4 months ago

daf21c8View on GitHub

Remove `newunicodechar`

Liang-Ting Chen•4 months ago

3e35212View on GitHub

Follow ACM's brutal publication rules

Liang-Ting Chen•4 months ago

07d8b28View on GitHub

Remove leftover comment

Fredrik Nordvall Forsberg•4 months ago

6cd00eeView on GitHub

various polishing and dealing with reviewer comments

Fredrik Nordvall Forsberg•4 months ago

c3ec7dcView on GitHub

Three remaining issues to resolve (termination, strictification, and the notion of models)

Liang-Ting Chen•4 months ago

1d92dccView on GitHub

Some more Agda cleanup

Fredrik Nordvall Forsberg•4 months ago

9aab84cView on GitHub

View all commits