Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Plugin Ghc Open Source Projects

Open source projects categorized as Plugin Ghc
Categories > Compilers > Ghc
Categories > Libraries > Plugin
Hlint ⭐ 1,420
Haskell source code suggestions
total releases 221most recent commit 4 months ago
Intellij Haskell ⭐ 1,260
IntelliJ plugin for Haskell
most recent commit 2 years ago
Haskell Idea Plugin ⭐ 205
IntelliJ IDEA plugin for Haskell
most recent commit 7 years ago
Herbieplugin ⭐ 180
GHC plugin that improves Haskell code's numerical stability
total releases 2most recent commit 9 years ago
Eclipsefp ⭐ 140
EclipseFP, the Haskell plug-in for Eclipse
most recent commit 9 years ago
Haskellmode Vim ⭐ 138
An unpacked copy of the haskellmode vimball. Ping me if it needs updating.
most recent commit 6 years ago
Vim Hdevtools ⭐ 133
Vim plugin for Haskell development
most recent commit 5 years ago
Record Dot Preprocessor ⭐ 126
A preprocessor for a Haskell record syntax using dot
total releases 23most recent commit 4 months ago
Haskell Indexer ⭐ 91
Emits code crossreference data for Haskell sources.
most recent commit 4 years ago
What It Do ⭐ 58
Automatically trace all (showable) binds in do expressions
most recent commit 6 years ago
Hlint Source Plugin ⭐ 47
Run HLint as part of normal compilation
most recent commit 6 years ago
Ghc Dump ⭐ 44
A GHC plugin and library for analysing GHC Core
most recent commit 2 years ago
Dump Core ⭐ 42
most recent commit 2 years ago
Sbvplugin ⭐ 41
Formally prove properties of Haskell programs using SBV/SMT.
total releases 16most recent commit 4 months ago
Splint ⭐ 31
🗞️ HLint as a GHC source plugin.
most recent commit 2 years ago
Hls Tutorial ⭐ 28
A tutorial on writing Haskell Language Server plugins
most recent commit 4 years ago
Uom Plugin ⭐ 28
Units of measure as a GHC typechecker plugin
total releases 6most recent commit 2 years ago
Strict Ghc Plugin ⭐ 27
A plugin for GHC to turn Haskell into a strict language
total releases 1most recent commit 12 years ago
Lh Plugin Demo ⭐ 23
A small package that demonstrates how to use LiquidHaskell as a GHC plugin
most recent commit a year ago
Exampleholeplugin ⭐ 22
most recent commit 4 years ago
Ghc Plugin Non Empty ⭐ 20
🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list
total releases 1most recent commit 2 years ago
The Thoralf Plugin ⭐ 20
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
most recent commit 4 years ago
Supermonad ⭐ 19
A plugin for GHC to support super monads.
total releases 4most recent commit 6 years ago
The 10 Latest Releases In Plugin Ghc Open Source Projects
Ghc Typelits Knownnat ⭐ 14
Derive KnownNat constraints from other KnownNat constraints
total releases 26latest release November 14, 2023most recent commit 6 months ago
Hlint ⭐ 1,420
Haskell source code suggestions
total releases 221latest release July 07, 2023most recent commit 4 months ago
Sbvplugin ⭐ 41
Formally prove properties of Haskell programs using SBV/SMT.
total releases 16latest release April 14, 2023most recent commit 4 months ago
Record Dot Preprocessor ⭐ 126
A preprocessor for a Haskell record syntax using dot
total releases 23latest release March 03, 2023most recent commit 4 months ago
Uom Plugin ⭐ 28
Units of measure as a GHC typechecker plugin
total releases 6latest release October 09, 2022most recent commit 2 years ago
Ghc Stdin ⭐ 6
A frontend plugin for GHC to compile source code from the standard input
total releases 4latest release August 08, 2022most recent commit 5 months ago
Ghc Plugin Non Empty ⭐ 20
🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list
total releases 1latest release July 17, 2022most recent commit 2 years ago
Ghc Tcplugins Extra ⭐ 10
Utilities for writing GHC type-checker plugins
total releases 13latest release June 17, 2021most recent commit 7 months ago
Constraints Deriving ⭐ 12
Programmatically create new instances using core-to-core plugins
total releases 11latest release March 24, 2021most recent commit 3 years ago
Smuggler2 ⭐ 15
Minimise haskell imports, make exports explicit
latest release May 31, 2020most recent commit 3 years ago
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.