type-naturalType-level well-kinded natural numbers.
Stars: ✭ 32 (-45.76%)
haskell-code-spotVisual tool to spot odd runtime behaviour of Haskell programs.
Stars: ✭ 106 (+79.66%)
cdetect🔬 Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with
Stars: ✭ 23 (-61.02%)
htomlTOML file format parser in Haskell
Stars: ✭ 39 (-33.9%)
ghci-hexcalcHaskell/GHCi as a Hex-Calculator interactive
Stars: ✭ 24 (-59.32%)
ghcide-nixNix installation for ghcide
Stars: ✭ 76 (+28.81%)
what-it-doAutomatically trace all (showable) binds in do expressions
Stars: ✭ 81 (+37.29%)
ghc-alt-libcGHC compiled against musl & uClibc
Stars: ✭ 41 (-30.51%)
the-thoralf-pluginThis a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
Stars: ✭ 22 (-62.71%)
Pi-PoolCardano Stakepool on Raspberry Pi
Stars: ✭ 204 (+245.76%)
ghc-stackHacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)
Stars: ✭ 69 (+16.95%)
stmSoftware Transactional Memory
Stars: ✭ 74 (+25.42%)
haskell-hot-swapHot swapping compiled code while keeping a websocket connection open
Stars: ✭ 24 (-59.32%)
zsh-haskellghc and cabal completion for zsh shell
Stars: ✭ 18 (-69.49%)
smuggler2Minimise haskell imports, make exports explicit
Stars: ✭ 18 (-69.49%)
vabalcabal in Valle
Stars: ✭ 43 (-27.12%)
GhcupDEPRECATED IN FAVOR OF haskell/ghcup-hs
Stars: ✭ 249 (+322.03%)
Haskell Ide EngineThe engine for haskell ide-integration. Not an IDE
Stars: ✭ 2,433 (+4023.73%)
All HiesCached Haskell IDE Engine Nix builds for all GHC versions
Stars: ✭ 201 (+240.68%)
Haskell GiGenerate Haskell bindings for GObject-Introspection capable libraries
Stars: ✭ 190 (+222.03%)
HiggledyHigher-kinded data via generics
Stars: ✭ 153 (+159.32%)
AsteriusA Haskell to WebAssembly compiler
Stars: ✭ 1,799 (+2949.15%)
Ghc GrinGRIN backend for GHC
Stars: ✭ 123 (+108.47%)
Haste CompilerA GHC-based Haskell to JavaScript compiler
Stars: ✭ 1,429 (+2322.03%)
Schematictype-safe JSON spec and validation tool
Stars: ✭ 81 (+37.29%)
Octopod🐙🛠️ Open-source self-hosted solution for managing multiple deployments in a Kubernetes cluster with a user-friendly web interface.
Stars: ✭ 47 (-20.34%)
Ghcup HsTHIS REPO IS A MIRROR, BUG REPORTS GO HERE:
Stars: ✭ 44 (-25.42%)
Ghc SchedulerHelps with visualising the schedule for GHC 2018
Stars: ✭ 13 (-77.97%)
SublimehaskellA Sublime Text 3 plugin for Haskell. Features cabal building, error and warning highlighting, smart completion and ghc-mod integration.
Stars: ✭ 574 (+872.88%)
Haskell ExercisesA little course to learn about some of the more obscure GHC extensions.
Stars: ✭ 492 (+733.9%)
Haskell Code ExplorerWeb application for exploring and understanding Haskell codebases
Stars: ✭ 454 (+669.49%)
Stan🕵️ Haskell STatic ANalyser
Stars: ✭ 386 (+554.24%)
Haskell Language ServerOfficial haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Stars: ✭ 1,857 (+3047.46%)