-
-
cabal Public
Forked from haskell/cabalOfficial upstream development repository for Cabal and cabal-install
Haskell Other UpdatedOct 19, 2025 -
kes-agent Public
Forked from input-output-hk/kes-agentKES agent provides a solution for storing KES keys in-process, in order to allow them to be erased securely and enable forward security in the Cardano blockchain.
Haskell Apache License 2.0 UpdatedSep 15, 2025 -
CIPs Public
Forked from cardano-foundation/CIPsCardano Improvement Proposals (CIPs)
JavaScript Creative Commons Attribution 4.0 International UpdatedSep 10, 2025 -
ghc-tags Public
Forked from arybczak/ghc-tagsA command line tool that leverages GHC API for generation of etags (Emacs) and ctags (Vim, VSCode with ctagsx etc.) for efficient code navigation (jump to definition).
Haskell Mozilla Public License 2.0 UpdatedSep 6, 2025 -
ghc-tags-plugin Public
Generate tags file for haskell modules (GHC)
-
config.nvim Public
Forked from nvim-lua/kickstart.nvimA launch point for your personal nvim configuration
-
haskell-hedgehog Public
Forked from hedgehogqa/haskell-hedgehogRelease with confidence, state-of-the-art property testing for Haskell.
Haskell UpdatedJul 14, 2025 -
quickcheck-dynamic Public
Forked from input-output-hk/quickcheck-dynamicA library for stateful property-based testing
Haskell Apache License 2.0 UpdatedJul 11, 2025 -
-
developer-portal Public
Forked from cardano-foundation/developer-portalThe Cardano Developer Portal
JavaScript MIT License UpdatedJun 12, 2025 -
-
vim-agda-integration Public
Vim integration with Agda
-
free-category Public
Free categories, free arrows and free categories with monadic actions
-
zsh-haskell Public
ghc and cabal completion for zsh shell
-
free-algebras Public
Free Algebras in Haskell
-
quickcheck Public
Forked from nick8325/quickcheckAutomatic testing of Haskell programs.
Haskell Other UpdatedAug 28, 2024 -
iproute Public
Forked from kazu-yamamoto/iprouteIP Routing Table in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 12, 2024 -
recover-rtti Public
Forked from well-typed/recover-rttiRecover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
Haskell Other UpdatedJun 30, 2024 -
neovim Public
Forked from neovim/neovimVim-fork focused on extensibility and agility. Consider helping sustain Neovim development!
Vim Script Other UpdatedApr 1, 2024 -
hydra Public
Forked from cardano-scaling/hydraImplementation of the Hydra Head protocol
Haskell Apache License 2.0 UpdatedFeb 12, 2024 -
Adv360-Pro-ZMK Public
Forked from KinesisCorporation/Adv360-Pro-ZMKProduction repository for the all-new Advantage360 Professional using ZMK engine
Shell MIT License UpdatedDec 27, 2023 -
tasty Public
Forked from UnkindPartition/tastyModern and extensible testing framework for Haskell
Haskell UpdatedNov 7, 2023 -
lualine.nvim Public
Forked from nvim-lualine/lualine.nvimA blazing fast and easy to configure neovim statusline plugin written in pure lua.
Lua MIT License UpdatedSep 23, 2023 -
win32 Public
Forked from haskell/win32Haskell support for the Win32 API
Haskell Other UpdatedSep 21, 2023 -
vim-ssh-tree-view Public
NERDTree like buffer over ssh
-
haskell-language-server Public
Forked from haskell/haskell-language-serverOfficial haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Haskell Apache License 2.0 UpdatedJul 30, 2023 -
The official Vim repository
Vim Script Vim License UpdatedJun 29, 2023 -
pipes-attoparsec Public
Forked from k0001/pipes-attoparsecUtilities to convert a parser into a pipe
Haskell Other UpdatedMay 1, 2023 -
smtp-mail Public
Forked from jhickner/smtp-mailMaking it easy to send SMTP email from Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 18, 2023
{{ message }}