|
|
Emacs Lisp |
4 |
Emacs mode for GHC Core. |
Jun 30, 2018 |
|
|
Haskell |
6 |
Loop unrolling plugin for GHC |
Sep 21, 2019 |
|
|
Haskell |
9 |
Sample project for GHC core transformation plugins |
Dec 05, 2019 |
|
|
JavaScript |
11 |
A tree-sitter grammar for GHC Core |
Mar 07, 2023 |
|
|
None |
2 |
Core NLP library for extracting and analysing emotion and group dynamics in a group setting. |
Nov 24, 2022 |
|
|
Python |
8 |
Core NLP library for extracting and analysing emotion and group dynamics in a group setting. |
Nov 10, 2022 |
|
|
Haskell |
15 |
Encoding of GHC Core inside MLIR |
Dec 29, 2021 |
|
|
Haskell |
5 |
common subexpression elimination plugin for GHC |
Sep 21, 2019 |
|
|
Haskell |
14 |
GHC plugin for constant math elimination |
Dec 18, 2021 |
|
|
VimL |
6 |
Vim plugin for ghc-imported-from. |
Apr 03, 2016 |
|
|
Haskell |
14 |
Read ghc-core with style. javascript and CSS style. |
Dec 16, 2019 |
|
|
Isabelle |
2 |
Translator from GHC Core to Isabelle/HOLCF |
Jun 25, 2015 |
|
|
Emacs Lisp |
16 |
Translator from GHC Core to Isabelle/HOLCF |
Mar 10, 2023 |
|
|
Haskell |
7 |
A GHC plugin for rich, switchable assertions |
Nov 09, 2020 |
|
|
Haskell |
31 |
Library and tool for parsing .eventlog files from GHC |
Mar 07, 2022 |
|
|
None |
5 |
Proposed compiler and language changes for GHC and GHC/Haskell |
Jan 07, 2021 |
|
|
Python |
10 |
Proposed compiler and language changes for GHC and GHC/Haskell |
Jul 12, 2022 |
|
|
Python |
607 |
Proposed compiler and language changes for GHC and GHC/Haskell |
Sep 13, 2022 |
|
|
Python |
5 |
Proposed compiler and language changes for GHC and GHC/Haskell |
Jul 21, 2022 |
|
|
None |
25 |
Proposed compiler and language changes for GHC and GHC/Haskell |
Jan 10, 2021 |
|
|
None |
4 |
Proposed compiler and language changes for GHC and GHC/Haskell |
May 09, 2020 |
|
|
Haskell |
5 |
Examples and tests for ghc-kinds branch of GHC |
Sep 12, 2014 |
|
|
Python |
68 |
Python library for analysing .bsp files |
Apr 15, 2023 |
|
|
TypeScript |
2 |
A library for analysing JS RegExp |
Apr 17, 2022 |
|
|
Python |
34 |
Pylint plugin for analysing code using Celery |
May 02, 2022 |
|
|
Python |
216 |
Lightweight Python library for assembling and analysing financial data |
Apr 13, 2023 |
|
|
Haskell |
35 |
Set breakpoints using a GHC plugin |
Feb 08, 2023 |
|
|
Haskell |
5 |
Generate optics with a GHC plugin |
Apr 05, 2023 |
|
|
Vim script |
365 |
A completion plugin for Haskell, using ghc-mod |
Jul 13, 2022 |
|
|
Python |
8 |
SublimeLinter 3 plugin for Haskell, using ghc -Wall. |
Mar 15, 2023 |
|
|
Vim script |
2 |
A completion plugin for Haskell, using ghc-mod |
Dec 25, 2022 |
|
|
TypeScript |
6 |
Core plugin library containing shared tools and functionality |
Jan 16, 2023 |
|
|
Python |
3 |
A pythonic library for analysing immunopeptidomic experiments |
Jan 18, 2023 |
|
|
Python |
2 |
A Napari Plugin for Analysing and Simulating Image Scanning Microscopy Datasets |
Oct 01, 2023 |
|
|
Haskell |
23 |
:crystal_ball: A GHC plugin to derive instances. |
May 02, 2022 |
|
|
Haskell |
31 |
:newspaper_roll: HLint as a GHC source plugin. |
Aug 09, 2022 |
|
|
PHP |
9 |
WordPress library which supports a core plugin and theme |
Apr 15, 2022 |
|
|
Python |
5 |
A Python library for creating and analysing geospatial networks using NetworkX |
May 25, 2022 |
|
|
C++ |
9 |
The general purpose library for analysing static, temporal and hypergraph networks. |
Mar 29, 2023 |
|
|
Python |
2 |
Plugin for analysing the efficacy of fecal microbiota transplants |
Jul 11, 2022 |
|
|
Haskell |
2 |
IDE library for Haskell based on the GHC API. |
Jun 30, 2013 |
|
|
Haskell |
2 |
IDE library for Haskell based on the GHC API. |
Dec 29, 2021 |
|
|
Haskell |
24 |
Hack idiom-brackets using GHC Source Plugin (8.6+) |
Oct 10, 2022 |
|
|
Haskell |
2 |
GHC plugin that improves Haskell code's numerical stability |
Dec 05, 2019 |
|
|
Haskell |
15 |
GHC plugin to make stream fusion more predictable |
Jan 15, 2022 |
|
|
Haskell |
190 |
GHC plugin that improves Haskell code's numerical stability |
Jun 24, 2022 |
|
|
Haskell |
4 |
GHC Haskell NCG SIMD library (non-portable) |
Nov 29, 2020 |
|
|
Python |
15 |
Binary Ninja Game Boy loader and architecture plugin for analysing and disassembling GB ROM. |
May 01, 2023 |
|
|
Python |
368 |
Library and CLI tool for analysing CloudFormation templates and check them for security compliance. |
Jul 22, 2022 |
|
|
Haskell |
2 |
A GHC plugin framework for optimizations using sequent calculus style AST |
Dec 05, 2019 |