alt-romes/hegg
Auf GitHub ansehenFast equality saturation in Haskell
- Sterne
- 98
- Forks
- 17
- Offene Anfänger-Issues
- 0
- Indexierte Issues
- 11
- Vorherrschende Sprache
- Haskell
- Lizenz
- BSD-3-Clause
- Letzter GitHub-Push
- 09.3.2026
- Zuletzt indexiert
- 13.9.2026
- Beitragsleitfaden
- Kein Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- good first issue help wanted
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
-
alt-romes/hegg#1 · 4 Kommentare · 1 Reaktion · 0 zugewiesene Personen ·
-
alt-romes/hegg#21 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
question
alt-romes/hegg#23 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen ·
-
documentation good first issue
alt-romes/hegg#28 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
Direct rewrite rules Offen
alt-romes/hegg#29 · 4 Kommentare · 2 Reaktionen · 0 zugewiesene Personen ·
-
alt-romes/hegg#34 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
alt-romes/hegg#35 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen ·
-
Release 0.7.0 Offen
alt-romes/hegg#42 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
enhancement good first issue help wanted
alt-romes/hegg#43 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen ·
-
alt-romes/hegg#55 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·
-
alt-romes/hegg#56 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen ·