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+).
  ☆113Updated last year
• willdonnelly / dyre
  A Dynamic Reconfiguration Library for Haskell Programs
  ☆92Updated 2 months ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆146Updated 6 years ago
• jekor / hesh
  Haskell Extensible Shell
  ☆68Updated 5 years ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated 2 years ago
• alanz / HaRe
  The Haskell Refactoring Tool
  ☆138Updated 5 years ago
• puffnfresh / iridium
  xmonad with the X11 abstracted and configured with Idris
  ☆209Updated 6 years ago
• wxHaskell / wxHaskell
  MOVED TO https://codeberg.org/wxHaskell/wxHaskell
  ☆80Updated last year
• def- / ghc-vis
  Visualize live Haskell data structures in GHCi
  ☆141Updated last year
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆37Updated 6 years ago
• diagrams / diagrams-lib
  Diagrams standard library
  ☆140Updated 2 months ago
• abarbu / matplotlib-haskell
  Haskell bindings for Python's Matplotlib
  ☆87Updated last year
• wavewave / fficxx
  Haskell-C++ Foreign Function Interface Generator
  ☆145Updated 2 years ago
• ku-fpg / blank-canvas
  A Haskell API into HTML5 Canvas
  ☆72Updated 5 months ago
• wavewave / nix-build-ghc-android
  ghc-android build using nix
  ☆68Updated 5 years ago
• bawolk / hsp
  Haskell command line text stream processor
  ☆87Updated 6 years ago
• jyp / styx
  A nix-based Haskell project manager
  ☆167Updated 4 years ago
• nomeata / ghc-justdoit
  A magic typeclass that just does it
  ☆125Updated 3 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 3 years ago
• jwiegley / putting-lenses-to-work
  A presentation for BayHac 2017 on how I uses lenses at work
  ☆77Updated last month
• sol / tinc
  A dependency manager for Haskell
  ☆97Updated 3 years ago
• diagrams / diagrams-core
  Core types and utilities
  ☆95Updated 5 months ago
• lambdabot / lambdabot
  A friendly IRC bot and apprentice coder, written in Haskell.
  ☆165Updated 5 months ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• Gabriella439 / Haskell-Lens-Tutorial-Library
  The missing tutorial module for the lens library
  ☆83Updated last year
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated last month
• goldfirere / units
  The home of the units Haskell package
  ☆101Updated 4 months ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated 2 months ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆79Updated 5 years ago
• ekmett / linear
  Low-dimensional linear algebra primitives for Haskell.
  ☆211Updated 4 months ago