
-
developer-portal Public
Forked from cardano-foundation/developer-portalThe Cardano Developer Portal
JavaScript MIT License UpdatedFeb 10, 2025 -
-
config.nvim Public
Forked from nvim-lua/kickstart.nvimA launch point for your personal nvim configuration
-
homepage Public
My personal homepage.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 29, 2024 -
ghc-tags-plugin Public
Generate tags file for haskell modules (GHC)
-
free-category Public
Free categories, free arrows and free categories with monadic actions
-
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 -
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 UpdatedMay 2, 2023 -
pipes-attoparsec Public
Forked from k0001/pipes-attoparsecUtilities to convert a parser into a pipe
Haskell Other UpdatedMay 1, 2023 -
zsh-haskell Public
ghc and cabal completion for zsh shell
-
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 -
vim-lsp Public
Forked from prabirshrestha/vim-lspasync language server protocol plugin for vim and neovim
Vim Script MIT License UpdatedDec 28, 2022 -
Argonaut codecs for aeson generic encoding
-
heyting-algebras Public
Heyting Algebras in Haskell
-
haskell-vim-scripts Public
Haskell Vim Scripts
-
cardano-haskell-packages Public
Forked from IntersectMBO/cardano-haskell-packagesMetadata for Cardano's Haskell package repository
Shell UpdatedNov 10, 2022 -
-
ouroboros-network Public
Forked from IntersectMBO/ouroboros-networkAn implementation of the Ouroboros family of consensus algorithms, with its networking support
Haskell Apache License 2.0 UpdatedOct 21, 2022