Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for plugin haskell
haskell
x
plugin
x
76 search results found
Hlint
⭐
1,420
Haskell source code suggestions
Intellij Haskell
⭐
1,260
IntelliJ plugin for Haskell
Intellij Haskforce
⭐
487
Haskell plugin for IntelliJ IDEA
Haskell Tools.nvim
⭐
342
Supercharge your Haskell experience in neovim!
Nvim Hs
⭐
261
Neovim API for Haskell plugins as well as the plugin provider
Haskell Idea Plugin
⭐
205
IntelliJ IDEA plugin for Haskell
Antigen Hs
⭐
197
A fast zsh plugin manager
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
Vim Haskell Indent
⭐
104
If the plugin does not work for some syntax, feel free to report to the issue tracker!
Haskell Indexer
⭐
91
Emits code crossreference data for Haskell sources.
Chips
⭐
72
A fast, lightweight, and concurrent plugin manager for the fish shell, written in Haskell
Lambda Launcher
⭐
71
Application launcher in haskell. Mostly Just For Fun.
Miv
⭐
65
Vim plugin manager written in Haskell
What It Do
⭐
58
Automatically trace all (showable) binds in do expressions
Intellij Eta
⭐
52
An Intellij Plugin for the Eta programming language
Tonatona
⭐
48
Haskell plugin-based framework for any type of applications
Categorifier
⭐
48
Interpret Haskell programs into any cartesian closed category.
Hlint Source Plugin
⭐
47
Run HLint as part of normal compilation
Ghc Dump
⭐
44
A GHC plugin and library for analysing GHC Core
Vim Hindent
⭐
44
Vim Haskell Hindent integration plugin
Dump Core
⭐
42
Sbvplugin
⭐
41
Formally prove properties of Haskell programs using SBV/SMT.
Vim Stylish Haskell
⭐
39
stylish-haskell vim plugin
Babel Plugin Pattern Matching
⭐
35
Transform 'haskell like' pattern matching. Syntax analyzing based on bitwise operators like |(OR) and &(AND). Transforms to javascript function that comes with plugin as a helpers library.
Splint
⭐
31
🗞️ HLint as a GHC source plugin.
Hls Tutorial
⭐
28
A tutorial on writing Haskell Language Server plugins
Stackage Cli
⭐
28
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
Ide Haskell Hie
⭐
26
Atom LSP plugin for HIE (Haskell IDE Engine)
Pointful
⭐
23
Stand-alone command-line version of the pointful plugin for Lambdabot.
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.
Lslforge
⭐
18
Automatically exported from code.google.com/p/lslforge
Ribosome
⭐
18
A Neovim plugin host and framework for Haskell
Hashtag Coerce
⭐
17
A GHC source plugin which detects opportunities to use coerce
Plugins Ng
⭐
16
dynamic recompilation and loading of code. A replacement for the old plugins library but now based around the GHC API.
Const Math Ghc Plugin
⭐
16
GHC plugin for constant math elimination
Haskell Refactor
⭐
16
A vim plugin that helps you refactor Haskell code
Fusion Plugin
⭐
16
GHC plugin to make stream fusion more predictable
Gradle Haskell Plugin
⭐
15
Haskell plugin for Gradle
Haskbot Core
⭐
15
An easily-extensible, Haskell-based Slack chatbot
Smuggler2
⭐
15
Minimise haskell imports, make exports explicit
Ghc Typelits Knownnat
⭐
14
Derive KnownNat constraints from other KnownNat constraints
Proteome
⭐
13
neovim project manager
Kakoune Ghci Bridge
⭐
13
Get intellisense for Haskell in Kakoune via ghci
Dzen Dhall
⭐
12
Configure dzen2 bars in Dhall language
Constraints Deriving
⭐
12
Programmatically create new instances using core-to-core plugins
Nvim
⭐
11
My neovim configuration
Ghc Tcplugins Extra
⭐
10
Utilities for writing GHC type-checker plugins
Yesod Auth Hashdb
⭐
10
Yesod.Auth.HashDB plugin, now moved out of main yesod-auth package
Haskell Nix Plugin
⭐
9
Plugin scaffolding for nixpkgs
Vim Executioner
⭐
9
🌄 executioner.vim: A Vim plugin to easily execute files in the terminal or a separate buffer.
Vim Stylishask
⭐
9
Vim Haskell stylish-haskell integration plugin
Magic Typelevel Elem
⭐
9
Demonstrating how to make type families faster using typechecker plugins
Nvim Hs Ghcid
⭐
9
Ghcid integration plugin for nvim-hs
Ivory Rtverification
⭐
9
Runtime verification for C code via a GCC plugin architecture.
Toolcabal
⭐
8
Extending Cabal with Plugins, Preprocessors and Multi-target Compilers
Ghc Usage
⭐
8
Frontend plugin to print locally used module info
Derive Storable Plugin
⭐
8
Graphmod Plugin
⭐
8
A source plugin reimplementation of graphmod
Writ Plugin
⭐
8
A type-checker plugin for weak runtime-irrelevant typing in Haskell
Plugin Constraint
⭐
7
Haskord
⭐
7
A library for writing Discord bots in Haskell
Haskell Tools Atom
⭐
7
An Atom editor binding for the Haskell-tools framework
Assert Plugin
⭐
7
A GHC plugin for rich, switchable assertions
Elm Vscode Language Client Haskell
⭐
7
VSCode plugin for elm-language-server-haskell (archived). Use https://github.com/elm-tooling/elm-language-client instead.
Qtcreator Haskell
⭐
7
Haskell support plugin for Qt Creator. The code has moved to the Qt Project on https://code.qt.io/cgit/qt-creator/plugin-haskell. so please use that instead.
Sublimelinter Hlint
⭐
7
SublimeLinter plugin for hlint.
Coredump
⭐
7
Sublimelinter Ghc
⭐
6
SublimeLinter 3 plugin for Haskell, using ghc -Wall.
Jenkins4nix
⭐
6
Obsolete. See https://github.com/zalora/jenkins4nix/issues/1
Vim Brittany
⭐
6
Vim Haskell Brittany integration plugin
Ghc Stdin
⭐
6
A frontend plugin for GHC to compile source code from the standard input
Kakoune Repl Bridge
⭐
5
Perform multiple calculations in the same repl in the background
Cse Ghc Plugin
⭐
5
common subexpression elimination plugin for GHC
Ghc Language Plugin
⭐
5
Cabal Teamcity Plugin
⭐
5
TeamCity continuous integration for Cabalised Haskell projects
Ariadne El
⭐
5
Ariadne plugin for Emacs
Pointfree
⭐
5
Wrapper of pointfree command-line tool for Haskell
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-76 of 76 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.