Repository Issues

ucsd-progsys/liquidhaskell

Liquid Types For Haskell

Stars
 (1.306 Stars)
Forks
 (157 Forks)
Indexierte Issues
 (20 indexierte Issues)
offene Einsteiger-Issues
 (20 offene Einsteiger-Issues)
Zuletzt indexiert
4. Juli 2026
Letzter GitHub Push
15. Mai 2026
Contributing Guide
Kein Contributing Guide
Code of Conduct
Kein Code of Conduct
Hauptsprache
Haskell
PR-Merge-Metriken
 (Durchschn. Merge 2T 18h) (12 gemergte PRs in 30 T)
Einsteiger-Labels
good first issue

Issues

20 offene indexierte Issues

Offen

ucsd-progsys/liquidhaskell #2.193 7. Juli 2023 geöffnet · Haskell · 1.306 Stars

Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhanden
13 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Collect bfq files in CI
good first issue

ucsd-progsys/liquidhaskell #2.020 29. Juni 2022 geöffnet · Haskell · 1.306 Stars

Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhanden
4 Kommentare0 Reaktionen0 zugewiesene Personen
Offen

ucsd-progsys/liquidhaskell #2.009 16. Juni 2022 geöffnet · Haskell · 1.306 Stars

Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhanden
0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen

ucsd-progsys/liquidhaskell #1.781 22. Okt. 2020 geöffnet · Haskell · 1.306 Stars

Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhanden
0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Question about Dependent Sums
errormsggood first issue

ucsd-progsys/liquidhaskell #1.615 14. Feb. 2020 geöffnet · Haskell · 1.306 Stars

Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhanden
9 Kommentare0 Reaktionen0 zugewiesene Personen