Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Repository Index
65,764 visible repositories in the index
1–3 of 3 · Most stars
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
- elm
- formatter
- code-style