Alternatives and similar repositories for hoodle

Users that are interested in hoodle are comparing it to the libraries listed below

• bjornbm / dimensional
  Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
  ☆112Updated 8 months ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆36Updated 6 years ago
• abarbu / matplotlib-haskell
  Haskell bindings for Python's Matplotlib
  ☆85Updated last year
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• UweSchmidt / hxt
  Haskell XML Toolbox
  ☆124Updated 11 months ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆210Updated 6 years ago
• sdiehl / repline
  Haskeline wrapper for GHCi-like REPL interfaces
  ☆107Updated last month
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆103Updated last year
• willdonnelly / dyre
  A Dynamic Reconfiguration Library for Haskell Programs
  ☆92Updated 3 weeks ago
• diagrams / diagrams-lib
  Diagrams standard library
  ☆140Updated last week
• yav / graphmod
  A utility for displaying the module dependencies of Haskell programs.
  ☆182Updated 11 months ago
• fragnix / fragnix
  Fragment-based code distribution!
  ☆126Updated 4 years ago
• Gabriella439 / Haskell-Lens-Tutorial-Library
  The missing tutorial module for the lens library
  ☆82Updated last year
• lambdabot / lambdabot
  A friendly IRC bot and apprentice coder, written in Haskell.
  ☆165Updated last month
• def- / ghc-vis
  Visualize live Haskell data structures in GHCi
  ☆137Updated last year
• wavewave / nix-build-ghc-android
  ghc-android build using nix
  ☆68Updated 4 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• alanz / HaRe
  The Haskell Refactoring Tool
  ☆136Updated 5 years ago
• jwiegley / putting-lenses-to-work
  A presentation for BayHac 2017 on how I uses lenses at work
  ☆77Updated 8 years ago
• haskell-github-trust / replace-megaparsec
  Stream editing with Haskell Megaparsec parsers
  ☆79Updated last year
• nomeata / ghc-justdoit
  A magic typeclass that just does it
  ☆124Updated 2 years ago
• hadronized / luminance
  Type-safe, type-level and stateless Haskell graphics framework
  ☆109Updated 8 years ago
• goldfirere / units
  The home of the units Haskell package
  ☆100Updated 4 months ago
• snowleopard / hadrian
  Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
  ☆207Updated 6 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• esoeylemez / netwire
  FRP library
  ☆63Updated 7 years ago
• vincenthz / hs-gauge
  Lean Haskell Benchmarking
  ☆90Updated 2 years ago
• MarcWeber / hasktags
  Produces ctags "tags" and etags "TAGS" files for Haskell programs
  ☆132Updated last month
• ekmett / linear
  Low-dimensional linear algebra primitives for Haskell.
  ☆208Updated last week