Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for plugin ghc
ghc
x
plugin
x
38 search results found
Hlint
⭐
1,420
Haskell source code suggestions
Intellij Haskell
⭐
1,260
IntelliJ plugin for Haskell
Haskell Idea Plugin
⭐
205
IntelliJ IDEA plugin for Haskell
Herbieplugin
⭐
180
GHC plugin that improves Haskell code's numerical stability
Eclipsefp
⭐
140
EclipseFP, the Haskell plug-in for Eclipse
Haskellmode Vim
⭐
138
An unpacked copy of the haskellmode vimball. Ping me if it needs updating.
Vim Hdevtools
⭐
133
Vim plugin for Haskell development
Record Dot Preprocessor
⭐
126
A preprocessor for a Haskell record syntax using dot
Haskell Indexer
⭐
91
Emits code crossreference data for Haskell sources.
What It Do
⭐
58
Automatically trace all (showable) binds in do expressions
Hlint Source Plugin
⭐
47
Run HLint as part of normal compilation
Ghc Dump
⭐
44
A GHC plugin and library for analysing GHC Core
Dump Core
⭐
42
Sbvplugin
⭐
41
Formally prove properties of Haskell programs using SBV/SMT.
Splint
⭐
31
🗞️ HLint as a GHC source plugin.
Hls Tutorial
⭐
28
A tutorial on writing Haskell Language Server plugins
Uom Plugin
⭐
28
Units of measure as a GHC typechecker plugin
Strict Ghc Plugin
⭐
27
A plugin for GHC to turn Haskell into a strict language
Lh Plugin Demo
⭐
23
A small package that demonstrates how to use LiquidHaskell as a GHC plugin
Exampleholeplugin
⭐
22
Ghc Plugin Non Empty
⭐
20
🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list
The Thoralf Plugin
⭐
20
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
Supermonad
⭐
19
A plugin for GHC to support super monads.
Hashtag Coerce
⭐
17
A GHC source plugin which detects opportunities to use coerce
Fusion Plugin
⭐
16
GHC plugin to make stream fusion more predictable
Const Math Ghc Plugin
⭐
16
GHC plugin for constant math elimination
Plugins Ng
⭐
16
dynamic recompilation and loading of code. A replacement for the old plugins library but now based around the GHC API.
Smuggler2
⭐
15
Minimise haskell imports, make exports explicit
Ghc Typelits Knownnat
⭐
14
Derive KnownNat constraints from other KnownNat constraints
Kakoune Ghci Bridge
⭐
13
Get intellisense for Haskell in Kakoune via ghci
Constraints Deriving
⭐
12
Programmatically create new instances using core-to-core plugins
Quicklearn
⭐
11
A quickrun plugin to show intermediate codes
Tcplugins Zurihac2020
⭐
10
ZuriHac 2020 GHC typechecker plugins project
Ghc Tcplugins Extra
⭐
10
Utilities for writing GHC type-checker plugins
Magic Typelevel Elem
⭐
9
Demonstrating how to make type families faster using typechecker plugins
Graphmod Plugin
⭐
8
A source plugin reimplementation of graphmod
Ghc Usage
⭐
8
Frontend plugin to print locally used module info
Assert Plugin
⭐
7
A GHC plugin for rich, switchable assertions
Coredump
⭐
7
Gdb Ghcrts
⭐
7
GDB plugin to display runtime info in GHC-compiled programs
Jenkins4nix
⭐
6
Obsolete. See https://github.com/zalora/jenkins4nix/issues/1
Sublimelinter Ghc
⭐
6
SublimeLinter 3 plugin for Haskell, using ghc -Wall.
Ghc Stdin
⭐
6
A frontend plugin for GHC to compile source code from the standard input
Ghc Language Plugin
⭐
5
Cse Ghc Plugin
⭐
5
common subexpression elimination plugin for GHC
Haskell Nagios Check
⭐
5
Write Nagios plugins in Haskell.
Related Searches
Javascript Plugin (29,065)
Java Plugin (12,518)
Python Plugin (9,226)
Ruby Plugin (6,605)
Plugin Jquery (5,848)
Typescript Plugin (3,524)
Plugin Vim (3,370)
C Plus Plus Plugin (3,305)
Css Plugin (2,963)
Shell Plugin (2,904)
1-38 of 38 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.