| haskell/haskell-language-server |
2,507 |
|
1 |
0 |
about 2 years ago |
49 |
October 10, 2023 |
463 |
apache-2.0 |
Haskell |
| Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine. |
| plfa/plfa.github.io |
1,285 |
|
0 |
0 |
about 2 years ago |
0 |
|
45 |
cc-by-4.0 |
Agda |
| An introduction to programming language theory in Agda |
| rikvdkleij/intellij-haskell |
1,260 |
|
0 |
0 |
almost 4 years ago |
0 |
|
95 |
apache-2.0 |
Scala |
| IntelliJ plugin for Haskell |
| taffybar/taffybar |
680 |
|
2 |
0 |
about 2 years ago |
34 |
July 28, 2023 |
60 |
bsd-3-clause |
Haskell |
| A gtk based status bar for tiling window managers such as XMonad |
| SublimeHaskell/SublimeHaskell |
571 |
|
0 |
0 |
over 3 years ago |
0 |
|
79 |
mit |
Python |
| A Sublime Text 3 plugin for Haskell. Features cabal building, error and warning highlighting, smart completion and ghc-mod integration. |
| ghcformacosx/ghc-dot-app |
123 |
|
0 |
0 |
almost 10 years ago |
0 |
|
7 |
other |
JavaScript |
| Tool to build a relocatable GHC for Mac OS X |
| fpco/ide-backend |
120 |
|
0 |
0 |
over 10 years ago |
0 |
|
46 |
|
Haskell |
| ide-backend drives the GHC API to build, query, and run your code |
| fpco/minghc |
112 |
|
0 |
0 |
about 10 years ago |
0 |
|
0 |
mit |
Haskell |
| DEPRECATED: Windows installer for GHC including msys |
| grin-compiler/ghc-whole-program-compiler-project |
110 |
|
0 |
0 |
over 2 years ago |
0 |
|
7 |
|
Haskell |
| GHC Whole Program Compiler and External STG IR tooling |
| judah/pier |
107 |
|
0 |
0 |
over 6 years ago |
4 |
September 23, 2018 |
38 |
bsd-3-clause |
Haskell |
| Yet another Haskell build system. |
