Haskell.org
Purely functional programming language
- 73
- Projects
- 8
- Years accepted
- 4
- In 2026
Projects by year
732026
4 acceptedShow
xeus-haskell -- GHC/Wasm Backend Integration Prototype
Accepted project · by Arman Sanjay Choudhary
This project aims to integrate the official GHC/WebAssembly backend into xeus-haskell, a Jupyter kernel for Haskell. Currently, the kernel relies on...
Case split plugin
Accepted project · by Aster89
The goal of this proposal is to extend HLS with a new plugin, the case split plugin, which provides a new code action (or possibly more of them) for...
Restoring Typeclass Refinement Support in LiquidHaskell
Accepted project · by Juan Pablo Yamamoto
LiquidHaskell is a verification tool that allows Haskell developers to prove the correctness of their code through refinement types. This proposal...
Goto dependency definition
Accepted project · by vidit
Haskell Language Server (HLS) currently supports Goto Definition only for symbols defined within a user’s project, making it difficult to inspect...
2025
3 acceptedShow
Cmm is the intermediate representation and code generation layer used by the Glasgow Haskell Compiler (GHC). It is written in Haskell and sits...
Haskell language server (HLS) implements the server part of Language Server Protocol (LSP) to improve user experience of reading and writing Haskell....
Qualified Imports and Alias Resolution in Liquid Haskell
Accepted project · by Xavier Góngora
This proposal aims to enhance Liquid Haskell’s name resolution mechanism by enabling qualified imports for both (logic) type and predicate aliases....
2024
4 acceptedShow
2022
10 acceptedShow
- Improve HLS Support for Record-Dot-SyntaxColten
- [Haskell.org] Support more LSP features in Haskell Language ServerAarush Bhat (sloorush)
- Operating Chrome with HaskellArsalan Cheema
- Modularizing GHCDominik Peteler
- Hackage - Package RankKubanekO
- MMTk Port for GHC: An alternative of the current GHC storage managerJunming Zhao
- Implementing a GPU Backend for Advanced Machine Learning AlgorithmsZarak Mahmud
- New Hackage FeaturesAlias Qli
- reimplement `cabal check`Francesco Ariis
- Formalising Konnakol using HaskellAravind Mohandas
2021
10 acceptedShow
- Enhanced figure support in pandocAner Lucero
- Gradually Typed HasktorchJulius Marozas
- Fixing ihaskell-widgetsDavid Davó
- Haskell in CodeMirror 6Olivian Cretu
- Visualization Libraries for ghc-debugEthan Tsz Hang Kiang
- Support call hierarchy in Haskell Language ServerLei Zhu
- TOML Support in dhall-haskellJulio Grillo
- TidalCycles API and editor pluginMartin Gius
- Dhall bindings to TOML configuration languageMarcos Lerones
- Haskell Language Server: Symbol RenamingOliver Madine
2020
12 acceptedShow
- Multiple Home Packages for GHCfendor
- `SPECIALIZABLE` GHC pragmaFrancesco Gazzetta @fgaz
- Functional Machine Learning Algorithms for Music GenerationElizabeth Wilson
- Custom Dataloader for HasktorchAndre Daprato
- Finish the package candidate workflow for HackageSitao Chen
- Number Field SievesFederico Bongiorno
- Building the Haskell Language Server and morelukelau
- Documentation generator for the Dhall configuration languageGerman Robayo
- Add primops to expand the (boxed) array APIbuggymcbugfix
- Update stylish-haskell to use ghc-lib-parserBeatrice Vergani
- Build-integration and Badges for HackageShubham Awasthi
- Optimising Haskell developer tool performance using OpenTelemetrympardalos
2019
15 acceptedShow
- Issue-Wanted Web ApplicationRashad Gover
- Improving HsYAML LibraryVijay Tadikamalla
- Improving Hackage Matrix Builder as a Real-world Fullstack Haskell ProjectAndika Riyandi (Rizary)
- Putting hie Files to Good UseZubin Duggal
- Upgrading hs-web3 libraryamany9000
- More graph algorithms for AlgaVasily Alferov
- Extending AlgaO V Adithya Kumar
- Implementing Chebyshev polynomial approximations in Haskell: Having the speed and precision of numerics with complex, non-polynomial functions.Deifilia To
- Hadrian Optimisationratherforky
- Automated requirements checking as a GHC pluginDaniel Marshall
- Extending Hasktorch With RNNs and Encoder-DecoderAdLucem
- Functional Machine Learning with Hasktorch: Produce Functional Machine Learning Model Reference ImplementationsJesse Sigal
- Property-based testing stateful programs using quickcheck-state-machineKostas Dermentzis
- A language server for DhallFrederik Ramcke
- A stronger foundation for interactive Haskell toolingdxld
2018
15 acceptedShow
- Native-Metaprogramming ReloadedShayan Najd
- Benchmarking graph libraries and optimising algebraic graphsAlexandre Moine
- Improvements to GHC's handling of conditionals.Andreas Klebinger
- Hi HaddockSimon Jakobi
- Improving the GHC code generatorAbhiroop Sarkar
- Enhancing the Haskell Image Processing Library with State of the Art Algorithms : Project Proposal GSoC, 2018Khilan Ravani
- Functional test framework for the Haskell IDE Engine and Language Server Protocol LibraryLuke Lau
- Visual Tools and Bindings for Debugging in Code WorldKrystal Maughan
- A Library for In-Memory Data Analysis in HaskellGagandeep Bhatia
- Dependently Typed Core Replacement in GHCNingning Xie
- Making GHC Tooling friendlyZubin Duggal
- Helping cabal new-build become just cabal buildAlexis Williams
- Add support for deprecating exportsAlanas Plascinskas
- Support for Multiple Public Libraries in a .cabal packageFrancesco Gazzetta @fgaz
- Parallel Automatic DifferentiationAndrew Knapp
Public proposals
1Read them for structure, not to copy. All proposals for Haskell.org.
